C++ Reference
C++ Reference: Routing
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 1994 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) |
virtual void | VisitSetVariableValue (IntVar *const var, int64 value) |
virtual void | VisitSplitVariableDomain (IntVar *const var, int64 value, bool start_with_lower_half) |
virtual void | VisitScheduleOrPostpone (IntervalVar *const var, int64 est) |
virtual void | VisitScheduleOrExpedite (IntervalVar *const var, int64 est) |
virtual void | VisitRankFirstInterval (SequenceVar *const sequence, int index) |
virtual void | VisitRankLastInterval (SequenceVar *const sequence, int index) |
virtual void | VisitUnknownDecision () |
virtual std::string | DebugString () const |
Constructor & Destructor Documentation
◆ SymmetryBreaker()
|
inline |
Definition at line 1996 of file constraint_solveri.h.
◆ ~SymmetryBreaker()
|
inlineoverride |
Definition at line 1998 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 | ||
) |
◆ DebugString()
|
inlinevirtualinherited |
Reimplemented in ExchangeSubtrip, RelocateSubtrip, PairNodeSwapActiveOperator< swap_first >, RelocateExpensiveChain, FilteredHeuristicCloseNodesLNSOperator, FilteredHeuristicExpensiveChainLNSOperator, RelocatePathAndHeuristicInsertUnperformedOperator, FilteredHeuristicPathLNSOperator, IndexPairSwapActiveOperator, SwapIndexPairOperator, PairExchangeRelocateOperator, PairExchangeOperator, LightPairRelocateOperator, PairRelocateOperator, MakePairInactiveOperator, MakePairActiveOperator, MakeRelocateNeighborsOperator, CPFeasibilityFilter, IntVarFilteredDecisionBuilder, GlobalVehicleBreaksConstraint, ArrayWithOffset< T >, SearchLog, BooleanVar, LocalSearchMonitor, PropagationMonitor, LocalSearchFilterManager, DelayedCallMethod2< T, P, Q >, DelayedCallMethod1< T, P >, DelayedCallMethod0< T >, CallMethod3< T, P, Q, R >, CallMethod2< T, P, Q >, CallMethod1< T, P >, CallMethod0< T >, Pack, Assignment, SequenceVar, RegularLimit, SearchLimit, OptimizeVar, SolutionCollector, IntVarIterator, Constraint, Demon, DecisionBuilder, Decision, and PropagationBaseObject.
Definition at line 3156 of file constraint_solver.h.
◆ VisitRankFirstInterval()
|
virtualinherited |
◆ VisitRankLastInterval()
|
virtualinherited |
◆ VisitScheduleOrExpedite()
|
virtualinherited |
◆ VisitScheduleOrPostpone()
|
virtualinherited |
◆ VisitSetVariableValue()
|
virtualinherited |
◆ VisitSplitVariableDomain()
|
virtualinherited |
◆ VisitUnknownDecision()
|
virtualinherited |
The documentation for this class was generated from the following file: