Java Reference
Java Reference
gen/com/google/ortools/constraintsolver/Constraint.java
A constraint is the main modeling object.
String toString()
void postAndPropagate()
Calls Post and then Propagate to initialize the constraints.
void post()
This method is called when the constraint is processed by the solver.
IntVar var()
Creates a Boolean variable representing the status of the constraint (false = constraint is violated,...
The class IntVar is a subset of IntExpr.
void accept(ModelVisitor visitor)
Accepts the given visitor.
Constraint(long cPtr, boolean cMemoryOwn)
NOLINT The PropagationBaseObject is a subclass of BaseObject that is also friend to the Solver class.
Definition: PropagationBaseObject.java:14
void initialPropagate()
This method performs the initial propagation of the constraint.
boolean isCastConstraint()
Is the constraint created by a cast from expression to integer variable?