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

Detailed Description

Definition at line 784 of file sat_base.h.

#include <sat_base.h>

Inheritance diagram for operations_research::sat::SatPropagator:
operations_research::sat::BinaryImplicationGraph operations_research::sat::ClauseManager operations_research::sat::EnforcementPropagator operations_research::sat::GenericLiteralWatcher operations_research::sat::IntegerTrail operations_research::sat::PbConstraints operations_research::sat::PrecedencesPropagator operations_research::sat::SymmetryPropagator

Public Member Functions

 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 bool Propagate (Trail *trail)=0
virtual void Untrail (const Trail &, int trail_index)
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

Protected Attributes

const std::string name_
int propagator_id_
int propagation_trail_index_

Constructor & Destructor Documentation

◆ SatPropagator() [1/2]

operations_research::sat::SatPropagator::SatPropagator ( const std::string & name)
inlineexplicit

Definition at line 786 of file sat_base.h.

◆ SatPropagator() [2/2]

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

◆ ~SatPropagator()

virtual operations_research::sat::SatPropagator::~SatPropagator ( )
virtualdefault

Member Function Documentation

◆ IsEmpty()

virtual bool operations_research::sat::SatPropagator::IsEmpty ( ) const
inlinevirtual

Reimplemented in operations_research::sat::BinaryImplicationGraph, and operations_research::sat::PbConstraints.

Definition at line 868 of file sat_base.h.

◆ name()

const std::string & operations_research::sat::SatPropagator::name ( ) const
inline

Definition at line 862 of file sat_base.h.

◆ operator=()

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

◆ Propagate()

virtual bool operations_research::sat::SatPropagator::Propagate ( Trail * trail)
pure virtual

Implemented in operations_research::sat::BinaryImplicationGraph, operations_research::sat::ClauseManager, operations_research::sat::EnforcementPropagator, operations_research::sat::GenericLiteralWatcher, operations_research::sat::IntegerTrail, operations_research::sat::PbConstraints, operations_research::sat::PrecedencesPropagator, and operations_research::sat::SymmetryPropagator.

◆ PropagatePreconditionsAreSatisfied()

bool operations_research::sat::SatPropagator::PropagatePreconditionsAreSatisfied ( const Trail & trail) const
inline

Definition at line 880 of file sat_base.h.

◆ PropagationIsDone()

bool operations_research::sat::SatPropagator::PropagationIsDone ( const Trail & trail) const
inline

Definition at line 858 of file sat_base.h.

◆ PropagatorId()

int operations_research::sat::SatPropagator::PropagatorId ( ) const
inline

Definition at line 796 of file sat_base.h.

◆ Reason()

virtual absl::Span< const Literal > operations_research::sat::SatPropagator::Reason ( const Trail & ,
int ,
int64_t  ) const
inlinevirtual

Reimplemented in operations_research::sat::BinaryImplicationGraph, operations_research::sat::ClauseManager, operations_research::sat::IntegerTrail, operations_research::sat::PbConstraints, and operations_research::sat::SymmetryPropagator.

Definition at line 846 of file sat_base.h.

◆ Reimply()

virtual void operations_research::sat::SatPropagator::Reimply ( Trail * ,
int  )
inlinevirtual

Reimplemented in operations_research::sat::BinaryImplicationGraph, and operations_research::sat::ClauseManager.

Definition at line 826 of file sat_base.h.

◆ SetPropagatorId()

void operations_research::sat::SatPropagator::SetPropagatorId ( int id)
inline

Definition at line 795 of file sat_base.h.

◆ Untrail()

virtual void operations_research::sat::SatPropagator::Untrail ( const Trail & ,
int trail_index )
inlinevirtual

Reimplemented in operations_research::sat::EnforcementPropagator, operations_research::sat::GenericLiteralWatcher, operations_research::sat::IntegerTrail, operations_research::sat::PbConstraints, operations_research::sat::PrecedencesPropagator, and operations_research::sat::SymmetryPropagator.

Definition at line 818 of file sat_base.h.

Member Data Documentation

◆ name_

const std::string operations_research::sat::SatPropagator::name_
protected

Definition at line 871 of file sat_base.h.

◆ propagation_trail_index_

int operations_research::sat::SatPropagator::propagation_trail_index_
protected

Definition at line 873 of file sat_base.h.

◆ propagator_id_

int operations_research::sat::SatPropagator::propagator_id_
protected

Definition at line 872 of file sat_base.h.

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