AlwaysCallAtLevelZero(int id) | GenericLiteralWatcher | |
GenericLiteralWatcher(Model *model) | GenericLiteralWatcher | explicit |
GetCurrentId() const | GenericLiteralWatcher | inline |
name_ | SatPropagator | protected |
NotifyThatPropagatorMayNotReachFixedPointInOnePass(int id) | GenericLiteralWatcher | |
NumPropagators() const | GenericLiteralWatcher | inline |
Propagate(Trail *trail) final | GenericLiteralWatcher | virtual |
PropagatePreconditionsAreSatisfied(const Trail &trail) const | SatPropagator | inline |
propagation_trail_index_ | SatPropagator | protected |
PropagationIsDone(const Trail &trail) const | SatPropagator | inline |
propagator_id_ | SatPropagator | protected |
PropagatorId() const | SatPropagator | inline |
Reason(const Trail &trail, int trail_index) const | SatPropagator | inlinevirtual |
Register(PropagatorInterface *propagator) | GenericLiteralWatcher | |
RegisterLevelZeroModifiedVariablesCallback(const std::function< void(const std::vector< IntegerVariable > &)> cb) | GenericLiteralWatcher | inline |
RegisterReversibleClass(int id, ReversibleInterface *rev) | GenericLiteralWatcher | |
RegisterReversibleInt(int id, int *rev) | GenericLiteralWatcher | |
SatPropagator(const std::string &name) | SatPropagator | inlineexplicit |
SetPropagatorId(int id) | SatPropagator | inline |
SetPropagatorPriority(int id, int priority) | GenericLiteralWatcher | |
Untrail(const Trail &trail, int literal_trail_index) final | GenericLiteralWatcher | virtual |
WatchAffineExpression(AffineExpression e, int id) | GenericLiteralWatcher | inline |
WatchIntegerVariable(IntegerVariable i, int id, int watch_index=-1) | GenericLiteralWatcher | inline |
WatchIntegerVariable(IntegerValue v, int id) | GenericLiteralWatcher | inline |
WatchLiteral(Literal l, int id, int watch_index=-1) | GenericLiteralWatcher | inline |
WatchLowerBound(IntegerVariable var, int id, int watch_index=-1) | GenericLiteralWatcher | inline |
WatchLowerBound(AffineExpression e, int id) | GenericLiteralWatcher | inline |
WatchLowerBound(IntegerValue i, int id) | GenericLiteralWatcher | inline |
WatchUpperBound(IntegerVariable var, int id, int watch_index=-1) | GenericLiteralWatcher | inline |
WatchUpperBound(AffineExpression e, int id) | GenericLiteralWatcher | inline |
WatchUpperBound(IntegerValue i, int id) | GenericLiteralWatcher | inline |
~GenericLiteralWatcher() final | GenericLiteralWatcher | inline |
~SatPropagator() | SatPropagator | inlinevirtual |