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

Detailed Description

Definition at line 475 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
 
virtual bool IsEmpty () 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 477 of file sat_base.h.

◆ ~SatPropagator()

virtual ~SatPropagator ( )
inlinevirtual

Definition at line 479 of file sat_base.h.

Member Function Documentation

◆ IsEmpty()

virtual bool IsEmpty ( ) const
inlinevirtual

Reimplemented in PbConstraints, and BinaryImplicationGraph.

Definition at line 538 of file sat_base.h.

◆ Propagate()

virtual bool Propagate ( Trail *  trail)
pure virtual

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

◆ PropagatePreconditionsAreSatisfied()

bool PropagatePreconditionsAreSatisfied ( const Trail &  trail) const
inline

Definition at line 553 of file sat_base.h.

◆ PropagationIsDone()

bool PropagationIsDone ( const Trail &  trail) const
inline

Definition at line 530 of file sat_base.h.

◆ PropagatorId()

int PropagatorId ( ) const
inline

Definition at line 483 of file sat_base.h.

◆ Reason()

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

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

Definition at line 519 of file sat_base.h.

◆ SetPropagatorId()

void SetPropagatorId ( int  id)
inline

Definition at line 482 of file sat_base.h.

◆ Untrail()

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

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

Definition at line 505 of file sat_base.h.

Member Data Documentation

◆ name_

const std::string name_
protected

Definition at line 541 of file sat_base.h.

◆ propagation_trail_index_

int propagation_trail_index_
protected

Definition at line 543 of file sat_base.h.

◆ propagator_id_

int propagator_id_
protected

Definition at line 542 of file sat_base.h.

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