![]() |
OR-Tools
8.2
|
Definition at line 196 of file flatzinc/model.h.
Public Member Functions | |
Constraint (const std::string &t, std::vector< Argument > args, bool strong_propag) | |
std::string | DebugString () const |
void | MarkAsInactive () |
void | RemoveArg (int arg_pos) |
void | SetAsFalse () |
Public Attributes | |
std::string | type |
std::vector< Argument > | arguments |
bool | strong_propagation: 1 |
bool | active: 1 |
bool | presolve_propagation_done: 1 |
|
inline |
Definition at line 197 of file flatzinc/model.h.
bool active |
Definition at line 228 of file flatzinc/model.h.
std::vector<Argument> arguments |
Definition at line 217 of file flatzinc/model.h.
bool presolve_propagation_done |
Definition at line 231 of file flatzinc/model.h.
bool strong_propagation |
Definition at line 223 of file flatzinc/model.h.
std::string type |
Definition at line 216 of file flatzinc/model.h.