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

Detailed Description

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

Public Types

enum  Type {
  INT_VALUE , INT_INTERVAL , INT_LIST , DOMAIN_LIST ,
  FLOAT_VALUE , FLOAT_INTERVAL , FLOAT_LIST , VAR_REF ,
  VAR_REF_ARRAY , VOID_ARGUMENT
}
 

Public Member Functions

std::string DebugString () const
 
bool IsVariable () const
 
bool HasOneValue () const
 
int64_t Value () const
 
bool IsArrayOfValues () const
 
bool Contains (int64_t value) const
 
int64_t ValueAt (int pos) const
 
Variable * Var () const
 
Variable * VarAt (int pos) const
 
bool HasOneValueAt (int pos) const
 
int Size () const
 

Static Public Member Functions

static Argument IntegerValue (int64_t value)
 
static Argument Interval (int64_t imin, int64_t imax)
 
static Argument IntegerList (std::vector< int64_t > values)
 
static Argument DomainList (std::vector< Domain > domains)
 
static Argument FloatValue (double value)
 
static Argument FloatInterval (double lb, double ub)
 
static Argument FloatList (std::vector< double > floats)
 
static Argument VarRef (Variable *const var)
 
static Argument VarRefArray (std::vector< Variable * > vars)
 
static Argument VoidArgument ()
 
static Argument FromDomain (const Domain &domain)
 

Public Attributes

Type type
 
std::vector< int64_t > values
 
std::vector< Variable * > variables
 
std::vector< Domain > domains
 
std::vector< double > floats
 

Member Enumeration Documentation

◆ Type

enum Type
Enumerator
INT_VALUE 
INT_INTERVAL 
INT_LIST 
DOMAIN_LIST 
FLOAT_VALUE 
FLOAT_INTERVAL 
FLOAT_LIST 
VAR_REF 
VAR_REF_ARRAY 
VOID_ARGUMENT 

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

Member Function Documentation

◆ Contains()

bool Contains ( int64_t  value) const

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

◆ DebugString()

std::string DebugString ( ) const

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

◆ DomainList()

Argument DomainList ( std::vector< Domain >  domains)
static

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

◆ FloatInterval()

Argument FloatInterval ( double  lb,
double  ub 
)
static

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

◆ FloatList()

Argument FloatList ( std::vector< double >  floats)
static

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

◆ FloatValue()

Argument FloatValue ( double  value)
static

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

◆ FromDomain()

Argument FromDomain ( const Domain &  domain)
static

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

◆ HasOneValue()

bool HasOneValue ( ) const

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

◆ HasOneValueAt()

bool HasOneValueAt ( int  pos) const

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

◆ IntegerList()

Argument IntegerList ( std::vector< int64_t >  values)
static

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

◆ IntegerValue()

Argument IntegerValue ( int64_t  value)
static

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

◆ Interval()

Argument Interval ( int64_t  imin,
int64_t  imax 
)
static

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

◆ IsArrayOfValues()

bool IsArrayOfValues ( ) const

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

◆ IsVariable()

bool IsVariable ( ) const

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

◆ Size()

int Size ( ) const

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

◆ Value()

int64_t Value ( ) const

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

◆ ValueAt()

int64_t ValueAt ( int  pos) const

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

◆ Var()

Variable * Var ( ) const

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

◆ VarAt()

Variable * VarAt ( int  pos) const

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

◆ VarRef()

Argument VarRef ( Variable *const  var)
static

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

◆ VarRefArray()

Argument VarRefArray ( std::vector< Variable * >  vars)
static

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

◆ VoidArgument()

Argument VoidArgument ( )
static

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

Member Data Documentation

◆ domains

std::vector<Domain> domains

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

◆ floats

std::vector<double> floats

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

◆ type

Type type

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

◆ values

std::vector<int64_t> values

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

◆ variables

std::vector<Variable*> variables

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

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