C++ Reference: class Constraint

This documentation is automatically generated.

A constraint is the main modeling object. It provides two methods:
   - Post() is responsible for creating the demons and attaching them to immediate demons().
   - InitialPropagate() is called once just after Post and performs the initial propagation. The subsequent propagations will be performed by the demons Posted during the post() method.
Method
Accept

Return type: virtual void

Arguments: ModelVisitor* const visitor

Accepts the given visitor.

Constraint

Return type: explicit

Arguments: Solver* const solver

~Constraint

DebugString

Return type: std::string

InitialPropagate

Return type: virtual void

This method performs the initial propagation of the constraint. It is called just after the post.

IsCastConstraint

Return type: bool

Is the constraint created by a cast from expression to integer variable?

Post

Return type: virtual void

This method is called when the constraint is processed by the solver. Its main usage is to attach demons to variables.

PostAndPropagate

Return type: void

Calls Post and then Propagate to initialize the constraints. This is usually done in the root node.

Var

Return type: virtual IntVar*

Creates a Boolean variable representing the status of the constraint (false = constraint is violated, true = constraint is satisfied). It returns nullptr if the constraint does not support this API.