OR-Tools  8.2
Annotation

Detailed Description

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< Annotationannotations
 
std::vector< IntegerVariable * > variables
 
std::string string_value
 

Member Enumeration Documentation

◆ Type

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.

Member Function Documentation

◆ AnnotationList()

Annotation AnnotationList ( std::vector< Annotation list)
static

Definition at line 648 of file model.cc.

◆ AppendAllIntegerVariables()

void AppendAllIntegerVariables ( std::vector< IntegerVariable * > *  vars) const

Definition at line 728 of file model.cc.

◆ DebugString()

std::string DebugString ( ) const

Definition at line 738 of file model.cc.

◆ Empty()

Annotation Empty ( )
static

Definition at line 640 of file model.cc.

◆ FunctionCall()

Annotation FunctionCall ( const std::string &  id)
static

Definition at line 677 of file model.cc.

◆ FunctionCallWithArguments()

Annotation FunctionCallWithArguments ( const std::string &  id,
std::vector< Annotation args 
)
static

Definition at line 666 of file model.cc.

◆ Identifier()

Annotation Identifier ( const std::string &  id)
static

Definition at line 657 of file model.cc.

◆ IntegerValue()

Annotation IntegerValue ( int64  value)
static

Definition at line 694 of file model.cc.

◆ Interval()

Annotation Interval ( int64  interval_min,
int64  interval_max 
)
static

Definition at line 686 of file model.cc.

◆ IsFunctionCallWithIdentifier()

bool IsFunctionCallWithIdentifier ( const std::string &  identifier) const
inline

Definition at line 263 of file flatzinc/model.h.

◆ String()

Annotation String ( const std::string &  str)
static

Definition at line 719 of file model.cc.

◆ Variable()

Annotation Variable ( IntegerVariable *const  var)
static

Definition at line 701 of file model.cc.

◆ VariableList()

Annotation VariableList ( std::vector< IntegerVariable * >  variables)
static

Definition at line 710 of file model.cc.

Member Data Documentation

◆ annotations

std::vector<Annotation> annotations

Definition at line 275 of file flatzinc/model.h.

◆ id

std::string id

Definition at line 274 of file flatzinc/model.h.

◆ interval_max

int64 interval_max

Definition at line 273 of file flatzinc/model.h.

◆ interval_min

int64 interval_min

Definition at line 272 of file flatzinc/model.h.

◆ string_value

std::string string_value

Definition at line 277 of file flatzinc/model.h.

◆ type

Type type

Definition at line 271 of file flatzinc/model.h.

◆ variables

std::vector<IntegerVariable*> variables

Definition at line 276 of file flatzinc/model.h.


The documentation for this struct was generated from the following files: