![]() |
OR-Tools
8.2
|
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_ |
|
inlineexplicit |
Definition at line 447 of file sat_base.h.
|
inlinevirtual |
Definition at line 449 of file sat_base.h.
|
pure virtual |
Implemented in LiteralWatchers, BinaryImplicationGraph, IntegerTrail, GenericLiteralWatcher, PbConstraints, PrecedencesPropagator, and SymmetryPropagator.
|
inline |
Definition at line 517 of file sat_base.h.
|
inline |
Definition at line 500 of file sat_base.h.
|
inline |
Definition at line 453 of file sat_base.h.
|
inlinevirtual |
Reimplemented in LiteralWatchers, BinaryImplicationGraph, IntegerTrail, PbConstraints, and SymmetryPropagator.
Definition at line 489 of file sat_base.h.
|
inline |
Definition at line 452 of file sat_base.h.
|
inlinevirtual |
Reimplemented in IntegerTrail, GenericLiteralWatcher, PbConstraints, PrecedencesPropagator, and SymmetryPropagator.
Definition at line 475 of file sat_base.h.
|
protected |
Definition at line 505 of file sat_base.h.
|
protected |
Definition at line 507 of file sat_base.h.
|
protected |
Definition at line 506 of file sat_base.h.