Definition at line 1835 of file constraint_solveri.h.
|
| PropagationMonitor (Solver *const solver) |
|
| ~PropagationMonitor () override |
|
std::string | DebugString () const override |
|
virtual void | BeginConstraintInitialPropagation (Constraint *const constraint)=0 |
| Propagation events. More...
|
|
virtual void | EndConstraintInitialPropagation (Constraint *const constraint)=0 |
|
virtual void | BeginNestedConstraintInitialPropagation (Constraint *const parent, Constraint *const nested)=0 |
|
virtual void | EndNestedConstraintInitialPropagation (Constraint *const parent, Constraint *const nested)=0 |
|
virtual void | RegisterDemon (Demon *const demon)=0 |
|
virtual void | BeginDemonRun (Demon *const demon)=0 |
|
virtual void | EndDemonRun (Demon *const demon)=0 |
|
virtual void | StartProcessingIntegerVariable (IntVar *const var)=0 |
|
virtual void | EndProcessingIntegerVariable (IntVar *const var)=0 |
|
virtual void | PushContext (const std::string &context)=0 |
|
virtual void | PopContext ()=0 |
|
virtual void | SetMin (IntExpr *const expr, int64 new_min)=0 |
| IntExpr modifiers. More...
|
|
virtual void | SetMax (IntExpr *const expr, int64 new_max)=0 |
|
virtual void | SetRange (IntExpr *const expr, int64 new_min, int64 new_max)=0 |
|
virtual void | SetMin (IntVar *const var, int64 new_min)=0 |
| IntVar modifiers. More...
|
|
virtual void | SetMax (IntVar *const var, int64 new_max)=0 |
|
virtual void | SetRange (IntVar *const var, int64 new_min, int64 new_max)=0 |
|
virtual void | RemoveValue (IntVar *const var, int64 value)=0 |
|
virtual void | SetValue (IntVar *const var, int64 value)=0 |
|
virtual void | RemoveInterval (IntVar *const var, int64 imin, int64 imax)=0 |
|
virtual void | SetValues (IntVar *const var, const std::vector< int64 > &values)=0 |
|
virtual void | RemoveValues (IntVar *const var, const std::vector< int64 > &values)=0 |
|
virtual void | SetStartMin (IntervalVar *const var, int64 new_min)=0 |
| IntervalVar modifiers. More...
|
|
virtual void | SetStartMax (IntervalVar *const var, int64 new_max)=0 |
|
virtual void | SetStartRange (IntervalVar *const var, int64 new_min, int64 new_max)=0 |
|
virtual void | SetEndMin (IntervalVar *const var, int64 new_min)=0 |
|
virtual void | SetEndMax (IntervalVar *const var, int64 new_max)=0 |
|
virtual void | SetEndRange (IntervalVar *const var, int64 new_min, int64 new_max)=0 |
|
virtual void | SetDurationMin (IntervalVar *const var, int64 new_min)=0 |
|
virtual void | SetDurationMax (IntervalVar *const var, int64 new_max)=0 |
|
virtual void | SetDurationRange (IntervalVar *const var, int64 new_min, int64 new_max)=0 |
|
virtual void | SetPerformed (IntervalVar *const var, bool value)=0 |
|
virtual void | RankFirst (SequenceVar *const var, int index)=0 |
| SequenceVar modifiers. More...
|
|
virtual void | RankNotFirst (SequenceVar *const var, int index)=0 |
|
virtual void | RankLast (SequenceVar *const var, int index)=0 |
|
virtual void | RankNotLast (SequenceVar *const var, int index)=0 |
|
virtual void | RankSequence (SequenceVar *const var, const std::vector< int > &rank_first, const std::vector< int > &rank_last, const std::vector< int > &unperformed)=0 |
|
void | Install () override |
| Install itself on the solver. More...
|
|