OR-Tools  9.6
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
Annotation

Detailed Description

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

Public Types

enum  Type {
  ANNOTATION_LIST , IDENTIFIER , FUNCTION_CALL , INT_VALUE ,
  INT_LIST , INTERVAL , VAR_REF , VAR_REF_ARRAY ,
  STRING_VALUE
}
 

Public Member Functions

std::string DebugString () const
 
bool IsFunctionCallWithIdentifier (absl::string_view identifier) const
 
void AppendAllVariables (std::vector< Variable * > *vars) const
 

Static Public Member Functions

static Annotation Empty ()
 
static Annotation AnnotationList (std::vector< Annotation > list)
 
static Annotation Identifier (absl::string_view id)
 
static Annotation FunctionCallWithArguments (absl::string_view id, std::vector< Annotation > args)
 
static Annotation FunctionCall (absl::string_view id)
 
static Annotation Interval (int64_t interval_min, int64_t interval_max)
 
static Annotation IntegerValue (int64_t value)
 
static Annotation IntegerList (const std::vector< int64_t > &values)
 
static Annotation VarRef (Variable *const var)
 
static Annotation VarRefArray (std::vector< Variable * > variables)
 
static Annotation String (absl::string_view str)
 

Public Attributes

Type type
 
int64_t interval_min
 
int64_t interval_max
 
std::string id
 
std::vector< Annotation > annotations
 
std::vector< Variable * > variables
 
std::vector< int64_t > values
 
std::string string_value
 

Member Enumeration Documentation

◆ Type

enum Type
Enumerator
ANNOTATION_LIST 
IDENTIFIER 
FUNCTION_CALL 
INT_VALUE 
INT_LIST 
INTERVAL 
VAR_REF 
VAR_REF_ARRAY 
STRING_VALUE 

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

Member Function Documentation

◆ AnnotationList()

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

Definition at line 831 of file flatzinc/model.cc.

◆ AppendAllVariables()

void AppendAllVariables ( std::vector< Variable * > *  vars) const

Definition at line 919 of file flatzinc/model.cc.

◆ DebugString()

std::string DebugString ( ) const

Definition at line 928 of file flatzinc/model.cc.

◆ Empty()

Annotation Empty ( )
static

Definition at line 823 of file flatzinc/model.cc.

◆ FunctionCall()

Annotation FunctionCall ( absl::string_view  id)
static

Definition at line 860 of file flatzinc/model.cc.

◆ FunctionCallWithArguments()

Annotation FunctionCallWithArguments ( absl::string_view  id,
std::vector< Annotation >  args 
)
static

Definition at line 849 of file flatzinc/model.cc.

◆ Identifier()

Annotation Identifier ( absl::string_view  id)
static

Definition at line 840 of file flatzinc/model.cc.

◆ IntegerList()

Annotation IntegerList ( const std::vector< int64_t > &  values)
static

Definition at line 884 of file flatzinc/model.cc.

◆ IntegerValue()

Annotation IntegerValue ( int64_t  value)
static

Definition at line 877 of file flatzinc/model.cc.

◆ Interval()

Annotation Interval ( int64_t  interval_min,
int64_t  interval_max 
)
static

Definition at line 869 of file flatzinc/model.cc.

◆ IsFunctionCallWithIdentifier()

bool IsFunctionCallWithIdentifier ( absl::string_view  identifier) const
inline

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

◆ String()

Annotation String ( absl::string_view  str)
static

Definition at line 910 of file flatzinc/model.cc.

◆ VarRef()

Annotation VarRef ( Variable *const  var)
static

Definition at line 892 of file flatzinc/model.cc.

◆ VarRefArray()

Annotation VarRefArray ( std::vector< Variable * >  variables)
static

Definition at line 901 of file flatzinc/model.cc.

Member Data Documentation

◆ annotations

std::vector<Annotation> annotations

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

◆ id

std::string id

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

◆ interval_max

int64_t interval_max

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

◆ interval_min

int64_t interval_min

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

◆ string_value

std::string string_value

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

◆ type

Type type

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

◆ values

std::vector<int64_t> values

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

◆ variables

std::vector<Variable*> variables

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

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