Java Reference
Java Reference
Constraint
Detailed Description
Wrapper around a ConstraintProto.
Constraints created by the CpModel class are automatically added to the model. One needs this class to add an enforcement literal to a constraint.
Definition at line 25 of file Constraint.java.
Public Member Functions | |
Constraint (CpModelProto.Builder builder) | |
void | onlyEnforceIf (Literal lit) |
Adds a literal to the constraint. More... | |
void | onlyEnforceIf (Literal[] lits) |
Adds a list of literals to the constraint. More... | |
int | getIndex () |
Returns the index of the constraint in the model. More... | |
ConstraintProto.Builder | getBuilder () |
Returns the constraint builder. More... | |
Constructor & Destructor Documentation
◆ Constraint()
Constraint | ( | CpModelProto.Builder | builder | ) |
Definition at line 26 of file Constraint.java.
Member Function Documentation
◆ getBuilder()
ConstraintProto.Builder getBuilder | ( | ) |
Returns the constraint builder.
Definition at line 49 of file Constraint.java.
◆ getIndex()
int getIndex | ( | ) |
Returns the index of the constraint in the model.
Definition at line 44 of file Constraint.java.
◆ onlyEnforceIf() [1/2]
void onlyEnforceIf | ( | Literal | lit | ) |
Adds a literal to the constraint.
Definition at line 32 of file Constraint.java.
◆ onlyEnforceIf() [2/2]
void onlyEnforceIf | ( | Literal[] | lits | ) |
Adds a list of literals to the constraint.
Definition at line 37 of file Constraint.java.
The documentation for this class was generated from the following file: