GenericLiteralWatcher Member List

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

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