Uses of Class
org.jacop.constraints.PrimitiveConstraint
-
Packages that use PrimitiveConstraint Package Description org.jacop.constraints org.jacop.floats.constraints org.jacop.floats.constraints.linear org.jacop.floats.search org.jacop.search org.jacop.set.constraints -
-
Uses of PrimitiveConstraint in org.jacop.constraints
Subclasses of PrimitiveConstraint in org.jacop.constraints Modifier and Type Class Description class
AbsXeqY
Constraints |X| #= Yclass
And
Constraint c1 /\ c2 ...class
AndBoolSimple
If both a and b are equal 1 then result variable is equal 1 too.class
AndBoolVector
If all x's are equal 1 then result variable is equal 1 too.class
AtLeast
AtLeast constraint implements the counting over number of occurrences of a given value in a list of variables.class
AtMost
AtMost constraint implements the counting over number of occurrences of a given value in a list of variables.class
BoolClause
I defines a boolean clause for 0/1 variables x_i and y_i.class
Count
Count constraint implements the counting over number of occurrences of a given value in a list of variables.class
CountBounds
CountBounds constraint implements the counting over number of occurrences of a given value in a list of variables.class
CountVar
CountVar constraint implements the counting over number of occurrences of a given value in a list of variables.class
Distance
Constraint |X - Y| #= Zclass
Eq
Constraint "constraint1"#<=> "constraint2"class
EqBool
If all x's are equal to each other then result variable is equal 1.class
IfThen
Constraint if constraint1 then constraint2class
IfThenBool
Constraint ( X => Y ) <=> Z.class
IfThenElse
Constraint if constraint1 then constraint2 else constraint3 *class
Implies
Constraint b => c (implication or half-reification)class
In
Constraints X to belong to a specified domain.class
LinearInt
LinearInt constraint implements the weighted summation over several variables .class
LinearIntDom
LinearIntDom constraint implements the weighted summation over several variables.class
Member
Member constraint implements the membership of element e on list x.class
Not
Constraint "not costraint"class
Or
Constraint c1 \/ c2 \/ ...class
OrBoolSimple
If at least one variable is equal 1 then result variable is equal 1 too.class
OrBoolVector
If at least one variable from the list is equal 1 then result variable is equal 1 too.class
Reified
Reified constraints "constraint" <=> Bclass
SumBool
SumBool constraint implements the summation over several 0/1 variables.class
SumInt
SumInt constraint implements the summation over several variables.class
XeqC
Constraints X #= Cclass
XeqY
Constraints X #= Yclass
XgtC
Constraint X > Cclass
XgteqC
Constraints X >= Cclass
XgteqY
Constraints X >= Yclass
XgtY
Constraint X > Yclass
XltC
Constraint X < Cclass
XlteqC
Constraint X <= Cclass
XlteqY
Constraint X <= Yclass
XltY
Constraint X < Yclass
XmulCeqZ
Constraint X * C #= Zclass
XmulYeqC
Constraint X * Y #= Cclass
XneqC
Constraints X #\= Cclass
XneqY
Constraints X #\= Yclass
Xor
Xor constraint - xor("constraint", B).class
XorBool
Constraint ( x_0 xor x_1 xor ...class
XplusCeqZ
Constraint X + C #= Z.class
XplusClteqZ
Constraints X + C<= Z.class
XplusYeqC
Constraint X + Y #= Cclass
XplusYeqZ
Constraint X + Y = Zclass
XplusYgtC
Constraint X + Y> Cclass
XplusYlteqZ
Constraint X + Y=< ZFields in org.jacop.constraints declared as PrimitiveConstraint Modifier and Type Field Description (package private) PrimitiveConstraint
AndBool. c
PrimitiveConstraint[]
Conditional. c
The list of constraints that are to be selected.PrimitiveConstraint
Implies. c
It specifies constraint in the Implies constraint.PrimitiveConstraint
Not. c
It specifies the constraint which negation is being created.(package private) PrimitiveConstraint
OrBool. c
PrimitiveConstraint
Reified. c
It specifies constraint c which status is being checked.PrimitiveConstraint
Xor. c
It specifies constraint c, which status must satisfy xor relationship with variable b.PrimitiveConstraint
Eq. c1
It specifies the first constraint which status must be equivalent to the status of the second constraint.PrimitiveConstraint
Eq. c2
It specifies the second constraint which status must be equivalent to the status of the first constraint.PrimitiveConstraint
IfThen. condC
It specifies constraint condC in the IfThen constraint.PrimitiveConstraint
IfThenElse. condC
It specifies constraint condC in the IfThenElse constraint.PrimitiveConstraint
IfThenElse. elseC
It specifies constraint elseC in the IfThenElse constraint.protected PrimitiveConstraint[]
And. listOfC
It specifies a list of constraints which must be satisfied to keep And constraint satisfied.PrimitiveConstraint[]
Or. listOfC
It specifies a list of constraints from which one constraint must be satisfied.PrimitiveConstraint
IfThen. thenC
It specifies constraint condC in the IfThen constraint.PrimitiveConstraint
IfThenElse. thenC
It specifies constraint condC in the IfThenElse constraint.Fields in org.jacop.constraints with type parameters of type PrimitiveConstraint Modifier and Type Field Description java.util.Set<PrimitiveConstraint>
Constraint. constraintScope
private QueueForward<PrimitiveConstraint>
And. queueForward
QueueForward<PrimitiveConstraint>
Eq. queueForward
QueueForward<PrimitiveConstraint>
IfThen. queueForward
QueueForward<PrimitiveConstraint>
IfThenElse. queueForward
private QueueForward<PrimitiveConstraint>
Implies. queueForward
private QueueForward<PrimitiveConstraint>
Not. queueForward
QueueForward<PrimitiveConstraint>
Or. queueForward
private QueueForward<PrimitiveConstraint>
Reified. queueForward
private QueueForward<PrimitiveConstraint>
Xor. queueForward
Methods in org.jacop.constraints that return types with arguments of type PrimitiveConstraint Modifier and Type Method Description java.util.List<PrimitiveConstraint>
AndBool. decompose(Store store)
java.util.List<PrimitiveConstraint>
OrBool. decompose(Store store)
Methods in org.jacop.constraints with parameters of type PrimitiveConstraint Modifier and Type Method Description protected void
Constraint. setConstraintScope(PrimitiveConstraint... primitiveConstraints)
protected void
Constraint. setScope(PrimitiveConstraint[] constraints)
Constructors in org.jacop.constraints with parameters of type PrimitiveConstraint Constructor Description And(PrimitiveConstraint[] c)
It constructs an And constraint over an array of primitive constraints.And(PrimitiveConstraint c1, PrimitiveConstraint c2)
It constructs a simple And constraint based on two primitive constraints.Conditional(IntVar[] b, PrimitiveConstraint[] c)
It constructs a Conditional constraint.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.Not(PrimitiveConstraint c)
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 PrimitiveConstraint Constructor Description And(java.util.List<PrimitiveConstraint> listOfC)
It constructs an And constraint based on primitive constraints.Or(java.util.List<PrimitiveConstraint> listOfC)
It constructs Or constraint. -
Uses of PrimitiveConstraint in org.jacop.floats.constraints
Subclasses of PrimitiveConstraint in org.jacop.floats.constraints Modifier and Type Class Description class
LinearFloat
LinearFloat constraint implements the weighted summation over several Variable's .class
PeqC
Constraints P #= Cclass
PeqQ
Constraints P #= Q for P and Q floatsclass
PgtC
Constraint P > Cclass
PgteqC
Constraints P >= C for floatsclass
PgteqQ
Constraints P >= Q for floatsclass
PgtQ
Constraint P > Q for floatsclass
PltC
Constraint P < C for floatsclass
PlteqC
Constraint X <= C for floatsclass
PlteqQ
Constraint P <= Q for floatsclass
PltQ
Constraint P < Q for floatsclass
PminusCeqR
Constraint P - C = Rclass
PminusQeqR
Constraint P - Q = Rclass
PneqC
Constraints P != Cclass
PneqQ
Constraints P #= Q for P and Q floatsclass
PplusCeqR
Constraint P + C #= Rclass
PplusQeqR
Constraint P + Q = Rclass
SumFloat
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.linear Modifier and Type Class Description class
Linear
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 PrimitiveConstraint Modifier and Type Method Description PrimitiveConstraint
SplitRandomSelectFloat. getChoiceConstraint(int index)
PrimitiveConstraint
SplitSelectFloat. getChoiceConstraint(int index)
-
Uses of PrimitiveConstraint in org.jacop.search
Fields in org.jacop.search declared as PrimitiveConstraint Modifier and Type Field Description (package private) PrimitiveConstraint
TraceGenerator.SearchNode. c
Methods in org.jacop.search that return PrimitiveConstraint Modifier and Type Method Description PrimitiveConstraint
InputOrderSelect. getChoiceConstraint(int index)
It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.PrimitiveConstraint
RandomSelect. getChoiceConstraint(int index)
It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.PrimitiveConstraint
SelectChoicePoint. getChoiceConstraint(int index)
It returns the constraint which is the base of the choice point.PrimitiveConstraint
SimpleMatrixSelect. getChoiceConstraint(int index)
It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.PrimitiveConstraint
SimpleSelect. getChoiceConstraint(int index)
It always returns null as choice point is obtained by getChoiceVariable and getChoiceValue.PrimitiveConstraint
SplitRandomSelect. getChoiceConstraint(int index)
PrimitiveConstraint
SplitSelect. getChoiceConstraint(int index)
PrimitiveConstraint
TraceGenerator. getChoiceConstraint(int index)
PrimitiveConstraint[]
SimpleSolutionListener. returnSolution()
PrimitiveConstraint[]
SimpleSolutionListener. returnSolution(int number)
It returns the solution with the given number (value 0 denotes the first solution) as a set of primitive constraints.PrimitiveConstraint[]
SolutionListener. returnSolution()
It returns a collection of constraints which represent the last found solution.Methods in org.jacop.search with parameters of type PrimitiveConstraint Modifier and Type Method Description (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.constraints Modifier and Type Class Description class
AeqB
It creates an equality constraint to make sure that two set variables have the same value.class
AeqS
It creates an equality constraint to make sure that a set variable is equal to a given set.class
AinB
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
AinS
It creates a constraint that makes sure that value of the variable A is included within a provided set.class
AleB
It creates a <= b constraint on two set variables.class
AltB
It creates a < b constraint on two set variables.class
EinA
It constructs a constraint which makes sure that a given element is in the domain of the set variable.class
SinA
It creates an inclusion set constraint to make sure that provided set is included in a set variable a.class
XeqA
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
XinA
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.
-