Package minicp.engine.core
Class ConstraintClosure
java.lang.Object
minicp.engine.core.AbstractConstraint
minicp.engine.core.ConstraintClosure
- All Implemented Interfaces:
Constraint
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class minicp.engine.core.AbstractConstraint
getSolver, isActive, isScheduled, setActive, setScheduled
-
Constructor Details
-
ConstraintClosure
-
-
Method Details
-
post
public void post()Description copied from interface:ConstraintInitializes the constraint when it is posted to the solver.- Specified by:
postin interfaceConstraint- Overrides:
postin classAbstractConstraint
-
propagate
public void propagate()Description copied from interface:ConstraintPropagates the constraint.- Specified by:
propagatein interfaceConstraint- Overrides:
propagatein classAbstractConstraint
-