Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
|
#include <constraint_solveri.h>
Public Member Functions | |
BaseIntExpr (Solver *const s) | |
~BaseIntExpr () override | |
IntVar * | Var () override |
Creates a variable from the expression. | |
virtual IntVar * | CastToVar () |
Public Member Functions inherited from operations_research::IntExpr | |
IntExpr (Solver *const s) | |
IntExpr (const IntExpr &)=delete | |
This type is neither copyable nor movable. | |
IntExpr & | operator= (const IntExpr &)=delete |
~IntExpr () override | |
virtual int64_t | Min () const =0 |
virtual void | SetMin (int64_t m)=0 |
virtual int64_t | Max () const =0 |
virtual void | SetMax (int64_t m)=0 |
virtual void | Range (int64_t *l, int64_t *u) |
virtual void | SetRange (int64_t l, int64_t u) |
This method sets both the min and the max of the expression. | |
virtual void | SetValue (int64_t v) |
This method sets the value of the expression. | |
virtual bool | Bound () const |
Returns true if the min and the max of the expression are equal. | |
virtual bool | IsVar () const |
Returns true if the expression is indeed a variable. | |
IntVar * | VarWithName (const std::string &name) |
-------— IntExpr -------— | |
virtual void | WhenRange (Demon *d)=0 |
Attach a demon that will watch the min or the max of the expression. | |
void | WhenRange (Solver::Closure closure) |
Attach a demon that will watch the min or the max of the expression. | |
void | WhenRange (Solver::Action action) |
Attach a demon that will watch the min or the max of the expression. | |
virtual void | Accept (ModelVisitor *visitor) const |
Accepts the given visitor. | |
Public Member Functions inherited from operations_research::PropagationBaseObject | |
PropagationBaseObject (Solver *const s) | |
PropagationBaseObject (const PropagationBaseObject &)=delete | |
This type is neither copyable nor movable. | |
PropagationBaseObject & | operator= (const PropagationBaseObject &)=delete |
~PropagationBaseObject () override | |
std::string | DebugString () const override |
Solver * | solver () const |
void | FreezeQueue () |
void | UnfreezeQueue () |
void | EnqueueDelayedDemon (Demon *const d) |
void | EnqueueVar (Demon *const d) |
void | ExecuteAll (const SimpleRevFIFO< Demon * > &demons) |
void | EnqueueAll (const SimpleRevFIFO< Demon * > &demons) |
void | set_action_on_fail (Solver::Action a) |
void | reset_action_on_fail () |
This method clears the failure callback. | |
void | set_variable_to_clean_on_fail (IntVar *v) |
Shortcut for variable cleaner. | |
virtual std::string | name () const |
Object naming. | |
void | set_name (absl::string_view name) |
bool | HasName () const |
Returns whether the object has been named or not. | |
virtual std::string | BaseName () const |
Returns a base name for automatic naming. | |
Public Member Functions inherited from operations_research::BaseObject | |
BaseObject () | |
BaseObject (const BaseObject &)=delete | |
This type is neither copyable nor movable. | |
BaseObject & | operator= (const BaseObject &)=delete |
virtual | ~BaseObject () |
Definition at line 112 of file constraint_solveri.h.
|
inlineexplicit |
Definition at line 114 of file constraint_solveri.h.
|
inlineoverride |
Definition at line 115 of file constraint_solveri.h.
|
virtual |
Definition at line 7482 of file expressions.cc.
|
overridevirtual |
Creates a variable from the expression.
Implements operations_research::IntExpr.
Definition at line 7474 of file expressions.cc.