Uses of Class
org.jacop.constraints.Constraint
Packages that use Constraint
Package
Description
-
Uses of Constraint in org.jacop.api
Classes in org.jacop.api with type parameters of type ConstraintModifier and TypeInterfaceDescriptioninterface
Replaceable<T extends Constraint>
Interface that provides ability to configure constraint store to replace a particular type of constraints into another one.Methods in org.jacop.api that return types with arguments of type ConstraintModifier and TypeMethodDescription -
Uses of Constraint in org.jacop.constraints
Classes in org.jacop.constraints with type parameters of type ConstraintModifier and TypeClassDescriptionclass
DecomposedConstraint<T extends Constraint>
Standard unified interface/abstract class for constraints, which can only be decomposed.Subclasses of Constraint in org.jacop.constraintsModifier and TypeClassDescriptionclass
Constraints |X| #= Yclass
Alldiff constraint assures that all FDVs has different values.class
Alldifferent constraint assures that all FDVs has differnet values.class
Alldistinct constraint assures that all FDVs have different values.class
Among constraint in its simplest form.class
Among constraint in its general form.class
Constraint c1 /\ c2 ...class
If both a and b are equal 1 then result variable is equal 1 too.class
class
ArgMax constraint provides the index of the maximum variable from all variables on the list.class
ArgMin constraint provides the index of the maximum variable from all variables on the list.class
Assignment constraint implements facility to improve channeling constraints between dual viewpoints of permutation models.class
class
class
I defines a boolean clause for 0/1 variables x_i and y_i.class
ChannelImply constraints "B => constraint".class
ChannelReif constraints "constraint" <=> B.class
Circuit constraint assures that all variables build a Hamiltonian circuit.class
Conditional constraint implements conditional constraint satisfiability.class
Count constraint implements the counting over number of occurrences of a given value in a list of variables.class
CountBounds constraint implements the counting over number of occurrences of a given value in a list of variables.class
class
CountValuesBounds constraint implements the counting over numbers of occurrences of a given vector of values in a list of variables.class
class
Cumulative implements the cumulative/4 constraint using edge-finding algorithm and profile information on the resource use.class
Decreasing constraint assures that all variables are in decreasing order.class
Diff constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
Diff2 constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
Disjoint constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
DisjointConditional constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
Constraint |X - Y| #= Zclass
Element constraint implements the element/4 constraint (both with integer list and variables list).class
ElementInteger constraint defines a relation list[index - indexOffset] = value.class
class
ElementVariable constraint defines a relation list[index - indexOffset] = value.class
class
Constraint "constraint1"#<=> "constraint2"class
If all x's are equal to each other then result variable is equal 1.class
Extensional constraint assures that none of the tuples explicitly given is enforced in the relation.class
Extensional constraint assures that one of the tuples is enforced in the relation.class
Extensional constraint assures that one of the tuples is enforced in the relation.class
Extensional constraint assures that one of the tuples is enforced in the relation.class
GCC constraint counts the number of occurences of given values in x variables.class
Constraint if constraint1 then constraint2class
Constraint ( X => Y ) <=> Z.class
Constraint if constraint1 then constraint2 else constraint3 *class
class
Constraints X to belong to a specified domain.class
Increasing constraint assures that all variables are in increasing order.class
It constructs a LexOrder (lexicographical order) constraint.class
Deprecated.As of release 4.3.1 replaced by LinearInt constraint.class
class
LinearIntDom constraint implements the weighted summation over several variables.class
Max constraint implements the Maximum/2 constraint.class
MaxSimple constraint implements the Maximum/2 constraint.class
Member constraint implements the membership of element e on list x.class
Min constraint implements the minimum/2 constraint.class
MinSimple constraint implements the minimum/2 constraint.class
NoGood constraints implements a constraint which disallows given combination of values for given variables.class
Constraint "not costraint"class
Constraint c1 \/ c2 \/ ...class
If at least one variable is equal 1 then result variable is equal 1 too.class
If at least one variable from the list is equal 1 then result variable is equal 1 too.class
Standard unified interface for all primitive constraints.class
class
Subcircuit constraint assures that all variables build a subcircuit.class
class
class
SumInt constraint implements the summation over several variables.class
class
Deprecated.As of release 4.3.1 replaced by LinearIntDom constraint.class
class
Constraint Values counts number of different values on a list of Variables.class
VariableTrace is a daemon that prints information on variables whenever they are changed.class
Constraint X div Y #= Zclass
class
Constraints X #= Yclass
Constraint X ^ Y #= Zclass
Constraint X > Cclass
Constraints X >= Cclass
Constraints X >= Yclass
Constraint X > Yclass
Constraint X < Cclass
Constraint X <= Cclass
Constraint X <= Yclass
Constraint X < Yclass
class
class
Constraint X * Y #= Cclass
class
class
Constraints X #\= Yclass
Xor constraint - xor("constraint", B).class
Constraint ( x_0 xor x_1 xor ...class
Constraint X + C #= Z.class
Constraints X + C<= Z.class
Constraint X + Y #= Cclass
Constraint X + Y = Zclass
Constraint X + Y> Cclass
Constraint X + Y=< ZFields in org.jacop.constraints declared as ConstraintFields in org.jacop.constraints with type parameters of type ConstraintModifier and TypeFieldDescription(package private) List
<Constraint> AndBoolVector.constraints
(package private) List
<Constraint> EqBool.constraints
protected List
<Constraint> Increasing.constraints
(package private) List
<Constraint> Lex.constraints
It contains constraints of the lex constraint decomposition.(package private) List
<Constraint> OrBoolVector.constraints
(package private) List
<Constraint> Sequence.constraints
(package private) List
<Constraint> Stretch.constraints
SoftAlldifferent.decomposition
SoftGCC.decomposition
Methods in org.jacop.constraints that return ConstraintModifier and TypeMethodDescriptionstatic Constraint
It constructs element constraint based on variables.static Constraint
It constructs element constraint based on variables.static Constraint
It constructs element constraint based on variables.static Constraint
It constructs element constraint based on variables.static Constraint
It constructs element constraint based on variables.static Constraint
It constructs element constraint based on variables.Alldistinct.getGuideConstraint()
Constraint.getGuideConstraint()
It specifies a constraint which if imposed by search will enhance propagation of this constraint.In.getGuideConstraint()
Sum.getGuideConstraint()
SumInt.getGuideConstraint()
Methods in org.jacop.constraints that return types with arguments of type ConstraintModifier and TypeMethodDescriptionIt returns an array list of constraint which are used to decompose this constraint.static List
<Constraint> Sequence.decomposeByRegular
(Sequence sequence) Preferred and default option of decomposing Sequence constraint.Lex.decomposeLE
(Store store) Lex.decomposeLERegular
(Store store) Lex.decomposeLT
(Store store) Lex.decomposeLTRegular
(Store store) SoftAlldifferent.primitiveDecomposition
(Store store) SoftGCC.primitiveDecomposition
(Store store) Methods in org.jacop.constraints with parameters of type ConstraintModifier and TypeMethodDescriptionprivate Set
<RemoveLevelLate> Constraint.computeFixpoint
(Constraint c, Set<RemoveLevelLate> fixpoint) Method parameters in org.jacop.constraints with type arguments of type ConstraintModifier and TypeMethodDescriptionvoid
Constraint.updateAFC
(Set<Constraint> allConstraints, double decay) -
Uses of Constraint in org.jacop.constraints.binpacking
Subclasses of Constraint in org.jacop.constraints.binpackingModifier and TypeClassDescriptionclass
Binpacking constraint implements bin packing problem. -
Uses of Constraint in org.jacop.constraints.cumulative
Subclasses of Constraint in org.jacop.constraints.cumulativeModifier and TypeClassDescriptionclass
class
(package private) class
class
-
Uses of Constraint in org.jacop.constraints.diffn
Subclasses of Constraint in org.jacop.constraints.diffnModifier and TypeClassDescriptionclass
Diffn constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
Nooverlap constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.Fields in org.jacop.constraints.diffn with type parameters of type ConstraintModifier and TypeFieldDescriptionprotected List
<Constraint> Diffn.constraints
protected List
<Constraint> DiffnDecomposed.constraints
Methods in org.jacop.constraints.diffn that return types with arguments of type ConstraintModifier and TypeMethodDescription -
Uses of Constraint in org.jacop.constraints.geost
Subclasses of Constraint in org.jacop.constraints.geost -
Uses of Constraint in org.jacop.constraints.knapsack
Subclasses of Constraint in org.jacop.constraints.knapsack -
Uses of Constraint in org.jacop.constraints.netflow
Subclasses of Constraint in org.jacop.constraints.netflowFields in org.jacop.constraints.netflow with type parameters of type ConstraintMethods in org.jacop.constraints.netflow that return types with arguments of type ConstraintModifier and TypeMethodDescriptionArithmetic.primitiveDecomposition
(Store store) NetworkBuilder.primitiveDecomposition
(Store store) Generally speaking, especially in case of multiple arcs between two nodes and structure constraints imposed on arcs makes it hard to decompose network flow constraint into primitive ones.Method parameters in org.jacop.constraints.netflow with type arguments of type Constraint -
Uses of Constraint in org.jacop.constraints.regular
Subclasses of Constraint in org.jacop.constraints.regularModifier and TypeClassDescriptionclass
Regular constraint accepts only the assignment to variables which is accepted by an automaton.Fields in org.jacop.constraints.regular with type parameters of type ConstraintMethods in org.jacop.constraints.regular that return types with arguments of type Constraint -
Uses of Constraint in org.jacop.constraints.replace
Methods in org.jacop.constraints.replace that return types with arguments of type ConstraintModifier and TypeMethodDescription -
Uses of Constraint in org.jacop.constraints.table
Subclasses of Constraint in org.jacop.constraints.tableModifier and TypeClassDescriptionclass
SimpleTable implements the table constraint using a method presented inclass
Table implements the table constraint using a method presented in -
Uses of Constraint in org.jacop.core
Fields in org.jacop.core declared as ConstraintModifier and TypeFieldDescriptionStore.currentConstraint
It stores constraint which is currently re-evaluated.Constraint[][]
Domain.modelConstraints
It specifies constraints which are attached to current domain, each array has different pruning event.Store.recentlyFailedConstraint
It stores constraint that has recently failed during store.consistency() execution.Fields in org.jacop.core with type parameters of type ConstraintModifier and TypeFieldDescription(package private) Set
<Constraint> Store.allConstraints
private Map
<Class<? extends Constraint>, Set<Replaceable>> Store.replacements
It stores all the active replacements of constraints that are being applied upon constraint imposition.Domain.searchConstraints
It specifies constraints which are attached to current domain.Map
<Var, Set<Constraint>> Store.watchedConstraints
This keeps information about watched constraints by given variable.Methods in org.jacop.core that return ConstraintModifier and TypeMethodDescriptionStore.getCurrentConstraint()
This function returns the constraint which is currently reevaluated.Store.getFirstChanged()
This function returns the constraint scheduled for re-evaluation.Methods in org.jacop.core that return types with arguments of type ConstraintModifier and TypeMethodDescriptionDomain.constraints()
It returns all the constraints attached currently to the domain.Store.getConstraints()
Domain.searchConstraints()
Methods in org.jacop.core with parameters of type ConstraintModifier and TypeMethodDescriptionvoid
Store.addChanged
(Constraint c) This function schedules given constraint for re-evaluation.void
Watched constraint given as parameter is being removed, no variable will be watching it.void
Store.deregisterWatchedLiteralConstraint
(Var v, Constraint c) Variable given as a parameter no longer watches constraint given as parameter.void
Store.impose
(Constraint c) This function imposes a constraint to a store.void
Store.impose
(Constraint c, int queueIndex) This function imposes a constraint to a store.void
Store.imposeWithConsistency
(Constraint c) In some special cases it may be beneficial to compute consistency of constraint store immediately after the constraint is imposed.void
Store.imposeWithConsistency
(Constraint c, int queueIndex) In some special cases it may be beneficial to compute consistency of constraint store immediately after the constraint is imposed.void
BooleanVar.putConstraint
(Constraint c) void
IntVar.putConstraint
(Constraint c) abstract void
Var.putConstraint
(Constraint c) It registers constraint with current variable, so anytime this variable is changed the constraint is reevaluated.void
BooleanVar.putModelConstraint
(Constraint constraint, int pruningEvent) It registers constraint with current variable, so anytime this variable is changed the constraint is reevaluated.abstract void
Domain.putModelConstraint
(int storeLevel, Var var, Constraint C, int pruningEvent) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
IntDomain.putModelConstraint
(int storeLevel, Var var, Constraint c, int pruningEvent) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
IntVar.putModelConstraint
(Constraint c, int pruningEvent) It registers constraint with current variable, so anytime this variable is changed the constraint is reevaluated.abstract void
Var.putModelConstraint
(Constraint c, int pruningEvent) It registers constraint with current variable, so anytime this variable is changed the constraint is reevaluated.void
BooleanVar.putSearchConstraint
(Constraint constraint) It registers constraint with current variable, so anytime this variable is changed the constraint is reevaluated.abstract void
Domain.putSearchConstraint
(int storeLevel, Var var, Constraint C) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
IntDomain.putSearchConstraint
(int storeLevel, Var var, Constraint c) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
IntVar.putSearchConstraint
(Constraint c) It registers constraint with current variable, so always when this variable is changed the constraint is reevaluated.abstract void
Var.putSearchConstraint
(Constraint c) It registers constraint with current variable, so always when this variable is changed the constraint is reevaluated.void
Store.registerWatchedLiteralConstraint
(Var v, Constraint c) It register variable to watch given constraint.void
BooleanVar.removeConstraint
(Constraint constraint) It unregisters constraint with current variable, so change in variable will not cause constraint reevaluation.void
IntVar.removeConstraint
(Constraint c) It detaches constraint from the current variable, so change in variable will not cause constraint reevaluation.abstract void
Var.removeConstraint
(Constraint c) It detaches constraint from the current variable, so change in variable will not cause constraint reevaluation.abstract void
Domain.removeModelConstraint
(int storeLevel, Var var, Constraint c) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
IntDomain.removeModelConstraint
(int storeLevel, Var var, Constraint c) abstract void
Domain.removeSearchConstraint
(int storeLevel, Var var, int position, Constraint c) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
IntDomain.removeSearchConstraint
(int storeLevel, Var var, int position, Constraint c) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
IntDomain.removeSearchConstraint
(int storeLevel, Var var, Constraint c) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.(package private) void
Store.updateActivities
(Constraint constraint) Method parameters in org.jacop.core with type arguments of type ConstraintModifier and TypeMethodDescriptionboolean
Store.deregisterReplacement
(Replaceable<? extends Constraint> replacement) It makes it possible to deregister the replacement.boolean
Store.registerReplacement
(Replaceable<? extends Constraint> replacement) It makes it possible to register replacement for a particular constraint type. -
Uses of Constraint in org.jacop.examples.fd
Fields in org.jacop.examples.fd with type parameters of type ConstraintModifier and TypeFieldDescriptionMagicSquares.guidingShaving
It specifies the list of constraints which can be used for guiding shaving.NonTransitiveDice.shavingConstraints
It contains constraints which can be used for shaving guidance.Methods in org.jacop.examples.fd that return ConstraintModifier and TypeMethodDescriptionstatic Constraint
Gates.tableConstraintProviderUsingExtensionalSTR
(IntVar[] vars, int[][] tuples) static Constraint
Gates.tableConstraintProviderUsingSimpleTable
(IntVar[] vars, int[][] tuples) Method parameters in org.jacop.examples.fd with type arguments of type ConstraintModifier and TypeMethodDescriptionvoid
Gates.and
(BooleanVar in1, BooleanVar in2, BooleanVar out, BiFunction<IntVar[], int[][], Constraint> tableConstraintProvider) It imposes an extensional constraint enforcing an and relationship between two input parameters and an output parameter.void
Gates.model
(BiFunction<IntVar[], int[][], Constraint> tableConstraintProvider) void
Gates.not
(BooleanVar in, BooleanVar out, BiFunction<IntVar[], int[][], Constraint> tableConstraintProvider) It imposes an extensional constraint enforcing an not relationship between input parameter and an output parameter.void
Gates.or
(BooleanVar in1, BooleanVar in2, BooleanVar out, BiFunction<IntVar[], int[][], Constraint> tableConstraintProvider) It imposes an extensional constraint enforcing an or relationship between two input parameters and an output parameter.boolean
ExampleFD.shavingSearch
(List<Constraint> guidingShaving, boolean printInfo) It searches with shaving which is guided by supplied constraints.void
Gates.xor
(BooleanVar in1, BooleanVar in2, BooleanVar out, BiFunction<IntVar[], int[][], Constraint> tableConstraintProvider) It imposes an extensional constraint enforcing an xor relationship between two input parameters and an output parameter. -
Uses of Constraint in org.jacop.examples.fd.qcp
Fields in org.jacop.examples.fd.qcp with type parameters of type ConstraintModifier and TypeFieldDescriptionIt contains constraints which can be used to guide shaving. -
Uses of Constraint in org.jacop.floats.constraints
Subclasses of Constraint in org.jacop.floats.constraintsModifier and TypeClassDescriptionclass
Constraints |P| #= Rclass
Constraints acos(P) = Rclass
Constraints asin(P) = Rclass
Constraints atan(P) = Rclass
Constraints cos(P) = Rclass
ElementFloat constraint defines a relation list[index - indexOffset] = value.class
ElementFloatVariable constraint defines a relation list[index - indexOffset] = value.class
EquationSystem constraint implements the multivariate interval Newton method for pruning domains of variables in a system of non-linear equations.class
Constraints exp(P) #= Q for P and Q floatsclass
LinearFloat constraint implements the weighted summation over several Variable's .class
Constraints Ln(P) #= Q for P and Q floatsclass
Max constraint implements the Maximum/2 constraint.class
Min constraint implements the minimum/2 constraint.class
Constraint P / C = R for floatsclass
Constraint P / Q = R for floatsclass
Constraints P #= Cclass
Constraints P #= Q for P and Q floatsclass
Constraint P > Cclass
Constraints P >= C for floatsclass
Constraints P >= Q for floatsclass
Constraint P > Q for floatsclass
Constraint P < C for floatsclass
Constraint X <= C for floatsclass
Constraint P <= Q for floatsclass
Constraint P < Q for floatsclass
Constraint P - C = Rclass
Constraint P - Q = Rclass
Constraint P * C = R for floatsclass
Constraint P * Q = R for floatsclass
Constraints P != Cclass
Constraints P #= Q for P and Q floatsclass
Constraint P + C #= Rclass
Constraint P + Q = Rclass
Constraints sin(P) = Rclass
Constraint sqrt(P) = R for floatsclass
SumFloat constraint implements the weighted summation over several Variable's .class
Constraints sin(P) = Rclass
Constraints X #= P for X and P floatsFields in org.jacop.floats.constraints with type parameters of type ConstraintModifier and TypeFieldDescription(package private) List
<Constraint> CosPeqR_decomposed.constraints
It contains constraints of the CosPeqR_decomposed constraint decomposition.(package private) static Map
<FloatVar, Constraint> Derivative.definitionConstraint
(package private) static Set
<Constraint> Derivative.derivateConstraints
(package private) static Stack
<Constraint> Derivative.eval
(package private) Stack
<Constraint> MultivariateIntervalNewton.eval
Methods in org.jacop.floats.constraints that return ConstraintModifier and TypeMethodDescription(package private) Constraint
MultivariateIntervalNewton.constraint
(FloatVar v) (package private) static Constraint
Derivative.resolveConstraint
(FloatVar f, List<Constraint> cs) Methods in org.jacop.floats.constraints that return types with arguments of type ConstraintModifier and TypeMethodDescriptionstatic final Set
<Constraint> Derivative.derivativeConstraints()
Methods in org.jacop.floats.constraints with parameters of type ConstraintModifier and TypeMethodDescriptionstatic void
Derivative.defineConstraint
(FloatVar f, Constraint c) (package private) static final void
Derivative.poseDerivativeConstraint
(Constraint c) Method parameters in org.jacop.floats.constraints with type arguments of type ConstraintModifier and TypeMethodDescription(package private) static Constraint
Derivative.resolveConstraint
(FloatVar f, List<Constraint> cs) -
Uses of Constraint in org.jacop.floats.constraints.linear
Subclasses of Constraint in org.jacop.floats.constraints.linearModifier and TypeClassDescriptionclass
Linear constraint implements the weighted summation over several Variable's . -
Uses of Constraint in org.jacop.floats.core
Methods in org.jacop.floats.core with parameters of type ConstraintModifier and TypeMethodDescriptionvoid
FloatVar.putConstraint
(Constraint c) void
FloatDomain.putModelConstraint
(int storeLevel, Var var, Constraint C, int pruningEvent) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
FloatVar.putModelConstraint
(Constraint c, int pruningEvent) It registers constraint with current variable, so anytime this variable is changed the constraint is reevaluated.void
FloatIntervalDomain.putSearchConstraint
(int storeLevel, Var var, Constraint C) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
FloatVar.putSearchConstraint
(Constraint c) It registers constraint with current variable, so always when this variable is changed the constraint is reevaluated.void
FloatVar.removeConstraint
(Constraint c) It detaches constraint from the current variable, so change in variable will not cause constraint reevaluation.void
FloatDomain.removeModelConstraint
(int storeLevel, Var var, Constraint C) void
FloatIntervalDomain.removeSearchConstraint
(int storeLevel, Var var, int position, Constraint C) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
FloatIntervalDomain.removeSearchConstraint
(int storeLevel, Var var, Constraint C) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object. -
Uses of Constraint in org.jacop.fz
Methods in org.jacop.fz with parameters of type ConstraintModifier and TypeMethodDescription(package private) void
Solve.pose
(Constraint c) (package private) void
VariablesParameters.pose
(Store store, Constraint c) -
Uses of Constraint in org.jacop.fz.constraints
Fields in org.jacop.fz.constraints with type parameters of type ConstraintModifier and TypeFieldDescription(package private) ArrayList
<Constraint> Support.delayedConstraints
Methods in org.jacop.fz.constraints that return ConstraintModifier and TypeMethodDescription(package private) Constraint
Support.fzXeqCImplied
(IntVar x, int c, IntVar b) (package private) Constraint
Support.fzXeqCReified
(IntVar x, int c, IntVar b) (package private) Constraint
Support.fzXneqCImplied
(IntVar x, int c, IntVar b) (package private) Constraint
Support.fzXneqCReified
(IntVar x, int c, IntVar b) Methods in org.jacop.fz.constraints with parameters of type Constraint -
Uses of Constraint in org.jacop.satwrapper
Subclasses of Constraint in org.jacop.satwrapperModifier and TypeClassDescriptionfinal class
wrapper to communicate between SAT solver and CP solver.Methods in org.jacop.satwrapper with parameters of type ConstraintModifier and TypeMethodDescriptionfinal void
SatWrapper.impose
(Constraint constraint) add the constraint to the wrapper (ie, constraint.imposeToSat(this)) -
Uses of Constraint in org.jacop.search
Fields in org.jacop.search declared as ConstraintModifier and TypeFieldDescription(package private) Constraint
DepthFirstSearch.cost
It represents the constraint which enforces that next solution is better than currently best solution.(package private) Constraint
Shaving.recentlyFailedConstraint
Fields in org.jacop.search with type parameters of type ConstraintModifier and TypeFieldDescription(package private) List
<Constraint> Shaving.shavingConstraints
It contains list of constraints which suggest shaving explorations.Methods in org.jacop.search with parameters of type ConstraintModifier and TypeMethodDescriptionvoid
Shaving.addShavingConstraint
(Constraint c) It adds shaving constraint to the list of constraints guiding shaving.(package private) void
FailConstraintsStatistics.collectFailStatistics
(Constraint currentConstraint) -
Uses of Constraint in org.jacop.set.constraints
Subclasses of Constraint in org.jacop.set.constraintsModifier and TypeClassDescriptionclass
It creates a constraints that subtracts from set variable A the elements from of the set variable B and assigns the result to set variable C.class
The disjoint set constraint makes sure that two set variables do not contain any common element.class
It creates an equality constraint to make sure that two set variables have the same value.class
It creates an equality constraint to make sure that a set variable is equal to a given set.class
It creates a constraint that makes sure that the set value of set variable A is included in the set value of set variable B.class
It creates a constraint that makes sure that value of the variable A is included within a provided set.class
It creates a constraint that makes sure that A intersected with B is equal to C.class
It creates a <= b constraint on two set variables.class
It creates a < b constraint on two set variables.class
It creates a constraint that makes sure that A union B is equal to C.class
The set cardinality constraint.class
The set cardinality constraint.class
It constructs a constraint which makes sure that a given element is in the domain of the set variable.class
It is an element constraint that make sure that set variable value has a domain equal to the index-th element of the supplied list of sets.class
ElementSetVariable constraint defines a relation list[index - indexOffset] = value.class
Deprecated.As of release 4.5.1 replaced by AltB and AleB constraints.class
This constraint matches the elements of the given set variable onto a list of integer variables.class
It creates an inclusion set constraint to make sure that provided set is included in a set variable a.class
It computes a weighted sum of the elements in the domain of the given set variable.class
It creates a constraint that makes sure that the value assigned to the integer variable x is the only element of the set assigned to a set variable a.class
It creates a constraint that makes sure that the value assigned to integer variable x is included in the set assigned to the set variable a. -
Uses of Constraint in org.jacop.set.core
Methods in org.jacop.set.core with parameters of type ConstraintModifier and TypeMethodDescriptionvoid
SetVar.putConstraint
(Constraint c) void
SetDomain.putModelConstraint
(int storeLevel, Var var, Constraint C, int pruningEvent) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
SetVar.putModelConstraint
(Constraint c, int pruningEvent) It registers constraint with current variable, so anytime this variable is changed the constraint is reevaluated.void
SetDomain.putSearchConstraint
(int storeLevel, Var var, Constraint C) It adds a constraint to a domain, it should only be called by putConstraint function of Variable object.void
SetVar.putSearchConstraint
(Constraint c) It registers constraint with current variable, so always when this variable is changed the constraint is reevaluated.void
SetVar.removeConstraint
(Constraint c) It detaches constraint from the current variable, so change in variable will not cause constraint reevaluation.void
SetDomain.removeModelConstraint
(int storeLevel, Var var, Constraint C) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.void
SetDomain.removeSearchConstraint
(int storeLevel, Var var, int position, Constraint C) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object. -
Uses of Constraint in org.jacop.util
Classes in org.jacop.util with type parameters of type ConstraintModifier and TypeClassDescriptionclass
QueueForward<T extends Constraint>
Utility class that allows for constraints like Xor, Reified, etc that take other constraints as parameters to forward any changes of variables to the constraints that were provided as arguments.Constructors in org.jacop.util with parameters of type ConstraintModifierConstructorDescriptionQueueForward
(T[] constraints, Collection<Var> vars) QueueForward
(T[] constraints, Var[] vars)