Gecode::FlatZinc::ParserState Class Reference
State of the FlatZinc parser More...
#include <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< int > | intvarTable |
SymbolTable< int > | boolvarTable |
SymbolTable< int > | floatvarTable |
SymbolTable< int > | setvarTable |
SymbolTable< std::vector< int > > | intvararrays |
SymbolTable< std::vector< int > > | boolvararrays |
SymbolTable< std::vector< int > > | floatvararrays |
SymbolTable< std::vector< int > > | setvararrays |
SymbolTable< std::vector< int > > | intvalarrays |
SymbolTable< std::vector< int > > | boolvalarrays |
SymbolTable< int > | intvals |
SymbolTable< bool > | boolvals |
SymbolTable< AST::SetLit > | setvals |
SymbolTable< std::vector < AST::SetLit > > | setvalarrays |
std::vector< varspec > | intvars |
std::vector< varspec > | boolvars |
std::vector< varspec > | setvars |
std::vector< ConExpr * > | domainConstraints |
bool | hadError |
std::ostream & | err |
Detailed Description
State of the FlatZinc parser
Definition at line 77 of file parser.hh.
Constructor & Destructor Documentation
Gecode::FlatZinc::ParserState::ParserState | ( | const std::string & | b, | |
std::ostream & | err0, | |||
Gecode::FlatZinc::FlatZincSpace * | fg0 | |||
) | [inline] |
Gecode::FlatZinc::ParserState::ParserState | ( | char * | buf0, | |
int | length0, | |||
std::ostream & | err0, | |||
Gecode::FlatZinc::FlatZincSpace * | fg0 | |||
) | [inline] |
Member Function Documentation
int Gecode::FlatZinc::ParserState::fillBuffer | ( | char * | lexBuf, | |
unsigned int | lexBufSize | |||
) | [inline] |
void Gecode::FlatZinc::ParserState::output | ( | std::string | x, | |
AST::Node * | n | |||
) | [inline] |
AST::Array* Gecode::FlatZinc::ParserState::getOutput | ( | void | ) | [inline] |
Member Data Documentation
const char* Gecode::FlatZinc::ParserState::buf |
unsigned int Gecode::FlatZinc::ParserState::pos |
unsigned int Gecode::FlatZinc::ParserState::length |
std::vector<std::pair<std::string,AST::Node*> > Gecode::FlatZinc::ParserState::_output |
SymbolTable<std::vector<int> > Gecode::FlatZinc::ParserState::intvararrays |
SymbolTable<std::vector<int> > Gecode::FlatZinc::ParserState::boolvararrays |
SymbolTable<std::vector<int> > Gecode::FlatZinc::ParserState::floatvararrays |
SymbolTable<std::vector<int> > Gecode::FlatZinc::ParserState::setvararrays |
SymbolTable<std::vector<int> > Gecode::FlatZinc::ParserState::intvalarrays |
SymbolTable<std::vector<int> > Gecode::FlatZinc::ParserState::boolvalarrays |
SymbolTable<std::vector<AST::SetLit> > Gecode::FlatZinc::ParserState::setvalarrays |
std::vector<varspec> Gecode::FlatZinc::ParserState::intvars |
std::vector<varspec> Gecode::FlatZinc::ParserState::boolvars |
std::vector<varspec> Gecode::FlatZinc::ParserState::setvars |
std::vector<ConExpr*> Gecode::FlatZinc::ParserState::domainConstraints |
std::ostream& Gecode::FlatZinc::ParserState::err |
The documentation for this class was generated from the following file:
- gecode/flatzinc/parser.hh (Revision: 10682)