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 3372 of file constraint_solveri.h.
|
| SymmetryBreaker () |
| ~SymmetryBreaker () override |
void | AddIntegerVariableEqualValueClause (IntVar *var, int64_t value) |
| --— Symmetry Breaker --—
|
void | AddIntegerVariableGreaterOrEqualValueClause (IntVar *var, int64_t value) |
void | AddIntegerVariableLessOrEqualValueClause (IntVar *var, int64_t value) |
| DecisionVisitor () |
| DecisionVisitor (const DecisionVisitor &)=delete |
| This type is neither copyable nor movable.
|
DecisionVisitor & | operator= (const DecisionVisitor &)=delete |
| ~DecisionVisitor () override |
virtual void | VisitSetVariableValue (IntVar *var, int64_t value) |
virtual void | VisitSplitVariableDomain (IntVar *var, int64_t value, bool start_with_lower_half) |
virtual void | VisitScheduleOrPostpone (IntervalVar *var, int64_t est) |
virtual void | VisitScheduleOrExpedite (IntervalVar *var, int64_t est) |
virtual void | VisitRankFirstInterval (SequenceVar *sequence, int index) |
virtual void | VisitRankLastInterval (SequenceVar *sequence, int index) |
virtual void | VisitUnknownDecision () |
| BaseObject () |
| BaseObject (const BaseObject &)=delete |
| This type is neither copyable nor movable.
|
BaseObject & | operator= (const BaseObject &)=delete |
virtual | ~BaseObject ()=default |
virtual std::string | DebugString () const |