Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::PropagationMonitor Class Referenceabstract

Detailed Description

Definition at line 3230 of file constraint_solveri.h.

#include <constraint_solveri.h>

Inheritance diagram for operations_research::PropagationMonitor:
operations_research::SearchMonitor operations_research::BaseObject operations_research::DemonProfiler operations_research::Trace

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 ()=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

◆ PropagationMonitor()

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

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

Definition at line 2920 of file constraint_solver.cc.

◆ ~PropagationMonitor()

operations_research::PropagationMonitor::~PropagationMonitor ( )
override

Definition at line 2923 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 3234 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 2926 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: