OR-Tools  8.2
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 LiteralReason (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()

◆ 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 SymmetryPropagator, PbConstraints, IntegerTrail, BinaryImplicationGraph, and LiteralWatchers.

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

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: