![]() |
OR-Tools
8.2
|
Definition at line 143 of file flatzinc/model.h.
Public Types | |
enum | Type { INT_VALUE , INT_INTERVAL , INT_LIST , DOMAIN_LIST , INT_VAR_REF , INT_VAR_REF_ARRAY , VOID_ARGUMENT } |
Public Member Functions | |
std::string | DebugString () const |
bool | IsVariable () const |
bool | HasOneValue () const |
int64 | Value () const |
bool | IsArrayOfValues () const |
bool | Contains (int64 value) const |
int64 | ValueAt (int pos) const |
IntegerVariable * | Var () const |
IntegerVariable * | VarAt (int pos) const |
Static Public Member Functions | |
static Argument | IntegerValue (int64 value) |
static Argument | Interval (int64 imin, int64 imax) |
static Argument | IntegerList (std::vector< int64 > values) |
static Argument | DomainList (std::vector< Domain > domains) |
static Argument | IntVarRef (IntegerVariable *const var) |
static Argument | IntVarRefArray (std::vector< IntegerVariable * > vars) |
static Argument | VoidArgument () |
static Argument | FromDomain (const Domain &domain) |
Public Attributes | |
Type | type |
std::vector< int64 > | values |
std::vector< IntegerVariable * > | variables |
std::vector< Domain > | domains |
enum Type |
Enumerator | |
---|---|
INT_VALUE | |
INT_INTERVAL | |
INT_LIST | |
DOMAIN_LIST | |
INT_VAR_REF | |
INT_VAR_REF_ARRAY | |
VOID_ARGUMENT |
Definition at line 144 of file flatzinc/model.h.
|
static |
|
static |
IntegerVariable * Var | ( | ) | const |
IntegerVariable * VarAt | ( | int | pos | ) | const |
std::vector<Domain> domains |
Definition at line 191 of file flatzinc/model.h.
Type type |
Definition at line 188 of file flatzinc/model.h.
std::vector<int64> values |
Definition at line 189 of file flatzinc/model.h.
std::vector<IntegerVariable*> variables |
Definition at line 190 of file flatzinc/model.h.