C++ Reference: class SymmetryBreaker
Note: This documentation is automatically generated.
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.Method | |
---|---|
AddIntegerVariableEqualValueClause | Return type: Arguments: |
AddIntegerVariableGreaterOrEqualValueClause | Return type: Arguments: |
AddIntegerVariableLessOrEqualValueClause | Return type: Arguments: |
SymmetryBreaker | |
~SymmetryBreaker |