java.lang.Object
org.maxicp.cp.engine.core.AbstractCPConstraint
org.maxicp.cp.engine.constraints.scheduling.IsEndBeforeEnd
- All Implemented Interfaces:
CPConstraint,ConcreteConstraint<ConcreteCPModel>
Reified is end before start constraint
-
Constructor Summary
ConstructorsConstructorDescriptionIsEndBeforeEnd(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore) Creates a constraint that link a boolean variable representing whether an interval ends before the end of another one -
Method Summary
Methods inherited from class org.maxicp.cp.engine.core.AbstractCPConstraint
getSolver, isActive, isScheduled, priority, registerDelta, setActive, setScheduled, updateDeltas
-
Constructor Details
-
IsEndBeforeEnd
Creates a constraint that link a boolean variable representing whether an interval ends before the end of another one- Parameters:
a- left hand side of the end before end operatorb- right hand side of the end before end operatorisBefore- a boolean variable that is true if and only if the end of a comes before or at the same time as the end of b- See Also:
-
-
Method Details
-
post
public void post()Description copied from interface:CPConstraintInitializes the constraint when it is posted to the solver.- Specified by:
postin interfaceCPConstraint- Overrides:
postin classAbstractCPConstraint
-
propagate
public void propagate()Description copied from interface:CPConstraintPropagates the constraint.- Specified by:
propagatein interfaceCPConstraint- Overrides:
propagatein classAbstractCPConstraint
-