SymmetryBreaker

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 2005 of file constraint_solveri.h.

Public Member Functions
	SymmetryBreaker ()
	~SymmetryBreaker () override
void	AddIntegerVariableEqualValueClause (IntVar *const var, int64_t value)
void	AddIntegerVariableGreaterOrEqualValueClause (IntVar *const var, int64_t value)
void	AddIntegerVariableLessOrEqualValueClause (IntVar *const var, int64_t value)
virtual void	VisitSetVariableValue (IntVar *const var, int64_t value)
virtual void	VisitSplitVariableDomain (IntVar *const var, int64_t value, bool start_with_lower_half)
virtual void	VisitScheduleOrPostpone (IntervalVar *const var, int64_t est)
virtual void	VisitScheduleOrExpedite (IntervalVar *const var, int64_t 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()

SymmetryBreaker ( )

inline

Definition at line 2007 of file constraint_solveri.h.

~SymmetryBreaker()

~SymmetryBreaker ( )

inlineoverride

Definition at line 2009 of file constraint_solveri.h.

Member Function Documentation

AddIntegerVariableEqualValueClause()

void AddIntegerVariableEqualValueClause	(	IntVar *const	var,
		int64_t	value
	)

AddIntegerVariableGreaterOrEqualValueClause()

void AddIntegerVariableGreaterOrEqualValueClause	(	IntVar *const	var,
		int64_t	value
	)

AddIntegerVariableLessOrEqualValueClause()

void AddIntegerVariableLessOrEqualValueClause	(	IntVar *const	var,
		int64_t	value
	)

DebugString()

virtual std::string DebugString ( ) const

inlinevirtualinherited

Reimplemented in ExchangeSubtrip, RelocateSubtrip, PairNodeSwapActiveOperator< swap_first >, RelocateExpensiveChain, FilteredHeuristicCloseNodesLNSOperator, FilteredHeuristicExpensiveChainLNSOperator, RelocatePathAndHeuristicInsertUnperformedOperator, FilteredHeuristicPathLNSOperator, IndexPairSwapActiveOperator, SwapIndexPairOperator, PairExchangeRelocateOperator, PairExchangeOperator, LightPairRelocateOperator, GroupPairAndRelocateOperator, PairRelocateOperator, MakePairInactiveOperator, MakePairActiveOperator, SwapActiveToShortestPathOperator, MakeRelocateNeighborsOperator, GlobalVehicleBreaksConstraint, ArrayWithOffset< T >, SearchLog, BooleanVar, LocalSearchMonitor, PropagationMonitor, LocalSearchFilterManager, LightIntIntFunctionElementCt< F >, LightIntFunctionElementCt< F >, 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, ProfiledDecisionBuilder, DecisionBuilder, Decision, and PropagationBaseObject.

Definition at line 3251 of file constraint_solver.h.

VisitRankFirstInterval()

virtual void VisitRankFirstInterval ( SequenceVar *const  sequence, int  index  )

virtualinherited

VisitRankLastInterval()

virtual void VisitRankLastInterval ( SequenceVar *const  sequence, int  index  )

virtualinherited

VisitScheduleOrExpedite()

virtual void VisitScheduleOrExpedite ( IntervalVar *const  var, int64_t  est  )

virtualinherited

VisitScheduleOrPostpone()

virtual void VisitScheduleOrPostpone ( IntervalVar *const  var, int64_t  est  )

virtualinherited

VisitSetVariableValue()

virtual void VisitSetVariableValue ( IntVar *const  var, int64_t  value  )

virtualinherited

VisitSplitVariableDomain()

virtual void VisitSplitVariableDomain ( IntVar *const  var, int64_t  value, bool  start_with_lower_half  )

virtualinherited

VisitUnknownDecision()

virtual void VisitUnknownDecision ( )

virtualinherited

---

The documentation for this class was generated from the following file:

• constraint_solveri.h