Package choco.cp.solver.constraints.global.scheduling.precedence

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.
 



Copyright © 2012. All Rights Reserved.