Java Reference
Java Reference
java/com/google/ortools/sat/Constraint.java
Constraint(CpModelProto.Builder builder)
Definition: java/com/google/ortools/sat/Constraint.java:26
Wrapper around a ConstraintProto.
Definition: java/com/google/ortools/sat/Constraint.java:25
int getIndex()
Returns the index of the constraint in the model.
Definition: java/com/google/ortools/sat/Constraint.java:44
ConstraintProto.Builder getBuilder()
Returns the constraint builder.
Definition: java/com/google/ortools/sat/Constraint.java:49
void onlyEnforceIf(Literal lit)
Adds a literal to the constraint.
Definition: java/com/google/ortools/sat/Constraint.java:32
void onlyEnforceIf(Literal[] lits)
Adds a list of literals to the constraint.
Definition: java/com/google/ortools/sat/Constraint.java:37
Interface to describe a boolean variable or its negation.
Definition: Literal.java:17
int getIndex()