![]() |
OR-Tools
8.2
|
Definition at line 238 of file flatzinc/model.h.
Public Types | |
enum | Type { ANNOTATION_LIST , IDENTIFIER , FUNCTION_CALL , INT_VALUE , INTERVAL , INT_VAR_REF , INT_VAR_REF_ARRAY , STRING_VALUE } |
Public Member Functions | |
std::string | DebugString () const |
bool | IsFunctionCallWithIdentifier (const std::string &identifier) const |
void | AppendAllIntegerVariables (std::vector< IntegerVariable * > *vars) const |
Static Public Member Functions | |
static Annotation | Empty () |
static Annotation | AnnotationList (std::vector< Annotation > list) |
static Annotation | Identifier (const std::string &id) |
static Annotation | FunctionCallWithArguments (const std::string &id, std::vector< Annotation > args) |
static Annotation | FunctionCall (const std::string &id) |
static Annotation | Interval (int64 interval_min, int64 interval_max) |
static Annotation | IntegerValue (int64 value) |
static Annotation | Variable (IntegerVariable *const var) |
static Annotation | VariableList (std::vector< IntegerVariable * > variables) |
static Annotation | String (const std::string &str) |
Public Attributes | |
Type | type |
int64 | interval_min |
int64 | interval_max |
std::string | id |
std::vector< Annotation > | annotations |
std::vector< IntegerVariable * > | variables |
std::string | string_value |
enum Type |
Enumerator | |
---|---|
ANNOTATION_LIST | |
IDENTIFIER | |
FUNCTION_CALL | |
INT_VALUE | |
INTERVAL | |
INT_VAR_REF | |
INT_VAR_REF_ARRAY | |
STRING_VALUE |
Definition at line 239 of file flatzinc/model.h.
|
static |
void AppendAllIntegerVariables | ( | std::vector< IntegerVariable * > * | vars | ) | const |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
inline |
Definition at line 263 of file flatzinc/model.h.
|
static |
|
static |
|
static |
std::vector<Annotation> annotations |
Definition at line 275 of file flatzinc/model.h.
std::string id |
Definition at line 274 of file flatzinc/model.h.
int64 interval_max |
Definition at line 273 of file flatzinc/model.h.
int64 interval_min |
Definition at line 272 of file flatzinc/model.h.
std::string string_value |
Definition at line 277 of file flatzinc/model.h.
Type type |
Definition at line 271 of file flatzinc/model.h.
std::vector<IntegerVariable*> variables |
Definition at line 276 of file flatzinc/model.h.