|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AbstractPrecedenceSConstraint | |
---|---|
choco.cp.solver.constraints.global.scheduling.precedence |
Uses of AbstractPrecedenceSConstraint in choco.cp.solver.constraints.global.scheduling.precedence |
---|
Subclasses of AbstractPrecedenceSConstraint in choco.cp.solver.constraints.global.scheduling.precedence | |
---|---|
class |
PrecedenceDisjoint
Let b be a boolean variables; x1, x2 be two integer variables and k1, k2 two integers. |
class |
PrecedenceImplied
|
class |
PrecedenceReified
b = 1 <=> x1 + k1 <= x2 b = 0 <=> x1 + k1 > x2 |
class |
PrecedenceVDisjoint
if b is true then t1 ends before t2, otherwise t2 ends before t1. |
class |
PrecedenceVSDisjoint
The precedence disjoint constraint with setup times and variable duration. |
class |
VariablePrecedenceDisjoint
Let b be a boolean variables; x0, x1 be two integer variables and k1, k2 two integers. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |