Definition at line 1108 of file integer.h.
|
| GenericLiteralWatcher (Model *model) |
|
| ~GenericLiteralWatcher () final |
|
bool | Propagate (Trail *trail) final |
|
void | Untrail (const Trail &trail, int literal_trail_index) final |
|
int | Register (PropagatorInterface *propagator) |
|
void | SetPropagatorPriority (int id, int priority) |
|
void | NotifyThatPropagatorMayNotReachFixedPointInOnePass (int id) |
|
void | AlwaysCallAtLevelZero (int id) |
|
void | WatchLiteral (Literal l, int id, int watch_index=-1) |
|
void | WatchLowerBound (IntegerVariable var, int id, int watch_index=-1) |
|
void | WatchUpperBound (IntegerVariable var, int id, int watch_index=-1) |
|
void | WatchIntegerVariable (IntegerVariable i, int id, int watch_index=-1) |
|
void | WatchLowerBound (AffineExpression e, int id) |
|
void | WatchUpperBound (AffineExpression e, int id) |
|
void | WatchAffineExpression (AffineExpression e, int id) |
|
void | WatchLowerBound (IntegerValue i, int id) |
|
void | WatchUpperBound (IntegerValue i, int id) |
|
void | WatchIntegerVariable (IntegerValue v, int id) |
|
void | RegisterReversibleClass (int id, ReversibleInterface *rev) |
|
void | RegisterReversibleInt (int id, int *rev) |
|
int | NumPropagators () const |
|
void | RegisterLevelZeroModifiedVariablesCallback (const std::function< void(const std::vector< IntegerVariable > &)> cb) |
|
int | GetCurrentId () const |
|
void | SetPropagatorId (int id) |
|
int | PropagatorId () const |
|
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 |
|
◆ GenericLiteralWatcher()
◆ ~GenericLiteralWatcher()
◆ AlwaysCallAtLevelZero()
void AlwaysCallAtLevelZero |
( |
int |
id | ) |
|
◆ GetCurrentId()
int GetCurrentId |
( |
| ) |
const |
|
inline |
◆ NotifyThatPropagatorMayNotReachFixedPointInOnePass()
void NotifyThatPropagatorMayNotReachFixedPointInOnePass |
( |
int |
id | ) |
|
◆ NumPropagators()
int NumPropagators |
( |
| ) |
const |
|
inline |
◆ Propagate()
bool Propagate |
( |
Trail * |
trail | ) |
|
|
finalvirtual |
◆ PropagatePreconditionsAreSatisfied()
bool PropagatePreconditionsAreSatisfied |
( |
const Trail & |
trail | ) |
const |
|
inlineinherited |
◆ PropagationIsDone()
bool PropagationIsDone |
( |
const Trail & |
trail | ) |
const |
|
inlineinherited |
◆ PropagatorId()
int PropagatorId |
( |
| ) |
const |
|
inlineinherited |
◆ Reason()
virtual absl::Span< const Literal > Reason |
( |
const Trail & |
trail, |
|
|
int |
trail_index |
|
) |
| const |
|
inlinevirtualinherited |
◆ Register()
◆ RegisterLevelZeroModifiedVariablesCallback()
void RegisterLevelZeroModifiedVariablesCallback |
( |
const std::function< void(const std::vector< IntegerVariable > &)> |
cb | ) |
|
|
inline |
◆ RegisterReversibleClass()
◆ RegisterReversibleInt()
void RegisterReversibleInt |
( |
int |
id, |
|
|
int * |
rev |
|
) |
| |
◆ SetPropagatorId()
void SetPropagatorId |
( |
int |
id | ) |
|
|
inlineinherited |
◆ SetPropagatorPriority()
void SetPropagatorPriority |
( |
int |
id, |
|
|
int |
priority |
|
) |
| |
◆ Untrail()
void Untrail |
( |
const Trail & |
trail, |
|
|
int |
literal_trail_index |
|
) |
| |
|
finalvirtual |
◆ WatchAffineExpression()
◆ WatchIntegerVariable() [1/2]
void WatchIntegerVariable |
( |
IntegerValue |
v, |
|
|
int |
id |
|
) |
| |
|
inline |
◆ WatchIntegerVariable() [2/2]
void WatchIntegerVariable |
( |
IntegerVariable |
i, |
|
|
int |
id, |
|
|
int |
watch_index = -1 |
|
) |
| |
|
inline |
◆ WatchLiteral()
void WatchLiteral |
( |
Literal |
l, |
|
|
int |
id, |
|
|
int |
watch_index = -1 |
|
) |
| |
|
inline |
◆ WatchLowerBound() [1/3]
◆ WatchLowerBound() [2/3]
void WatchLowerBound |
( |
IntegerValue |
i, |
|
|
int |
id |
|
) |
| |
|
inline |
◆ WatchLowerBound() [3/3]
void WatchLowerBound |
( |
IntegerVariable |
var, |
|
|
int |
id, |
|
|
int |
watch_index = -1 |
|
) |
| |
|
inline |
◆ WatchUpperBound() [1/3]
◆ WatchUpperBound() [2/3]
void WatchUpperBound |
( |
IntegerValue |
i, |
|
|
int |
id |
|
) |
| |
|
inline |
◆ WatchUpperBound() [3/3]
void WatchUpperBound |
( |
IntegerVariable |
var, |
|
|
int |
id, |
|
|
int |
watch_index = -1 |
|
) |
| |
|
inline |
◆ name_
◆ propagation_trail_index_
int propagation_trail_index_ |
|
protectedinherited |
◆ propagator_id_
The documentation for this class was generated from the following files: