Uses of Interface
org.maxicp.modeling.Constraint

Packages that use Constraint

Package	Description
org.maxicp	Root package of MaxiCP
org.maxicp.cp.modeling	CP Instantiation of the Symbolic Modeling API
org.maxicp.modeling	Symbolic Modeling API
org.maxicp.modeling.concrete	Concrete modeling API
org.maxicp.modeling.constraints	Symbolic constraints
org.maxicp.modeling.constraints.scheduling	Symbolic constraints for scheduling
org.maxicp.modeling.constraints.seqvar	Symbolic constraints for sequence variables
org.maxicp.modeling.symbolic	Symbolic modeling of integer variables and objective functions

Uses of Constraint in org.maxicp

Methods in org.maxicp that return types with arguments of type Constraint

Modifier and Type	Method	Description
Iterable<Constraint>	ModelDispatcher.getConstraints()	Shortcut for baseModel.getModel().getConstraints();

Uses of Constraint in org.maxicp.cp.modeling

Methods in org.maxicp.cp.modeling that return types with arguments of type Constraint

Modifier and Type	Method	Description
Iterable<Constraint>	ConcreteCPModel.getConstraints()

Methods in org.maxicp.cp.modeling with parameters of type Constraint

Modifier and Type	Method	Description
void	ConcreteCPModel.add(Constraint c, boolean enforceFixPoint)

Uses of Constraint in org.maxicp.modeling

Subinterfaces of Constraint in org.maxicp.modeling

Modifier and Type	Interface	Description
interface	CustomConstraint<C extends ConcreteModel,P extends ConcreteConstraint<C>>	This class should be used to implement custom constraints.

Methods in org.maxicp.modeling that return Constraint

Modifier and Type	Method	Description
static Constraint	Factory.allDifferent(IntExpression... x)	Creates an AllDifferent constraint ensuring that all expressions in x take pairwise distinct values.
static Constraint	Factory.alternative(IntervalVar real, IntExpression n, IntervalVar... alternatives)
static Constraint	Factory.alternative(IntervalVar real, IntervalVar... alternatives)
static Constraint	Factory.alwaysIn(CumulFunction expression, int heightMin, int heightMax)
static Constraint	Factory.among(IntExpression[] x, Set<Integer> values, IntExpression count)	Creates an Among constraint ensuring that count expressions in x take a value in values.
static Constraint	Factory.binPacking(IntExpression[] x, int[] weights, IntExpression[] loads)	Creates a BinPacking constraint linking item bin assignments x and item weights to bin loads.
static Constraint	Factory.cardinalityMax(IntExpression[] x, int[] maxCard)	Creates a CardinalityMax constraint ensuring that each value v appears at most maxCard[v] times in x.
static Constraint	Factory.cardinalityMin(IntExpression[] x, int[] minCard)	Creates a CardinalityMin constraint ensuring that each value v appears at least minCard[v] times in x.
static Constraint	Factory.circuit(IntExpression... x)	Creates a Circuit constraint ensuring that the successor array x forms a single Hamiltonian circuit.
static Constraint	Factory.cumulative(IntExpression[] start, int[] duration, int[] demand, int capa)	Creates a Cumulative scheduling constraint with constant durations, demands, and capacity.
static Constraint	Factory.cumulative(IntExpression[] start, IntExpression[] duration, IntExpression[] end, IntExpression[] demand, IntExpression capa)	Creates a Cumulative scheduling constraint with variable durations, ends, demands, and capacity.
static Constraint	Factory.cumulative(SeqVar seqVar, int[] starts, int[] ends, int[] load, int capacity)	Creates a Cumulative constraint on a sequence variable.
static Constraint	Factory.disjunctive(IntExpression[] start, int[] duration)	Creates a Disjunctive scheduling constraint with constant activity durations.
static Constraint	Factory.disjunctive(IntExpression[] start, IntExpression[] duration)	Creates a Disjunctive scheduling constraint with variable activity durations.
static Constraint	Factory.distance(SeqVar seqVar, int[][] distanceMatrix, IntExpression distance)	Creates a Distance constraint on a sequence variable maintaining the total travel distance.
static Constraint	Factory.exclude(SeqVar seqVar, int node)	Creates an Exclude constraint excluding node from seqVar.
static Constraint	Factory.insert(SeqVar seqVar, int prev, int node)	Creates an Insert constraint inserting node immediately after prev in seqVar.
static Constraint	Factory.le(CumulFunction function, int limit)
static Constraint	Factory.length(IntervalVar var, int length)
static Constraint	Factory.lexLe(IntExpression[] x, IntExpression[] y)	Creates a non-strict lexicographic ordering constraint x <=_lex y.
static Constraint	Factory.lexLt(IntExpression[] x, IntExpression[] y)	Creates a strict lexicographic ordering constraint x <_lex y.
static Constraint	Factory.negTable(IntExpression[] x, int[][] array, Optional<Integer> starred)	Creates a negative NegTable constraint ensuring that the tuple assigned to x does not match any tuple in array.
static Constraint	Factory.noOverlap(IntervalVar... intervals)	Creates a NoOverlap constraint ensuring that the given interval variables do not overlap in time.
static Constraint	Factory.noOverlap(IntervalVar[] intervals, IntExpression[] posOfInterval, IntExpression[] intervalInPos)	Creates a noOverlap constraint with position variables and zero transition times.
static Constraint	Factory.noOverlap(IntervalVar[] intervals, IntExpression[] posOfInterval, IntExpression[] intervalInPos, int[][] minTransition)	Creates a noOverlap constraint with position variables and minimum transition times.
static Constraint	Factory.notBetween(SeqVar seqVar, int pred, int node, int succ)	Creates a NotBetween constraint forbidding node from being placed immediately between pred and succ in seqVar.
static Constraint	Factory.require(SeqVar seqVar, int node)	Creates a Require constraint forcing node to be visited in seqVar.
static Constraint	Factory.start(IntervalVar var, int start)
static Constraint	Factory.subCircuit(IntExpression... x)	Creates a SubCircuit constraint ensuring that the successor array x forms at most one circuit.
static Constraint	Factory.table(IntExpression[] x, int[][] array, Optional<Integer> starred)	Creates a positive Table constraint ensuring that the tuple assigned to x belongs to array.
static Constraint	Factory.transitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist)	Creates a TransitionTimes constraint linking visit times with transition distances in seqVar.
static Constraint	Factory.transitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist, int[] serviceTime)	Creates a TransitionTimes constraint linking visit times with transition distances and service durations in seqVar.

Methods in org.maxicp.modeling that return types with arguments of type Constraint

Modifier and Type	Method	Description
Iterable<Constraint>	Model.getConstraints()

Methods in org.maxicp.modeling with parameters of type Constraint

Modifier and Type	Method	Description
default void	ModelProxy.add(Constraint c)
default void	ModelProxy.add(Constraint c, boolean enforceFixPoint)	Shortcut for baseModel.getModel().add(c, enforceFixPoint);

Uses of Constraint in org.maxicp.modeling.concrete

Methods in org.maxicp.modeling.concrete that return types with arguments of type Constraint

Modifier and Type	Method	Description
Iterable<Constraint>	ConcreteModelProxy.getConstraints()

Methods in org.maxicp.modeling.concrete with parameters of type Constraint

Modifier and Type	Method	Description
default void	ConcreteModel.add(Constraint c)
void	ConcreteModel.add(Constraint c, boolean enforceFixPoint)
void	ConcreteModelProxy.add(Constraint c, boolean enforceFixPoint)

Uses of Constraint in org.maxicp.modeling.constraints

Classes in org.maxicp.modeling.constraints that implement Constraint

Modifier and Type	Class	Description
final record	AllDifferent	AllDifferent constraint ensuring that all expressions in x take pairwise distinct values.
final record	Among	Among constraint ensuring that exactly count expressions in x take a value in values.
final record	BinPacking	BinPacking constraint.
final record	CardinalityMax	Upper-bound cardinality constraint ensuring that each value v in 0..array.length - 1 appears at most array[v] times in x.
final record	CardinalityMin	Lower-bound cardinality constraint ensuring that each value v in 0..array.length - 1 appears at least array[v] times in x.
final record	Circuit	Hamiltonian circuit constraint ensuring that the successor array forms a single Hamiltonian circuit visiting all nodes 0..successor.length - 1.
final record	Cumulative	Cumulative scheduling constraint ensuring that at any point in time, the total resource demand of overlapping activities does not exceed the resource capacity capa.
final record	Disjunctive	Disjunctive scheduling constraint ensuring that no two activities overlap in time.
final record	ExpressionIsTrue	Constraint enforcing that a boolean expression expr evaluates to true (1).
final record	LexLe	Lexicographic ordering constraint enforcing x <=_lex y (or x <_lex y if strict is true).
final record	NegTable	Negative table constraint ensuring that the tuple of values assigned to x does not match any forbidden tuple in array.
class	NoOpConstraint	A constraint that does nothing.
final record	Sorted	Sorted constraint: y is the sorted version of x with position permutation o (i.e.
final record	SubCircuit	SubCircuit constraint ensuring that the successor array forms at most one circuit while nodes with successor[i] == i are self-loops not part of the circuit.
final record	Table	Positive table constraint ensuring that the tuple of values assigned to x belongs to the set of allowed tuples in array.

Uses of Constraint in org.maxicp.modeling.constraints.scheduling

Classes in org.maxicp.modeling.constraints.scheduling that implement Constraint

Modifier and Type	Class	Description
final record	Alternative	Exclusive alternative between intervals.
final record	AlwaysIn	Constraint that enforces a CumulFunction to remain within bounds at every point overlapping the execution of at least one interval.
final record	Length	Constraint fixing the length of an interval variable to a given constant value.
final record	LessOrEqual	Constraint enforcing that a cumulative function function never exceeds limit over its horizon.
final record	NoOverlap	Disjunctive scheduling constraint ensuring that no two present intervals in intervals overlap in time.
final record	NoOverlapWithPosition	Modeling-level constraint for no-overlap with position variables.
final record	Present	Constraint enforcing that an interval variable intervalVar must be present.
final record	Span	Span constraint between intervals.
final record	Start	Constraint fixing the start time of an interval variable to a given constant value.
final record	StartAfter	Constraint enforcing that an interval variable starts at or after a given time start.

Uses of Constraint in org.maxicp.modeling.constraints.seqvar

Classes in org.maxicp.modeling.constraints.seqvar that implement Constraint

Modifier and Type	Class	Description
class	Cumulative	Modeling-level cumulative constraint on a sequence variable (SeqVar), ensuring that the total load of active activities along the sequence never exceeds capacity.
class	Distance	Modeling-level distance constraint on a sequence variable (SeqVar), maintaining the total travel distance between consecutive visited nodes in the sequence.
final record	Exclude	Constraint excluding a node from a sequence variable (SeqVar) so that it is not visited.
final record	Insert	Constraint inserting node immediately after prev in a sequence variable (SeqVar).
final record	NotBetween	Constraint forbidding node from being inserted immediately between prev and after in a sequence variable (SeqVar).
final record	Precedence	Precedence constraint on a sequence variable (SeqVar), ensuring that the given nodes appear in the specified relative order if visited in the sequence.
final record	Require	Require a node to be visited within a SeqVar
final record	SubSequence	Constraint ensuring that the sequence sub is a subsequence of main (all nodes visited in sub are visited in main in the same relative order).
class	TransitionTimes	Modeling-level constraint linking a sequence variable (SeqVar) with visit time expressions, transition distances, and service durations.

Uses of Constraint in org.maxicp.modeling.symbolic

Methods in org.maxicp.modeling.symbolic that return Constraint

Modifier and Type	Method	Description
Constraint	SymbolicModel.constraint()	Returns the value of the constraint record component.

Methods in org.maxicp.modeling.symbolic that return types with arguments of type Constraint

Modifier and Type	Method	Description
Iterable<Constraint>	SymbolicModel.getConstraints()
Iterator<Constraint>	SymbolicModel.iterator()

Methods in org.maxicp.modeling.symbolic with parameters of type Constraint

Modifier and Type	Method	Description
SymbolicModel	SymbolicModel.add(Constraint c)
SymbolicModel[]	SymbolicModel.branch(Constraint... constraints)	Returns the SymbolicModels that would be created by branching on the constraints given in parameters

Constructors in org.maxicp.modeling.symbolic with parameters of type Constraint

Modifier	Constructor	Description
	SymbolicModel(Constraint constraint, SymbolicModel parent, ModelProxy modelProxy, List<List<IntExpression>> variableGroups)	Creates an instance of a SymbolicModel record class.