Generated on Tue Jan 26 2021 00:00:00 for Gecode by doxygen 1.9.1
parser.hh File Reference
#include <gecode/flatzinc.hh>
#include <string>
#include <vector>
#include <iostream>
#include <algorithm>
#include <gecode/flatzinc/option.hh>
#include <gecode/flatzinc/varspec.hh>
#include <gecode/flatzinc/conexpr.hh>
#include <gecode/flatzinc/ast.hh>
#include <gecode/flatzinc/parser.tab.hh>
#include <gecode/flatzinc/symboltable.hh>

Go to the source code of this file.

Classes

class  Gecode::FlatZinc::OutputOrder
 Strict weak ordering for output items. More...
 
class  Gecode::FlatZinc::SymbolEntry
 Entries in the symbol table. More...
 
class  Gecode::FlatZinc::ParserState
 State of the FlatZinc parser More...
 

Typedefs

typedef std::pair< std::string, Option< std::vector< int > * > > Gecode::FlatZinc::intvartype
 
typedef std::pair< std::string, VarSpec * > Gecode::FlatZinc::varspec
 

Enumerations

enum  Gecode::FlatZinc::SymbolType {
  Gecode::FlatZinc::ST_INTVAR , Gecode::FlatZinc::ST_BOOLVAR , Gecode::FlatZinc::ST_FLOATVAR , Gecode::FlatZinc::ST_SETVAR ,
  Gecode::FlatZinc::ST_INTVARARRAY , Gecode::FlatZinc::ST_BOOLVARARRAY , Gecode::FlatZinc::ST_SETVARARRAY , Gecode::FlatZinc::ST_FLOATVARARRAY ,
  Gecode::FlatZinc::ST_INTVALARRAY , Gecode::FlatZinc::ST_BOOLVALARRAY , Gecode::FlatZinc::ST_SETVALARRAY , Gecode::FlatZinc::ST_FLOATVALARRAY ,
  Gecode::FlatZinc::ST_INT , Gecode::FlatZinc::ST_BOOL , Gecode::FlatZinc::ST_SET , Gecode::FlatZinc::ST_FLOAT
}
 Types of symbols. More...
 

Functions

SymbolEntry Gecode::FlatZinc::se_iv (int i)
 Construct integer variable entry. More...
 
SymbolEntry Gecode::FlatZinc::se_bv (int i)
 Construct Boolean variable entry. More...
 
SymbolEntry Gecode::FlatZinc::se_fv (int i)
 Construct float variable entry. More...
 
SymbolEntry Gecode::FlatZinc::se_sv (int i)
 Construct set variable entry. More...
 
SymbolEntry Gecode::FlatZinc::se_iva (int i)
 Construct integer variable array entry. More...
 
SymbolEntry Gecode::FlatZinc::se_bva (int i)
 Construct Boolean variable array entry. More...
 
SymbolEntry Gecode::FlatZinc::se_fva (int i)
 Construct float variable array entry. More...
 
SymbolEntry Gecode::FlatZinc::se_sva (int i)
 Construct set variable array entry. More...
 
SymbolEntry Gecode::FlatZinc::se_i (int i)
 Construct integer entry. More...
 
SymbolEntry Gecode::FlatZinc::se_b (bool b)
 Construct Boolean entry. More...
 
SymbolEntry Gecode::FlatZinc::se_s (int i)
 Construct set entry. More...
 
SymbolEntry Gecode::FlatZinc::se_f (int i)
 Construct float entry. More...
 
SymbolEntry Gecode::FlatZinc::se_ia (int i)
 Construct integer array entry. More...
 
SymbolEntry Gecode::FlatZinc::se_ba (int i)
 Construct Boolean array entry. More...
 
SymbolEntry Gecode::FlatZinc::se_sa (int i)
 Construct set array entry. More...
 
SymbolEntry Gecode::FlatZinc::se_fa (int i)
 Construct float array entry. More...
 

Typedef Documentation

◆ intvartype

typedef std::pair<std::string,Option<std::vector<int>* > > Gecode::FlatZinc::intvartype

Definition at line 69 of file parser.hh.

◆ varspec

typedef std::pair<std::string, VarSpec*> Gecode::FlatZinc::varspec

Definition at line 72 of file parser.hh.

Enumeration Type Documentation

◆ SymbolType

Types of symbols.

Enumerator
ST_INTVAR 
ST_BOOLVAR 
ST_FLOATVAR 
ST_SETVAR 
ST_INTVARARRAY 
ST_BOOLVARARRAY 
ST_SETVARARRAY 
ST_FLOATVARARRAY 
ST_INTVALARRAY 
ST_BOOLVALARRAY 
ST_SETVALARRAY 
ST_FLOATVALARRAY 
ST_INT 
ST_BOOL 
ST_SET 
ST_FLOAT 

Definition at line 85 of file parser.hh.

Function Documentation

◆ se_iv()

SymbolEntry Gecode::FlatZinc::se_iv ( int  i)
inline

Construct integer variable entry.

Definition at line 116 of file parser.hh.

◆ se_bv()

SymbolEntry Gecode::FlatZinc::se_bv ( int  i)
inline

Construct Boolean variable entry.

Definition at line 120 of file parser.hh.

◆ se_fv()

SymbolEntry Gecode::FlatZinc::se_fv ( int  i)
inline

Construct float variable entry.

Definition at line 124 of file parser.hh.

◆ se_sv()

SymbolEntry Gecode::FlatZinc::se_sv ( int  i)
inline

Construct set variable entry.

Definition at line 128 of file parser.hh.

◆ se_iva()

SymbolEntry Gecode::FlatZinc::se_iva ( int  i)
inline

Construct integer variable array entry.

Definition at line 133 of file parser.hh.

◆ se_bva()

SymbolEntry Gecode::FlatZinc::se_bva ( int  i)
inline

Construct Boolean variable array entry.

Definition at line 137 of file parser.hh.

◆ se_fva()

SymbolEntry Gecode::FlatZinc::se_fva ( int  i)
inline

Construct float variable array entry.

Definition at line 141 of file parser.hh.

◆ se_sva()

SymbolEntry Gecode::FlatZinc::se_sva ( int  i)
inline

Construct set variable array entry.

Definition at line 145 of file parser.hh.

◆ se_i()

SymbolEntry Gecode::FlatZinc::se_i ( int  i)
inline

Construct integer entry.

Definition at line 150 of file parser.hh.

◆ se_b()

SymbolEntry Gecode::FlatZinc::se_b ( bool  b)
inline

Construct Boolean entry.

Definition at line 154 of file parser.hh.

◆ se_s()

SymbolEntry Gecode::FlatZinc::se_s ( int  i)
inline

Construct set entry.

Definition at line 158 of file parser.hh.

◆ se_f()

SymbolEntry Gecode::FlatZinc::se_f ( int  i)
inline

Construct float entry.

Definition at line 162 of file parser.hh.

◆ se_ia()

SymbolEntry Gecode::FlatZinc::se_ia ( int  i)
inline

Construct integer array entry.

Definition at line 167 of file parser.hh.

◆ se_ba()

SymbolEntry Gecode::FlatZinc::se_ba ( int  i)
inline

Construct Boolean array entry.

Definition at line 171 of file parser.hh.

◆ se_sa()

SymbolEntry Gecode::FlatZinc::se_sa ( int  i)
inline

Construct set array entry.

Definition at line 175 of file parser.hh.

◆ se_fa()

SymbolEntry Gecode::FlatZinc::se_fa ( int  i)
inline

Construct float array entry.

Definition at line 179 of file parser.hh.