Generated on for Gecode by doxygen 1.17.0
Public Member Functions | Public Attributes | List of all members
Gecode::FlatZinc::ParserState Class Reference

State of the FlatZinc parser More...

#include <gecode/flatzinc/parser.hh>

Public Member Functions

 ParserState (const std::string &b, std::ostream &err0, Gecode::FlatZinc::FlatZincSpace *fg0)
 ParserState (char *buf0, int length0, std::ostream &err0, Gecode::FlatZinc::FlatZincSpace *fg0)
int fillBuffer (char *lexBuf, unsigned int lexBufSize)
void output (std::string x, AST::Node *n)
AST::Array * getOutput (void)

Public Attributes

void * yyscanner
const char * buf
unsigned int pos
unsigned int length
Gecode::FlatZinc::FlatZincSpace * fg
std::vector< std::pair< std::string, AST::Node * > > _output
SymbolTable< SymbolEntry > symbols
std::vector< varspec > intvars
std::vector< varspec > boolvars
std::vector< varspec > setvars
std::vector< varspec > floatvars
std::vector< int > arrays
std::vector< AST::SetLit > setvals
std::vector< double > floatvals
std::vector< ConExpr * > constraints
std::vector< ConExpr * > domainConstraints
int status_idx = -1
int complete_idx = -1
std::vector< std::array< int, 2 > > last_val_int
std::vector< std::array< int, 2 > > sol_int
std::vector< std::array< int, 3 > > uniform_int
std::vector< std::array< int, 2 > > sol_bool
std::vector< std::array< int, 2 > > last_val_bool
std::vector< std::array< int, 2 > > sol_set
std::vector< std::array< int, 2 > > last_val_set
std::vector< std::array< int, 2 > > last_val_float
std::vector< std::array< int, 2 > > sol_float
std::vector< std::tuple< FloatVal, FloatVal, int > > uniform_float
bool hadError
std::ostream & err

Detailed Description

State of the FlatZinc parser

Definition at line 185 of file parser.hh.

Constructor & Destructor Documentation

◆ ParserState() [1/2]

Gecode::FlatZinc::ParserState::ParserState ( const std::string & b,
std::ostream & err0,
Gecode::FlatZinc::FlatZincSpace * fg0 )
inline

Definition at line 187 of file parser.hh.

◆ ParserState() [2/2]

Gecode::FlatZinc::ParserState::ParserState ( char * buf0,
int length0,
std::ostream & err0,
Gecode::FlatZinc::FlatZincSpace * fg0 )
inline

Definition at line 192 of file parser.hh.

Member Function Documentation

◆ fillBuffer()

int Gecode::FlatZinc::ParserState::fillBuffer ( char * lexBuf,
unsigned int lexBufSize )
inline

Definition at line 236 of file parser.hh.

◆ output()

void Gecode::FlatZinc::ParserState::output ( std::string x,
AST::Node * n )
inline

Definition at line 245 of file parser.hh.

◆ getOutput()

AST::Array * Gecode::FlatZinc::ParserState::getOutput ( void )
inline

Definition at line 249 of file parser.hh.

Member Data Documentation

◆ yyscanner

void* Gecode::FlatZinc::ParserState::yyscanner

Definition at line 197 of file parser.hh.

◆ buf

const char* Gecode::FlatZinc::ParserState::buf

Definition at line 198 of file parser.hh.

◆ pos

unsigned int Gecode::FlatZinc::ParserState::pos

Definition at line 199 of file parser.hh.

◆ length

unsigned int Gecode::FlatZinc::ParserState::length

Definition at line 199 of file parser.hh.

◆ fg

Gecode::FlatZinc::FlatZincSpace* Gecode::FlatZinc::ParserState::fg

Definition at line 200 of file parser.hh.

◆ _output

std::vector<std::pair<std::string,AST::Node*> > Gecode::FlatZinc::ParserState::_output

Definition at line 201 of file parser.hh.

◆ symbols

SymbolTable<SymbolEntry> Gecode::FlatZinc::ParserState::symbols

Definition at line 203 of file parser.hh.

◆ intvars

std::vector<varspec> Gecode::FlatZinc::ParserState::intvars

Definition at line 205 of file parser.hh.

◆ boolvars

std::vector<varspec> Gecode::FlatZinc::ParserState::boolvars

Definition at line 206 of file parser.hh.

◆ setvars

std::vector<varspec> Gecode::FlatZinc::ParserState::setvars

Definition at line 207 of file parser.hh.

◆ floatvars

std::vector<varspec> Gecode::FlatZinc::ParserState::floatvars

Definition at line 208 of file parser.hh.

◆ arrays

std::vector<int> Gecode::FlatZinc::ParserState::arrays

Definition at line 209 of file parser.hh.

◆ setvals

std::vector<AST::SetLit> Gecode::FlatZinc::ParserState::setvals

Definition at line 210 of file parser.hh.

◆ floatvals

std::vector<double> Gecode::FlatZinc::ParserState::floatvals

Definition at line 211 of file parser.hh.

◆ constraints

std::vector<ConExpr*> Gecode::FlatZinc::ParserState::constraints

Definition at line 212 of file parser.hh.

◆ domainConstraints

std::vector<ConExpr*> Gecode::FlatZinc::ParserState::domainConstraints

Definition at line 214 of file parser.hh.

◆ status_idx

int Gecode::FlatZinc::ParserState::status_idx = -1

Definition at line 216 of file parser.hh.

◆ complete_idx

int Gecode::FlatZinc::ParserState::complete_idx = -1

Definition at line 217 of file parser.hh.

◆ last_val_int

std::vector<std::array<int, 2> > Gecode::FlatZinc::ParserState::last_val_int

Definition at line 218 of file parser.hh.

◆ sol_int

std::vector<std::array<int, 2> > Gecode::FlatZinc::ParserState::sol_int

Definition at line 219 of file parser.hh.

◆ uniform_int

std::vector<std::array<int, 3> > Gecode::FlatZinc::ParserState::uniform_int

Definition at line 220 of file parser.hh.

◆ sol_bool

std::vector<std::array<int, 2> > Gecode::FlatZinc::ParserState::sol_bool

Definition at line 221 of file parser.hh.

◆ last_val_bool

std::vector<std::array<int, 2> > Gecode::FlatZinc::ParserState::last_val_bool

Definition at line 222 of file parser.hh.

◆ sol_set

std::vector<std::array<int, 2> > Gecode::FlatZinc::ParserState::sol_set

Definition at line 224 of file parser.hh.

◆ last_val_set

std::vector<std::array<int, 2> > Gecode::FlatZinc::ParserState::last_val_set

Definition at line 225 of file parser.hh.

◆ last_val_float

std::vector<std::array<int, 2> > Gecode::FlatZinc::ParserState::last_val_float

Definition at line 228 of file parser.hh.

◆ sol_float

std::vector<std::array<int, 2> > Gecode::FlatZinc::ParserState::sol_float

Definition at line 229 of file parser.hh.

◆ uniform_float

std::vector<std::tuple<FloatVal, FloatVal, int> > Gecode::FlatZinc::ParserState::uniform_float

Definition at line 230 of file parser.hh.

◆ hadError

bool Gecode::FlatZinc::ParserState::hadError

Definition at line 233 of file parser.hh.

◆ err

std::ostream& Gecode::FlatZinc::ParserState::err

Definition at line 234 of file parser.hh.

The documentation for this class was generated from the following file: