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< 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 |
bool | hadError |
std::ostream & | err |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Gecode::FlatZinc::FlatZincSpace* Gecode::FlatZinc::ParserState::fg |
std::vector<std::pair<std::string,AST::Node*> > Gecode::FlatZinc::ParserState::_output |
SymbolTable<SymbolEntry> Gecode::FlatZinc::ParserState::symbols |
std::vector<varspec> Gecode::FlatZinc::ParserState::intvars |
std::vector<varspec> Gecode::FlatZinc::ParserState::boolvars |
std::vector<varspec> Gecode::FlatZinc::ParserState::setvars |
std::vector<varspec> Gecode::FlatZinc::ParserState::floatvars |
std::vector<AST::SetLit> Gecode::FlatZinc::ParserState::setvals |
std::vector<double> Gecode::FlatZinc::ParserState::floatvals |
std::vector<ConExpr*> Gecode::FlatZinc::ParserState::constraints |
std::vector<ConExpr*> Gecode::FlatZinc::ParserState::domainConstraints |