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)
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.binPacking(IntExpression[] x, int[] weights, IntExpression[] loads)
static Constraint	Factory.circuit(IntExpression... x)
static Constraint	Factory.cumulative(IntExpression[] start, int[] duration, int[] demand, int capa)
static Constraint	Factory.cumulative(SeqVar seqVar, int[] starts, int[] ends, int[] load, int capacity)
static Constraint	Factory.disjunctive(IntExpression[] start, int[] duration)
static Constraint	Factory.distance(SeqVar seqVar, int[][] distanceMatrix, IntExpression distance)
static Constraint	Factory.exclude(SeqVar seqVar, int node)
static Constraint	Factory.insert(SeqVar seqVar, int prev, int node)
static Constraint	Factory.le(CumulFunction function, int limit)
static Constraint	Factory.length(IntervalVar var, int length)
static Constraint	Factory.negTable(IntExpression[] x, int[][] array, Optional<Integer> starred)
static Constraint	Factory.noOverlap(IntervalVar... intervals)
static Constraint	Factory.notBetween(SeqVar seqVar, int pred, int node, int succ)
static Constraint	Factory.require(SeqVar seqVar, int node)
static Constraint	Factory.start(IntervalVar var, int start)
static Constraint	Factory.table(IntExpression[] x, int[][] array, Optional<Integer> starred)
static Constraint	Factory.transitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist)
static Constraint	Factory.transitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist, int[] serviceTime)

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
final record	BinPacking
final record	CardinalityMax
final record	CardinalityMin
final record	Circuit
final record	Cumulative
final record	Disjunctive
final record	ExpressionIsTrue
final record	NegTable
class	NoOpConstraint	A constraint that does nothing.
final record	Sorted
final record	Table

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
final record	Length
final record	LessOrEqual
final record	NoOverlap
final record	Present
final record	Start
final record	StartAfter

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
class	Distance
final record	Exclude
final record	Insert
final record	NotBetween
final record	Precedence
final record	Require	Require a node to be visited within a SeqVar
final record	SubSequence
class	TransitionTimes

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)	Creates an instance of a SymbolicModel record class.