C++ Reference
C++ Reference: Routing
SymmetryBreaker
Detailed Description
A symmetry breaker is an object that will visit a decision and create the 'symmetrical' decision in return.
Each symmetry breaker represents one class of symmetry.
Definition at line 1978 of file constraint_solveri.h.
Public Member Functions | |
| SymmetryBreaker () | |
| ~SymmetryBreaker () override | |
| void | AddIntegerVariableEqualValueClause (IntVar *const var, int64 value) |
| void | AddIntegerVariableGreaterOrEqualValueClause (IntVar *const var, int64 value) |
| void | AddIntegerVariableLessOrEqualValueClause (IntVar *const var, int64 value) |
Constructor & Destructor Documentation
◆ SymmetryBreaker()
|
inline |
Definition at line 1980 of file constraint_solveri.h.
◆ ~SymmetryBreaker()
|
inlineoverride |
Definition at line 1982 of file constraint_solveri.h.
Member Function Documentation
◆ AddIntegerVariableEqualValueClause()
| void AddIntegerVariableEqualValueClause | ( | IntVar *const | var, |
| int64 | value | ||
| ) |
◆ AddIntegerVariableGreaterOrEqualValueClause()
| void AddIntegerVariableGreaterOrEqualValueClause | ( | IntVar *const | var, |
| int64 | value | ||
| ) |
◆ AddIntegerVariableLessOrEqualValueClause()
| void AddIntegerVariableLessOrEqualValueClause | ( | IntVar *const | var, |
| int64 | value | ||
| ) |
The documentation for this class was generated from the following file: