Stay organized with collections
Save and categorize content based on your preferences.
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.
[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2024-08-06 UTC."],[[["A SymmetryBreaker object in constraint programming helps avoid exploring redundant, symmetrical solutions by identifying and excluding them."],["It achieves this by visiting a decision and generating its symmetrical counterpart, essentially representing a class of symmetry."],["The `SymmetryBreaker` class offers methods like `AddIntegerVariableEqualValueClause`, `AddIntegerVariableGreaterOrEqualValueClause`, and `AddIntegerVariableLessOrEqualValueClause` to define constraints related to integer variables and their values, which contribute to breaking symmetries."]]],[]]
