|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
ITemporalSRelation |
Class Summary | |
---|---|
AbstractPrecedenceSConstraint | |
PrecedenceDisjoint | Let b be a boolean variables; x1, x2 be two integer variables and k1, k2 two integers. |
PrecedenceImplied | |
PrecedenceReified | b = 1 <=> x1 + k1 <= x2 b = 0 <=> x1 + k1 > x2 |
PrecedenceVDisjoint | if b is true then t1 ends before t2, otherwise t2 ends before t1. |
PrecedenceVSDisjoint | The precedence disjoint constraint with setup times and variable duration. |
VariablePrecedenceDisjoint | Let b be a boolean variables; x0, x1 be two integer variables and k1, k2 two integers. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |