#include <constraint_solveri.h>

Inheritance diagram for operations_research::PropagationMonitor:

Public Member Functions
	PropagationMonitor (Solver *solver)
	-------— Propagation Monitor --------—

	~PropagationMonitor () override

std::string	DebugString () const override

virtual void	BeginConstraintInitialPropagation (Constraint *constraint)=0
	Propagation events.

virtual void	EndConstraintInitialPropagation (Constraint *constraint)=0

virtual void	BeginNestedConstraintInitialPropagation (Constraint parent, Constraint nested)=0

virtual void	EndNestedConstraintInitialPropagation (Constraint parent, Constraint nested)=0

virtual void	RegisterDemon (Demon *demon)=0

virtual void	BeginDemonRun (Demon *demon)=0

virtual void	EndDemonRun (Demon *demon)=0

virtual void	StartProcessingIntegerVariable (IntVar *var)=0

virtual void	EndProcessingIntegerVariable (IntVar *var)=0

virtual void	PushContext (const std::string &context)=0

virtual void	PopContext ()=0

virtual void	SetMin (IntExpr *expr, int64_t new_min)=0
	IntExpr modifiers.

virtual void	SetMax (IntExpr *expr, int64_t new_max)=0

virtual void	SetRange (IntExpr *expr, int64_t new_min, int64_t new_max)=0

virtual void	SetMin (IntVar *var, int64_t new_min)=0
	IntVar modifiers.

virtual void	SetMax (IntVar *var, int64_t new_max)=0

virtual void	SetRange (IntVar *var, int64_t new_min, int64_t new_max)=0

virtual void	RemoveValue (IntVar *var, int64_t value)=0

virtual void	SetValue (IntVar *var, int64_t value)=0

virtual void	RemoveInterval (IntVar *var, int64_t imin, int64_t imax)=0

virtual void	SetValues (IntVar *var, const std::vector< int64_t > &values)=0

virtual void	RemoveValues (IntVar *var, const std::vector< int64_t > &values)=0

virtual void	SetStartMin (IntervalVar *var, int64_t new_min)=0
	IntervalVar modifiers.

virtual void	SetStartMax (IntervalVar *var, int64_t new_max)=0

virtual void	SetStartRange (IntervalVar *var, int64_t new_min, int64_t new_max)=0

virtual void	SetEndMin (IntervalVar *var, int64_t new_min)=0

virtual void	SetEndMax (IntervalVar *var, int64_t new_max)=0

virtual void	SetEndRange (IntervalVar *var, int64_t new_min, int64_t new_max)=0

virtual void	SetDurationMin (IntervalVar *var, int64_t new_min)=0

virtual void	SetDurationMax (IntervalVar *var, int64_t new_max)=0

virtual void	SetDurationRange (IntervalVar *var, int64_t new_min, int64_t new_max)=0

virtual void	SetPerformed (IntervalVar *var, bool value)=0

virtual void	RankFirst (SequenceVar *var, int index)=0
	SequenceVar modifiers.

virtual void	RankNotFirst (SequenceVar *var, int index)=0

virtual void	RankLast (SequenceVar *var, int index)=0

virtual void	RankNotLast (SequenceVar *var, int index)=0

virtual void	RankSequence (SequenceVar *var, const std::vector< int > &rank_first, const std::vector< int > &rank_last, const std::vector< int > &unperformed)=0

void	Install () override
	Install itself on the solver.

Public Member Functions inherited from operations_research::SearchMonitor
	SearchMonitor (Solver *const s)

	SearchMonitor (const SearchMonitor &)=delete
	This type is neither copyable nor movable.

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	EndNextDecision (DecisionBuilder b, Decision d)
	After calling DecisionBuilder::Next, along with the returned decision.

virtual void	ApplyDecision (Decision *d)
	Before applying the decision.

virtual void	RefuteDecision (Decision *d)
	Before refuting 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	LocalOptimum ()

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.

Solver *	solver () const

Public Member Functions inherited from operations_research::BaseObject
	BaseObject ()

	BaseObject (const BaseObject &)=delete
	This type is neither copyable nor movable.

BaseObject &	operator= (const BaseObject &)=delete

virtual	~BaseObject ()

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)

Detailed Description

Definition at line 2206 of file constraint_solveri.h.

Constructor & Destructor Documentation

◆ PropagationMonitor()

operations_research::PropagationMonitor::PropagationMonitor ( Solver * solver )

explicit

-------— Propagation Monitor --------—

Definition at line 2919 of file constraint_solver.cc.

◆ ~PropagationMonitor()

operations_research::PropagationMonitor::~PropagationMonitor ( )

override

Definition at line 2922 of file constraint_solver.cc.

Member Function Documentation

◆ BeginConstraintInitialPropagation()

virtual void operations_research::PropagationMonitor::BeginConstraintInitialPropagation ( Constraint * constraint )

pure virtual

Propagation events.

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ BeginDemonRun()

virtual void operations_research::PropagationMonitor::BeginDemonRun ( Demon * demon )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ BeginNestedConstraintInitialPropagation()

virtual void operations_research::PropagationMonitor::BeginNestedConstraintInitialPropagation	(	Constraint *	parent,
		Constraint *	nested )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ DebugString()

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

inlineoverridevirtual

Reimplemented from operations_research::BaseObject.

Reimplemented in operations_research::Trace.

Definition at line 2210 of file constraint_solveri.h.

◆ EndConstraintInitialPropagation()

virtual void operations_research::PropagationMonitor::EndConstraintInitialPropagation ( Constraint * constraint )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ EndDemonRun()

virtual void operations_research::PropagationMonitor::EndDemonRun ( Demon * demon )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ EndNestedConstraintInitialPropagation()

virtual void operations_research::PropagationMonitor::EndNestedConstraintInitialPropagation	(	Constraint *	parent,
		Constraint *	nested )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ EndProcessingIntegerVariable()

virtual void operations_research::PropagationMonitor::EndProcessingIntegerVariable ( IntVar * var )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ Install()

void operations_research::PropagationMonitor::Install ( )

overridevirtual

Install itself on the solver.

A propagation monitor listens to search events as well as propagation events.

Reimplemented from operations_research::SearchMonitor.

Reimplemented in operations_research::Trace.

Definition at line 2925 of file constraint_solver.cc.

◆ PopContext()

virtual void operations_research::PropagationMonitor::PopContext ( )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ PushContext()

virtual void operations_research::PropagationMonitor::PushContext ( const std::string & context )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ RankFirst()

virtual void operations_research::PropagationMonitor::RankFirst	(	SequenceVar *	var,
		int	index )

pure virtual

SequenceVar modifiers.

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ RankLast()

virtual void operations_research::PropagationMonitor::RankLast	(	SequenceVar *	var,
		int	index )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ RankNotFirst()

virtual void operations_research::PropagationMonitor::RankNotFirst	(	SequenceVar *	var,
		int	index )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ RankNotLast()

virtual void operations_research::PropagationMonitor::RankNotLast	(	SequenceVar *	var,
		int	index )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ RankSequence()

virtual void operations_research::PropagationMonitor::RankSequence	(	SequenceVar *	var,
		const std::vector< int > &	rank_first,
		const std::vector< int > &	rank_last,
		const std::vector< int > &	unperformed )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ RegisterDemon()

virtual void operations_research::PropagationMonitor::RegisterDemon ( Demon * demon )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ RemoveInterval()

virtual void operations_research::PropagationMonitor::RemoveInterval	(	IntVar *	var,
		int64_t	imin,
		int64_t	imax )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ RemoveValue()

virtual void operations_research::PropagationMonitor::RemoveValue	(	IntVar *	var,
		int64_t	value )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ RemoveValues()

virtual void operations_research::PropagationMonitor::RemoveValues	(	IntVar *	var,
		const std::vector< int64_t > &	values )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetDurationMax()

virtual void operations_research::PropagationMonitor::SetDurationMax	(	IntervalVar *	var,
		int64_t	new_max )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetDurationMin()

virtual void operations_research::PropagationMonitor::SetDurationMin	(	IntervalVar *	var,
		int64_t	new_min )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetDurationRange()

virtual void operations_research::PropagationMonitor::SetDurationRange	(	IntervalVar *	var,
		int64_t	new_min,
		int64_t	new_max )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetEndMax()

virtual void operations_research::PropagationMonitor::SetEndMax	(	IntervalVar *	var,
		int64_t	new_max )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetEndMin()

virtual void operations_research::PropagationMonitor::SetEndMin	(	IntervalVar *	var,
		int64_t	new_min )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetEndRange()

virtual void operations_research::PropagationMonitor::SetEndRange	(	IntervalVar *	var,
		int64_t	new_min,
		int64_t	new_max )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetMax() [1/2]

virtual void operations_research::PropagationMonitor::SetMax	(	IntExpr *	expr,
		int64_t	new_max )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetMax() [2/2]

virtual void operations_research::PropagationMonitor::SetMax	(	IntVar *	var,
		int64_t	new_max )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetMin() [1/2]

virtual void operations_research::PropagationMonitor::SetMin	(	IntExpr *	expr,
		int64_t	new_min )

pure virtual

IntExpr modifiers.

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetMin() [2/2]

virtual void operations_research::PropagationMonitor::SetMin	(	IntVar *	var,
		int64_t	new_min )

pure virtual

IntVar modifiers.

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetPerformed()

virtual void operations_research::PropagationMonitor::SetPerformed	(	IntervalVar *	var,
		bool	value )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetRange() [1/2]

virtual void operations_research::PropagationMonitor::SetRange	(	IntExpr *	expr,
		int64_t	new_min,
		int64_t	new_max )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetRange() [2/2]

virtual void operations_research::PropagationMonitor::SetRange	(	IntVar *	var,
		int64_t	new_min,
		int64_t	new_max )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetStartMax()

virtual void operations_research::PropagationMonitor::SetStartMax	(	IntervalVar *	var,
		int64_t	new_max )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetStartMin()

virtual void operations_research::PropagationMonitor::SetStartMin	(	IntervalVar *	var,
		int64_t	new_min )

pure virtual

IntervalVar modifiers.

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetStartRange()

virtual void operations_research::PropagationMonitor::SetStartRange	(	IntervalVar *	var,
		int64_t	new_min,
		int64_t	new_max )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetValue()

virtual void operations_research::PropagationMonitor::SetValue	(	IntVar *	var,
		int64_t	value )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ SetValues()

virtual void operations_research::PropagationMonitor::SetValues	(	IntVar *	var,
		const std::vector< int64_t > &	values )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

◆ StartProcessingIntegerVariable()

virtual void operations_research::PropagationMonitor::StartProcessingIntegerVariable ( IntVar * var )

pure virtual

Implemented in operations_research::DemonProfiler, and operations_research::Trace.

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

ortools/constraint_solver/constraint_solveri.h
ortools/constraint_solver/constraint_solver.cc

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ PropagationMonitor()

◆ ~PropagationMonitor()

Member Function Documentation

◆ BeginConstraintInitialPropagation()

◆ BeginDemonRun()

◆ BeginNestedConstraintInitialPropagation()

◆ DebugString()

◆ EndConstraintInitialPropagation()

◆ EndDemonRun()

◆ EndNestedConstraintInitialPropagation()

◆ EndProcessingIntegerVariable()

◆ Install()

◆ PopContext()

◆ PushContext()

◆ RankFirst()

◆ RankLast()

◆ RankNotFirst()

◆ RankNotLast()

◆ RankSequence()

◆ RegisterDemon()

◆ RemoveInterval()

◆ RemoveValue()

◆ RemoveValues()

◆ SetDurationMax()

◆ SetDurationMin()

◆ SetDurationRange()

◆ SetEndMax()

◆ SetEndMin()

◆ SetEndRange()

◆ SetMax() [1/2]

◆ SetMax() [2/2]

◆ SetMin() [1/2]

◆ SetMin() [2/2]

◆ SetPerformed()

◆ SetRange() [1/2]

◆ SetRange() [2/2]

◆ SetStartMax()

◆ SetStartMin()

◆ SetStartRange()

◆ SetValue()

◆ SetValues()

◆ StartProcessingIntegerVariable()