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...
|
| |