Java Reference
Java Reference
CircuitConstraint
Detailed Description
Specialized circuit constraint.
This constraint allows adding arcs to the circuit constraint incrementally.
Definition at line 24 of file CircuitConstraint.java.
Public Member Functions | |
| CircuitConstraint (CpModelProto.Builder builder) | |
| CircuitConstraint | addArc (int tail, int head, Literal literal) |
| Add an arc to the graph of the circuit constraint. More... | |
| 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
◆ CircuitConstraint()
| CircuitConstraint | ( | CpModelProto.Builder | builder | ) |
Definition at line 25 of file CircuitConstraint.java.
Member Function Documentation
◆ addArc()
| CircuitConstraint addArc | ( | int | tail, |
| int | head, | ||
| Literal | literal | ||
| ) |
Add an arc to the graph of the circuit constraint.
- Parameters
-
tail the index of the tail node. head the index of the head node. literal it will be set to true if the arc is selected.
Definition at line 36 of file CircuitConstraint.java.
◆ getBuilder()
|
inherited |
Returns the constraint builder.
Definition at line 49 of file Constraint.java.
◆ getIndex()
|
inherited |
Returns the index of the constraint in the model.
Definition at line 44 of file Constraint.java.
◆ onlyEnforceIf() [1/2]
|
inherited |
Adds a literal to the constraint.
Definition at line 32 of file Constraint.java.
◆ onlyEnforceIf() [2/2]
|
inherited |
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: