OR-Tools  8.2
GenericLiteralWatcher Member List

This is the complete list of members for GenericLiteralWatcher, including all inherited members.

AlwaysCallAtLevelZero(int id)GenericLiteralWatcher
GenericLiteralWatcher(Model *model)GenericLiteralWatcherexplicit
GetCurrentId() constGenericLiteralWatcherinline
name_SatPropagatorprotected
NotifyThatPropagatorMayNotReachFixedPointInOnePass(int id)GenericLiteralWatcher
NumPropagators() constGenericLiteralWatcherinline
Propagate(Trail *trail) finalGenericLiteralWatchervirtual
PropagatePreconditionsAreSatisfied(const Trail &trail) constSatPropagatorinline
propagation_trail_index_SatPropagatorprotected
PropagationIsDone(const Trail &trail) constSatPropagatorinline
propagator_id_SatPropagatorprotected
PropagatorId() constSatPropagatorinline
Reason(const Trail &trail, int trail_index) constSatPropagatorinlinevirtual
Register(PropagatorInterface *propagator)GenericLiteralWatcher
RegisterLevelZeroModifiedVariablesCallback(const std::function< void(const std::vector< IntegerVariable > &)> cb)GenericLiteralWatcherinline
RegisterReversibleClass(int id, ReversibleInterface *rev)GenericLiteralWatcher
RegisterReversibleInt(int id, int *rev)GenericLiteralWatcher
SatPropagator(const std::string &name)SatPropagatorinlineexplicit
SetPropagatorId(int id)SatPropagatorinline
SetPropagatorPriority(int id, int priority)GenericLiteralWatcher
Untrail(const Trail &trail, int literal_trail_index) finalGenericLiteralWatchervirtual
WatchAffineExpression(AffineExpression e, int id)GenericLiteralWatcherinline
WatchIntegerVariable(IntegerVariable i, int id, int watch_index=-1)GenericLiteralWatcherinline
WatchIntegerVariable(IntegerValue v, int id)GenericLiteralWatcherinline
WatchLiteral(Literal l, int id, int watch_index=-1)GenericLiteralWatcherinline
WatchLowerBound(IntegerVariable var, int id, int watch_index=-1)GenericLiteralWatcherinline
WatchLowerBound(AffineExpression e, int id)GenericLiteralWatcherinline
WatchLowerBound(IntegerValue i, int id)GenericLiteralWatcherinline
WatchUpperBound(IntegerVariable var, int id, int watch_index=-1)GenericLiteralWatcherinline
WatchUpperBound(AffineExpression e, int id)GenericLiteralWatcherinline
WatchUpperBound(IntegerValue i, int id)GenericLiteralWatcherinline
~GenericLiteralWatcher() finalGenericLiteralWatcherinline
~SatPropagator()SatPropagatorinlinevirtual