Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::GenericLiteralWatcher Class Referencefinal

Detailed Description

Definition at line 1324 of file integer.h.

#include <integer.h>

Inheritance diagram for operations_research::sat::GenericLiteralWatcher:
operations_research::sat::SatPropagator

Public Member Functions

 GenericLiteralWatcher (Model *model)
 GenericLiteralWatcher (const GenericLiteralWatcher &)=delete
GenericLiteralWatcher & operator= (const GenericLiteralWatcher &)=delete
 ~GenericLiteralWatcher () final=default
void ReserveSpaceForNumVariables (int num_vars)
bool Propagate (Trail *trail) final
void Untrail (const Trail &trail, int literal_trail_index) final
int Register (PropagatorInterface *propagator)
void SetPropagatorPriority (int id, int priority)
void NotifyThatPropagatorMayNotReachFixedPointInOnePass (int id)
void AlwaysCallAtLevelZero (int id)
void WatchLiteral (Literal l, int id, int watch_index=-1)
void WatchLowerBound (IntegerVariable var, int id, int watch_index=-1)
void WatchUpperBound (IntegerVariable var, int id, int watch_index=-1)
void WatchIntegerVariable (IntegerVariable i, int id, int watch_index=-1)
void WatchLowerBound (AffineExpression e, int id)
void WatchUpperBound (AffineExpression e, int id)
void WatchAffineExpression (AffineExpression e, int id)
void WatchLowerBound (IntegerValue, int)
void WatchUpperBound (IntegerValue, int)
void WatchIntegerVariable (IntegerValue, int)
void RegisterReversibleClass (int id, ReversibleInterface *rev)
void RegisterReversibleInt (int id, int *rev)
void SetUntilNextBacktrack (bool *is_in_dive)
int NumPropagators () const
void RegisterLevelZeroModifiedVariablesCallback (const std::function< void(const std::vector< IntegerVariable > &)> cb)
void SetStopPropagationCallback (std::function< bool()> callback)
int GetCurrentId () const
void CallOnNextPropagate (int id)
void CallAgainDuringThisPropagation ()
Public Member Functions inherited from operations_research::sat::SatPropagator
 SatPropagator (const std::string &name)
 SatPropagator (const SatPropagator &)=delete
SatPropagator & operator= (const SatPropagator &)=delete
virtual ~SatPropagator ()=default
void SetPropagatorId (int id)
int PropagatorId () const
virtual void Reimply (Trail *, int)
virtual absl::Span< const Literal > Reason (const Trail &, int, int64_t) const
bool PropagatePreconditionsAreSatisfied (const Trail &trail) const
bool PropagationIsDone (const Trail &trail) const
const std::string & name () const
virtual bool IsEmpty () const

Additional Inherited Members

Protected Attributes inherited from operations_research::sat::SatPropagator
const std::string name_
int propagator_id_
int propagation_trail_index_

Constructor & Destructor Documentation

◆ GenericLiteralWatcher() [1/2]

operations_research::sat::GenericLiteralWatcher::GenericLiteralWatcher ( Model * model)
explicit

Definition at line 2428 of file integer.cc.

◆ GenericLiteralWatcher() [2/2]

operations_research::sat::GenericLiteralWatcher::GenericLiteralWatcher ( const GenericLiteralWatcher & )
delete

◆ ~GenericLiteralWatcher()

operations_research::sat::GenericLiteralWatcher::~GenericLiteralWatcher ( )
finaldefault

Member Function Documentation

◆ AlwaysCallAtLevelZero()

void operations_research::sat::GenericLiteralWatcher::AlwaysCallAtLevelZero ( int id)

Definition at line 2712 of file integer.cc.

◆ CallAgainDuringThisPropagation()

void operations_research::sat::GenericLiteralWatcher::CallAgainDuringThisPropagation ( )
inline

Definition at line 1471 of file integer.h.

◆ CallOnNextPropagate()

void operations_research::sat::GenericLiteralWatcher::CallOnNextPropagate ( int id)

Definition at line 2449 of file integer.cc.

◆ GetCurrentId()

int operations_research::sat::GenericLiteralWatcher::GetCurrentId ( ) const
inline

Definition at line 1461 of file integer.h.

◆ NotifyThatPropagatorMayNotReachFixedPointInOnePass()

void operations_research::sat::GenericLiteralWatcher::NotifyThatPropagatorMayNotReachFixedPointInOnePass ( int id)

Definition at line 2707 of file integer.cc.

◆ NumPropagators()

int operations_research::sat::GenericLiteralWatcher::NumPropagators ( ) const
inline

Definition at line 1433 of file integer.h.

◆ operator=()

GenericLiteralWatcher & operations_research::sat::GenericLiteralWatcher::operator= ( const GenericLiteralWatcher & )
delete

◆ Propagate()

bool operations_research::sat::GenericLiteralWatcher::Propagate ( Trail * trail)
finalvirtual

Implements operations_research::sat::SatPropagator.

Definition at line 2492 of file integer.cc.

◆ Register()

int operations_research::sat::GenericLiteralWatcher::Register ( PropagatorInterface * propagator)

Definition at line 2674 of file integer.cc.

◆ RegisterLevelZeroModifiedVariablesCallback()

void operations_research::sat::GenericLiteralWatcher::RegisterLevelZeroModifiedVariablesCallback ( const std::function< void(const std::vector< IntegerVariable > &)> cb)
inline

Definition at line 1444 of file integer.h.

◆ RegisterReversibleClass()

void operations_research::sat::GenericLiteralWatcher::RegisterReversibleClass ( int id,
ReversibleInterface * rev )

Definition at line 2716 of file integer.cc.

◆ RegisterReversibleInt()

void operations_research::sat::GenericLiteralWatcher::RegisterReversibleInt ( int id,
int * rev )

Definition at line 2722 of file integer.cc.

◆ ReserveSpaceForNumVariables()

void operations_research::sat::GenericLiteralWatcher::ReserveSpaceForNumVariables ( int num_vars)

Definition at line 2445 of file integer.cc.

◆ SetPropagatorPriority()

void operations_research::sat::GenericLiteralWatcher::SetPropagatorPriority ( int id,
int priority )

Definition at line 2700 of file integer.cc.

◆ SetStopPropagationCallback()

void operations_research::sat::GenericLiteralWatcher::SetStopPropagationCallback ( std::function< bool()> callback)
inline

Definition at line 1454 of file integer.h.

◆ SetUntilNextBacktrack()

void operations_research::sat::GenericLiteralWatcher::SetUntilNextBacktrack ( bool * is_in_dive)
inline

Definition at line 1425 of file integer.h.

◆ Untrail()

void operations_research::sat::GenericLiteralWatcher::Untrail ( const Trail & trail,
int literal_trail_index )
finalvirtual

Reimplemented from operations_research::sat::SatPropagator.

Definition at line 2639 of file integer.cc.

◆ WatchAffineExpression()

void operations_research::sat::GenericLiteralWatcher::WatchAffineExpression ( AffineExpression e,
int id )
inline

Definition at line 1382 of file integer.h.

◆ WatchIntegerVariable() [1/2]

void operations_research::sat::GenericLiteralWatcher::WatchIntegerVariable ( IntegerValue ,
int  )
inline

Definition at line 1390 of file integer.h.

◆ WatchIntegerVariable() [2/2]

void operations_research::sat::GenericLiteralWatcher::WatchIntegerVariable ( IntegerVariable i,
int id,
int watch_index = -1 )
inline

Definition at line 1740 of file integer.h.

◆ WatchLiteral()

void operations_research::sat::GenericLiteralWatcher::WatchLiteral ( Literal l,
int id,
int watch_index = -1 )
inline

Definition at line 1708 of file integer.h.

◆ WatchLowerBound() [1/3]

void operations_research::sat::GenericLiteralWatcher::WatchLowerBound ( AffineExpression e,
int id )
inline

Definition at line 1376 of file integer.h.

◆ WatchLowerBound() [2/3]

void operations_research::sat::GenericLiteralWatcher::WatchLowerBound ( IntegerValue ,
int  )
inline

Definition at line 1388 of file integer.h.

◆ WatchLowerBound() [3/3]

void operations_research::sat::GenericLiteralWatcher::WatchLowerBound ( IntegerVariable var,
int id,
int watch_index = -1 )
inline

Definition at line 1716 of file integer.h.

◆ WatchUpperBound() [1/3]

void operations_research::sat::GenericLiteralWatcher::WatchUpperBound ( AffineExpression e,
int id )
inline

Definition at line 1379 of file integer.h.

◆ WatchUpperBound() [2/3]

void operations_research::sat::GenericLiteralWatcher::WatchUpperBound ( IntegerValue ,
int  )
inline

Definition at line 1389 of file integer.h.

◆ WatchUpperBound() [3/3]

void operations_research::sat::GenericLiteralWatcher::WatchUpperBound ( IntegerVariable var,
int id,
int watch_index = -1 )
inline

Definition at line 1734 of file integer.h.

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