Uses of Class
org.jacop.constraints.PrimitiveConstraint
Packages that use PrimitiveConstraint
Package
Description
-
Uses of PrimitiveConstraint in org.jacop.constraints
Subclasses of PrimitiveConstraint in org.jacop.constraintsModifier and TypeClassDescriptionclass
Constraints |X| #= Yclass
Constraint c1 /\ c2 ...class
If both a and b are equal 1 then result variable is equal 1 too.class
class
class
class
I defines a boolean clause for 0/1 variables x_i and y_i.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
Constraint |X - Y| #= Zclass
Constraint "constraint1"#<=> "constraint2"class
If all x's are equal to each other then result variable is equal 1.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
class
LinearIntDom constraint implements the weighted summation over several variables.class
Member constraint implements the membership of element e on list x.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
class
class
SumInt constraint implements the summation over several variables.class
class
Constraints X #= Yclass
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
Constraint X * Y #= Cclass
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 PrimitiveConstraintModifier and TypeFieldDescription(package private) PrimitiveConstraint
AndBool.c
final PrimitiveConstraint[]
Conditional.c
The list of constraints that are to be selected.Implies.c
It specifies constraint in the Implies constraint.final PrimitiveConstraint
Not.c
It specifies the constraint which negation is being created.(package private) PrimitiveConstraint
OrBool.c
final PrimitiveConstraint
Reified.c
It specifies constraint c which status is being checked.final PrimitiveConstraint
Xor.c
It specifies constraint c, which status must satisfy xor relationship with variable b.Eq.c1
It specifies the first constraint which status must be equivalent to the status of the second constraint.Eq.c2
It specifies the second constraint which status must be equivalent to the status of the first constraint.IfThen.condC
It specifies constraint condC in the IfThen constraint.IfThenElse.condC
It specifies constraint condC in the IfThenElse constraint.IfThenElse.elseC
It specifies constraint elseC in the IfThenElse constraint.protected final PrimitiveConstraint[]
And.listOfC
It specifies a list of constraints which must be satisfied to keep And constraint satisfied.Or.listOfC
It specifies a list of constraints from which one constraint must be satisfied.IfThen.thenC
It specifies constraint condC in the IfThen constraint.IfThenElse.thenC
It specifies constraint condC in the IfThenElse constraint.Fields in org.jacop.constraints with type parameters of type PrimitiveConstraintModifier and TypeFieldDescriptionConstraint.constraintScope
private final QueueForward
<PrimitiveConstraint> And.queueForward
final QueueForward
<PrimitiveConstraint> Eq.queueForward
final QueueForward
<PrimitiveConstraint> IfThen.queueForward
final QueueForward
<PrimitiveConstraint> IfThenElse.queueForward
private final QueueForward
<PrimitiveConstraint> Implies.queueForward
private final QueueForward
<PrimitiveConstraint> Not.queueForward
final QueueForward
<PrimitiveConstraint> Or.queueForward
private final QueueForward
<PrimitiveConstraint> Reified.queueForward
private final QueueForward
<PrimitiveConstraint> Xor.queueForward
Methods in org.jacop.constraints that return types with arguments of type PrimitiveConstraintModifier and TypeMethodDescriptionMethods in org.jacop.constraints with parameters of type PrimitiveConstraintModifier and TypeMethodDescriptionprotected void
Constraint.setConstraintScope
(PrimitiveConstraint... primitiveConstraints) protected void
Constraint.setScope
(PrimitiveConstraint[] constraints) Constructors in org.jacop.constraints with parameters of type PrimitiveConstraintModifierConstructorDescriptionAnd
(PrimitiveConstraint[] c) It constructs an And constraint over an array of primitive constraints.It constructs a simple And constraint based on two primitive constraints.Conditional
(IntVar[] b, PrimitiveConstraint[] c) It constructs a Conditional constraint.protected
Constraint
(PrimitiveConstraint[] constraints) Eq
(PrimitiveConstraint c1, PrimitiveConstraint c2) It constructs equality constraint between two constraints.IfThen
(PrimitiveConstraint condC, PrimitiveConstraint thenC) It constructs ifthen constraint.IfThenElse
(PrimitiveConstraint condC, PrimitiveConstraint thenC, PrimitiveConstraint elseC) It creates ifthenelse constraint.Implies
(IntVar b, PrimitiveConstraint c) It constructs ifthen constraint.It constructs not constraint.Or
(PrimitiveConstraint[] listOfC) It constructs Or constraint.Or
(PrimitiveConstraint c1, PrimitiveConstraint c2) It constructs an Or constraint, at least one constraint has to be satisfied.Reified
(PrimitiveConstraint c, IntVar b) It creates Reified constraint.Xor
(PrimitiveConstraint c, IntVar b) It constructs a xor constraint.Constructor parameters in org.jacop.constraints with type arguments of type PrimitiveConstraintModifierConstructorDescriptionAnd
(List<PrimitiveConstraint> listOfC) It constructs an And constraint based on primitive constraints.Or
(List<PrimitiveConstraint> listOfC) It constructs Or constraint. -
Uses of PrimitiveConstraint in org.jacop.floats.constraints
Subclasses of PrimitiveConstraint in org.jacop.floats.constraintsModifier and TypeClassDescriptionclass
LinearFloat constraint implements the weighted summation over several Variable's .class
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
Constraints P != Cclass
Constraints P #= Q for P and Q floatsclass
Constraint P + C #= Rclass
Constraint P + Q = Rclass
SumFloat constraint implements the weighted summation over several Variable's . -
Uses of PrimitiveConstraint in org.jacop.floats.constraints.linear
Subclasses of PrimitiveConstraint in org.jacop.floats.constraints.linearModifier and TypeClassDescriptionclass
Linear constraint implements the weighted summation over several Variable's . -
Uses of PrimitiveConstraint in org.jacop.floats.search
Methods in org.jacop.floats.search that return PrimitiveConstraintModifier and TypeMethodDescriptionSplitRandomSelectFloat.getChoiceConstraint
(int index) SplitSelectFloat.getChoiceConstraint
(int index) -
Uses of PrimitiveConstraint in org.jacop.search
Fields in org.jacop.search declared as PrimitiveConstraintModifier and TypeFieldDescription(package private) PrimitiveConstraint
TraceGenerator.SearchNode.c
Methods in org.jacop.search that return PrimitiveConstraintModifier and TypeMethodDescriptionInputOrderSelect.getChoiceConstraint
(int index) It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.RandomSelect.getChoiceConstraint
(int index) It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.SelectChoicePoint.getChoiceConstraint
(int index) It returns the constraint which is the base of the choice point.SimpleMatrixSelect.getChoiceConstraint
(int index) It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.SimpleSelect.getChoiceConstraint
(int index) It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.SplitRandomSelect.getChoiceConstraint
(int index) SplitSelect.getChoiceConstraint
(int index) TraceGenerator.getChoiceConstraint
(int index) SimpleSolutionListener.returnSolution()
SimpleSolutionListener.returnSolution
(int number) It returns the solution with the given number (value 0 denotes the first solution) as a set of primitive constraints.SolutionListener.returnSolution()
It returns a collection of constraints which represent the last found solution.Methods in org.jacop.search with parameters of type PrimitiveConstraintModifier and TypeMethodDescription(package private) void
TraceGenerator.generateFailcNode
(int searchNodeId, int parentNode, PrimitiveConstraint c) (package private) void
TraceGenerator.generateTrycNode
(int searchNodeId, int parentNode, PrimitiveConstraint c) boolean
CreditCalculator.leftChild
(PrimitiveConstraint choice, boolean status) It is executed after exiting the left child.boolean
ExitChildListener.leftChild
(PrimitiveConstraint choice, boolean status) It is executed after exiting the left child.boolean
LDS.leftChild
(PrimitiveConstraint choice, boolean status) It is executed after exiting the left child.boolean
NoGoodsCollector.leftChild
(PrimitiveConstraint choice, boolean status) boolean
Shaving.leftChild
(PrimitiveConstraint choice, boolean status) boolean
TraceGenerator.leftChild
(PrimitiveConstraint choice, boolean status) void
CreditCalculator.rightChild
(PrimitiveConstraint choice, boolean status) void
ExitChildListener.rightChild
(PrimitiveConstraint choice, boolean status) It is executed after exiting the right child.void
LDS.rightChild
(PrimitiveConstraint choice, boolean status) void
NoGoodsCollector.rightChild
(PrimitiveConstraint choice, boolean status) void
Shaving.rightChild
(PrimitiveConstraint choice, boolean status) void
TraceGenerator.rightChild
(PrimitiveConstraint choice, boolean status) -
Uses of PrimitiveConstraint in org.jacop.set.constraints
Subclasses of PrimitiveConstraint in org.jacop.set.constraintsModifier and TypeClassDescriptionclass
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 <= b constraint on two set variables.class
It creates a < b constraint on two set variables.class
It constructs a constraint which makes sure that a given element is in the domain of the set variable.class
It creates an inclusion set constraint to make sure that provided set is included in a set variable a.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.