C++ Reference: class SymmetryBreaker

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: void

Arguments: IntVar* const var, int64 value

AddIntegerVariableGreaterOrEqualValueClause

Return type: void

Arguments: IntVar* const var, int64 value

AddIntegerVariableLessOrEqualValueClause

Return type: void

Arguments: IntVar* const var, int64 value

SymmetryBreaker

~SymmetryBreaker