operations_research::SymmetryManager Class Reference

Detailed Description

Definition at line 5411 of file search.cc.

Inheritance diagram for operations_research::SymmetryManager:

Public Member Functions
	SymmetryManager (Solver *const s, const std::vector< SymmetryBreaker * > &visitors)
	~SymmetryManager () override
void	EndNextDecision (DecisionBuilder *const, Decision *const d) override
	After calling DecisionBuilder::Next, along with the returned decision.
void	RefuteDecision (Decision *d) override
	Before refuting the decision.
void	CheckSymmetries (int index)
void	AddTermToClause (SymmetryBreaker *const visitor, IntVar *const term)
std::string	DebugString () const override
Public Member Functions inherited from operations_research::SearchMonitor
	SearchMonitor (Solver *const s)
	SearchMonitor (const SearchMonitor &)=delete
SearchMonitor &	operator= (const SearchMonitor &)=delete
	~SearchMonitor () override
virtual void	EnterSearch ()
	Beginning of the search.
virtual void	RestartSearch ()
	Restart the search.
virtual void	ExitSearch ()
	End of the search.
virtual void	BeginNextDecision (DecisionBuilder *b)
	Before calling DecisionBuilder::Next.
virtual void	ApplyDecision (Decision *d)
	Before applying the decision.
virtual void	AfterDecision (Decision *d, bool apply)
virtual void	BeginFail ()
	Just when the failure occurs.
virtual void	EndFail ()
	After completing the backtrack.
virtual void	BeginInitialPropagation ()
	Before the initial propagation.
virtual void	EndInitialPropagation ()
	After the initial propagation.
virtual bool	AcceptSolution ()
virtual bool	AtSolution ()
virtual void	NoMoreSolutions ()
	When the search tree is finished.
virtual bool	AtLocalOptimum ()
virtual bool	AcceptDelta (Assignment *delta, Assignment *deltadelta)
virtual void	AcceptNeighbor ()
	After accepting a neighbor during local search.
virtual void	AcceptUncheckedNeighbor ()
	After accepting an unchecked neighbor during local search.
virtual bool	IsUncheckedSolutionLimitReached ()
virtual void	PeriodicCheck ()
	Periodic call to check limits in long running methods.
virtual int	ProgressPercent ()
virtual void	Accept (ModelVisitor *visitor) const
	Accepts the given model visitor.
virtual void	Install ()
Solver *	solver () const
Public Member Functions inherited from operations_research::BaseObject
	BaseObject ()
	BaseObject (const BaseObject &)=delete
BaseObject &	operator= (const BaseObject &)=delete
virtual	~BaseObject ()=default

Additional Inherited Members
Static Public Attributes inherited from operations_research::SearchMonitor
static constexpr int	kNoProgress = -1
Protected Member Functions inherited from operations_research::SearchMonitor
void	ListenToEvent (Solver::MonitorEvent event)

Constructor & Destructor Documentation

SymmetryManager()

operations_research::SymmetryManager::SymmetryManager ( Solver *const s, const std::vector< SymmetryBreaker * > & visitors )

inline

Definition at line 5413 of file search.cc.

~SymmetryManager()

operations_research::SymmetryManager::~SymmetryManager ( )

inlineoverride

Definition at line 5425 of file search.cc.

Member Function Documentation

AddTermToClause()

void operations_research::SymmetryManager::AddTermToClause ( SymmetryBreaker *const visitor, IntVar *const term )

inline

Definition at line 5488 of file search.cc.

CheckSymmetries()

void operations_research::SymmetryManager::CheckSymmetries ( int index )

inline

Definition at line 5451 of file search.cc.

DebugString()

std::string operations_research::SymmetryManager::DebugString ( ) const

inlineoverridevirtual

Reimplemented from operations_research::BaseObject.

Definition at line 5492 of file search.cc.

EndNextDecision()

void operations_research::SymmetryManager::EndNextDecision ( DecisionBuilder * const b, Decision *const d )

inlineoverridevirtual

After calling DecisionBuilder::Next, along with the returned decision.

Reimplemented from operations_research::SearchMonitor.

Definition at line 5427 of file search.cc.

RefuteDecision()

void operations_research::SymmetryManager::RefuteDecision ( Decision * d )

inlineoverridevirtual

Before refuting the decision.

Reimplemented from operations_research::SearchMonitor.

Definition at line 5441 of file search.cc.

---

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

• ortools/constraint_solver/search.cc