OR-Tools  8.2
Public Member Functions | Protected Attributes | List of all members
SatPropagatorabstract

Detailed Description

Definition at line 445 of file sat_base.h.

Public Member Functions

 SatPropagator (const std::string &name)
 
virtual ~SatPropagator ()
 
void SetPropagatorId (int id)
 
int PropagatorId () const
 
virtual bool Propagate (Trail *trail)=0
 
virtual void Untrail (const Trail &trail, int trail_index)
 
virtual absl::Span< const Literal > Reason (const Trail &trail, int trail_index) const
 
bool PropagatePreconditionsAreSatisfied (const Trail &trail) const
 
bool PropagationIsDone (const Trail &trail) const
 

Protected Attributes

const std::string name_
 
int propagator_id_
 
int propagation_trail_index_
 

Constructor & Destructor Documentation

◆ SatPropagator()

SatPropagator ( const std::string &  name)
inlineexplicit

Definition at line 447 of file sat_base.h.

◆ ~SatPropagator()

virtual ~SatPropagator ( )
inlinevirtual

Definition at line 449 of file sat_base.h.

Member Function Documentation

◆ Propagate()

virtual bool Propagate ( Trail *  trail)
pure virtual

Implemented in LiteralWatchers, BinaryImplicationGraph, IntegerTrail, GenericLiteralWatcher, PbConstraints, PrecedencesPropagator, and SymmetryPropagator.

◆ PropagatePreconditionsAreSatisfied()

bool PropagatePreconditionsAreSatisfied ( const Trail &  trail) const
inline

Definition at line 517 of file sat_base.h.

◆ PropagationIsDone()

bool PropagationIsDone ( const Trail &  trail) const
inline

Definition at line 500 of file sat_base.h.

◆ PropagatorId()

int PropagatorId ( ) const
inline

Definition at line 453 of file sat_base.h.

◆ Reason()

virtual absl::Span< const Literal > Reason ( const Trail &  trail,
int  trail_index 
) const
inlinevirtual

Reimplemented in LiteralWatchers, BinaryImplicationGraph, IntegerTrail, PbConstraints, and SymmetryPropagator.

Definition at line 489 of file sat_base.h.

◆ SetPropagatorId()

void SetPropagatorId ( int  id)
inline

Definition at line 452 of file sat_base.h.

◆ Untrail()

virtual void Untrail ( const Trail &  trail,
int  trail_index 
)
inlinevirtual

Reimplemented in IntegerTrail, GenericLiteralWatcher, PbConstraints, PrecedencesPropagator, and SymmetryPropagator.

Definition at line 475 of file sat_base.h.

Member Data Documentation

◆ name_

const std::string name_
protected

Definition at line 505 of file sat_base.h.

◆ propagation_trail_index_

int propagation_trail_index_
protected

Definition at line 507 of file sat_base.h.

◆ propagator_id_

int propagator_id_
protected

Definition at line 506 of file sat_base.h.

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