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

Detailed Description

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
 

Member Enumeration Documentation

◆ Type

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.

Member Function Documentation

◆ Contains()

bool Contains ( int64  value) const

Definition at line 531 of file model.cc.

◆ DebugString()

std::string DebugString ( ) const

Definition at line 447 of file model.cc.

◆ DomainList()

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

Definition at line 408 of file model.cc.

◆ FromDomain()

Argument FromDomain ( const Domain &  domain)
static

Definition at line 435 of file model.cc.

◆ HasOneValue()

bool HasOneValue ( ) const

Definition at line 476 of file model.cc.

◆ IntegerList()

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

Definition at line 401 of file model.cc.

◆ IntegerValue()

Argument IntegerValue ( int64  value)
static

Definition at line 386 of file model.cc.

◆ Interval()

Argument Interval ( int64  imin,
int64  imax 
)
static

Definition at line 393 of file model.cc.

◆ IntVarRef()

Argument IntVarRef ( IntegerVariable *const  var)
static

Definition at line 415 of file model.cc.

◆ IntVarRefArray()

Argument IntVarRefArray ( std::vector< IntegerVariable * >  vars)
static

Definition at line 422 of file model.cc.

◆ IsArrayOfValues()

bool IsArrayOfValues ( ) const

Definition at line 500 of file model.cc.

◆ IsVariable()

bool IsVariable ( ) const

Definition at line 474 of file model.cc.

◆ Value()

int64 Value ( ) const

Definition at line 482 of file model.cc.

◆ ValueAt()

int64 ValueAt ( int  pos) const

Definition at line 549 of file model.cc.

◆ Var()

IntegerVariable * Var ( ) const

Definition at line 574 of file model.cc.

◆ VarAt()

IntegerVariable * VarAt ( int  pos) const

Definition at line 578 of file model.cc.

◆ VoidArgument()

Argument VoidArgument ( )
static

Definition at line 429 of file model.cc.

Member Data Documentation

◆ domains

std::vector<Domain> domains

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

◆ type

Type type

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

◆ values

std::vector<int64> values

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

◆ variables

std::vector<IntegerVariable*> variables

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

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