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

Detailed Description

Definition at line 65 of file old_precedences_propagator.h.

#include <old_precedences_propagator.h>

Inheritance diagram for operations_research::sat::PrecedencesPropagator:
operations_research::sat::SatPropagator operations_research::sat::PropagatorInterface

Public Member Functions

 PrecedencesPropagator (Model *model)
 PrecedencesPropagator (const PrecedencesPropagator &)=delete
PrecedencesPropagator & operator= (const PrecedencesPropagator &)=delete
 ~PrecedencesPropagator () override
bool Propagate () final
bool Propagate (Trail *trail) final
void Untrail (const Trail &trail, int trail_index) final
bool PropagateOutgoingArcs (IntegerVariable var)
void AddPrecedence (IntegerVariable i1, IntegerVariable i2)
void AddPrecedenceWithOffset (IntegerVariable i1, IntegerVariable i2, IntegerValue offset)
void AddPrecedenceWithVariableOffset (IntegerVariable i1, IntegerVariable i2, IntegerVariable offset_var)
void AddConditionalPrecedence (IntegerVariable i1, IntegerVariable i2, Literal l)
void AddConditionalPrecedenceWithOffset (IntegerVariable i1, IntegerVariable i2, IntegerValue offset, Literal l)
void AddPrecedenceWithAllOptions (IntegerVariable i1, IntegerVariable i2, IntegerValue offset, IntegerVariable offset_var, absl::Span< const Literal > presence_literals)
bool AddPrecedenceWithOffsetIfNew (IntegerVariable i1, IntegerVariable i2, IntegerValue offset)
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

◆ PrecedencesPropagator() [1/2]

operations_research::sat::PrecedencesPropagator::PrecedencesPropagator ( Model * model)
inlineexplicit

Definition at line 67 of file old_precedences_propagator.h.

◆ PrecedencesPropagator() [2/2]

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

◆ ~PrecedencesPropagator()

operations_research::sat::PrecedencesPropagator::~PrecedencesPropagator ( )
override

Definition at line 55 of file old_precedences_propagator.cc.

Member Function Documentation

◆ AddConditionalPrecedence()

void operations_research::sat::PrecedencesPropagator::AddConditionalPrecedence ( IntegerVariable i1,
IntegerVariable i2,
Literal l )
inline

Definition at line 281 of file old_precedences_propagator.h.

◆ AddConditionalPrecedenceWithOffset()

void operations_research::sat::PrecedencesPropagator::AddConditionalPrecedenceWithOffset ( IntegerVariable i1,
IntegerVariable i2,
IntegerValue offset,
Literal l )
inline

Definition at line 288 of file old_precedences_propagator.h.

◆ AddPrecedence()

void operations_research::sat::PrecedencesPropagator::AddPrecedence ( IntegerVariable i1,
IntegerVariable i2 )
inline

Definition at line 270 of file old_precedences_propagator.h.

◆ AddPrecedenceWithAllOptions()

void operations_research::sat::PrecedencesPropagator::AddPrecedenceWithAllOptions ( IntegerVariable i1,
IntegerVariable i2,
IntegerValue offset,
IntegerVariable offset_var,
absl::Span< const Literal > presence_literals )
inline

Definition at line 298 of file old_precedences_propagator.h.

◆ AddPrecedenceWithOffset()

void operations_research::sat::PrecedencesPropagator::AddPrecedenceWithOffset ( IntegerVariable i1,
IntegerVariable i2,
IntegerValue offset )
inline

Definition at line 276 of file old_precedences_propagator.h.

◆ AddPrecedenceWithOffsetIfNew()

bool operations_research::sat::PrecedencesPropagator::AddPrecedenceWithOffsetIfNew ( IntegerVariable i1,
IntegerVariable i2,
IntegerValue offset )

Definition at line 313 of file old_precedences_propagator.cc.

◆ AddPrecedenceWithVariableOffset()

void operations_research::sat::PrecedencesPropagator::AddPrecedenceWithVariableOffset ( IntegerVariable i1,
IntegerVariable i2,
IntegerVariable offset_var )
inline

Definition at line 293 of file old_precedences_propagator.h.

◆ operator=()

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

◆ Propagate() [1/2]

bool operations_research::sat::PrecedencesPropagator::Propagate ( )
finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 68 of file old_precedences_propagator.cc.

◆ Propagate() [2/2]

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

Implements operations_research::sat::SatPropagator.

Definition at line 66 of file old_precedences_propagator.cc.

◆ PropagateOutgoingArcs()

bool operations_research::sat::PrecedencesPropagator::PropagateOutgoingArcs ( IntegerVariable var)

Definition at line 121 of file old_precedences_propagator.cc.

◆ Untrail()

void operations_research::sat::PrecedencesPropagator::Untrail ( const Trail & trail,
int trail_index )
finalvirtual

Reimplemented from operations_research::sat::SatPropagator.

Definition at line 147 of file old_precedences_propagator.cc.

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