![]() |
OR-Tools
8.2
|
Holds semantic information stating that the 'expression' has been cast into 'variable' using the Var() method, and that 'maintainer' is responsible for maintaining the equality between 'variable' and 'expression'.
Definition at line 259 of file constraint_solver.h.
Public Member Functions | |
IntegerCastInfo () | |
IntegerCastInfo (IntVar *const v, IntExpr *const e, Constraint *const c) | |
Public Attributes | |
IntVar * | variable |
IntExpr * | expression |
Constraint * | maintainer |
|
inline |
Definition at line 260 of file constraint_solver.h.
|
inline |
Definition at line 262 of file constraint_solver.h.
IntExpr* expression |
Definition at line 265 of file constraint_solver.h.
Constraint* maintainer |
Definition at line 266 of file constraint_solver.h.
IntVar* variable |
Definition at line 264 of file constraint_solver.h.