operations_research::sat::GenericLiteralWatcher Member List

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

AlwaysCallAtLevelZero(int id)	operations_research::sat::GenericLiteralWatcher
CallAgainDuringThisPropagation()	operations_research::sat::GenericLiteralWatcher	inline
CallOnNextPropagate(int id)	operations_research::sat::GenericLiteralWatcher
GenericLiteralWatcher(Model *model)	operations_research::sat::GenericLiteralWatcher	explicit
GenericLiteralWatcher(const GenericLiteralWatcher &)=delete	operations_research::sat::GenericLiteralWatcher
GetCurrentId() const	operations_research::sat::GenericLiteralWatcher	inline
IsEmpty() const	operations_research::sat::SatPropagator	inlinevirtual
name_	operations_research::sat::SatPropagator	protected
NotifyThatPropagatorMayNotReachFixedPointInOnePass(int id)	operations_research::sat::GenericLiteralWatcher
NumPropagators() const	operations_research::sat::GenericLiteralWatcher	inline
operator=(const GenericLiteralWatcher &)=delete	operations_research::sat::GenericLiteralWatcher
operations_research::sat::SatPropagator::operator=(const SatPropagator &)=delete	operations_research::sat::SatPropagator
Propagate(Trail *trail) final	operations_research::sat::GenericLiteralWatcher	virtual
PropagatePreconditionsAreSatisfied(const Trail &trail) const	operations_research::sat::SatPropagator	inline
propagation_trail_index_	operations_research::sat::SatPropagator	protected
PropagationIsDone(const Trail &trail) const	operations_research::sat::SatPropagator	inline
propagator_id_	operations_research::sat::SatPropagator	protected
PropagatorId() const	operations_research::sat::SatPropagator	inline
Reason(const Trail &, int, int64_t) const	operations_research::sat::SatPropagator	inlinevirtual
Register(PropagatorInterface *propagator)	operations_research::sat::GenericLiteralWatcher
RegisterLevelZeroModifiedVariablesCallback(const std::function< void(const std::vector< IntegerVariable > &)> cb)	operations_research::sat::GenericLiteralWatcher	inline
RegisterReversibleClass(int id, ReversibleInterface *rev)	operations_research::sat::GenericLiteralWatcher
RegisterReversibleInt(int id, int *rev)	operations_research::sat::GenericLiteralWatcher
ReserveSpaceForNumVariables(int num_vars)	operations_research::sat::GenericLiteralWatcher
SatPropagator(const std::string &name)	operations_research::sat::SatPropagator	inlineexplicit
SatPropagator(const SatPropagator &)=delete	operations_research::sat::SatPropagator
SetPropagatorId(int id)	operations_research::sat::SatPropagator	inline
SetPropagatorPriority(int id, int priority)	operations_research::sat::GenericLiteralWatcher
SetStopPropagationCallback(std::function< bool()> callback)	operations_research::sat::GenericLiteralWatcher	inline
SetUntilNextBacktrack(bool *is_in_dive)	operations_research::sat::GenericLiteralWatcher	inline
Untrail(const Trail &trail, int literal_trail_index) final	operations_research::sat::GenericLiteralWatcher	virtual
WatchAffineExpression(AffineExpression e, int id)	operations_research::sat::GenericLiteralWatcher	inline
WatchIntegerVariable(IntegerVariable i, int id, int watch_index=-1)	operations_research::sat::GenericLiteralWatcher	inline
WatchIntegerVariable(IntegerValue, int)	operations_research::sat::GenericLiteralWatcher	inline
WatchLiteral(Literal l, int id, int watch_index=-1)	operations_research::sat::GenericLiteralWatcher	inline
WatchLowerBound(IntegerVariable var, int id, int watch_index=-1)	operations_research::sat::GenericLiteralWatcher	inline
WatchLowerBound(AffineExpression e, int id)	operations_research::sat::GenericLiteralWatcher	inline
WatchLowerBound(IntegerValue, int)	operations_research::sat::GenericLiteralWatcher	inline
WatchUpperBound(IntegerVariable var, int id, int watch_index=-1)	operations_research::sat::GenericLiteralWatcher	inline
WatchUpperBound(AffineExpression e, int id)	operations_research::sat::GenericLiteralWatcher	inline
WatchUpperBound(IntegerValue, int)	operations_research::sat::GenericLiteralWatcher	inline
~GenericLiteralWatcher() final=default	operations_research::sat::GenericLiteralWatcher
~SatPropagator()=default	operations_research::sat::SatPropagator	virtual