Generated on Fri Aug 31 2012 16:22:41 for Gecode by doxygen 1.8.1.2
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::ArraygetOutput (void)

Public Attributes

void * yyscanner
const char * buf
unsigned int pos
unsigned int length
Gecode::FlatZinc::FlatZincSpacefg
std::vector< std::pair
< std::string, AST::Node * > > 
_output
SymbolTable< SymbolEntrysymbols
std::vector< varspecintvars
std::vector< varspecboolvars
std::vector< varspecsetvars
std::vector< int > arrays
std::vector< AST::SetLitsetvals
std::vector< ConExpr * > domainConstraints
bool hadError
std::ostream & err

Detailed Description

State of the FlatZinc parser

Definition at line 179 of file parser.hh.

Constructor & Destructor Documentation

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

Definition at line 181 of file parser.hh.

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

Definition at line 186 of file parser.hh.

Member Function Documentation

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

Definition at line 225 of file parser.hh.

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

Definition at line 234 of file parser.hh.

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

Definition at line 238 of file parser.hh.

Member Data Documentation

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

Definition at line 191 of file parser.hh.

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

Definition at line 192 of file parser.hh.

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

Definition at line 193 of file parser.hh.

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

Definition at line 193 of file parser.hh.

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

Definition at line 194 of file parser.hh.

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

Definition at line 195 of file parser.hh.

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

Definition at line 197 of file parser.hh.

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

Definition at line 214 of file parser.hh.

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

Definition at line 215 of file parser.hh.

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

Definition at line 216 of file parser.hh.

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

Definition at line 217 of file parser.hh.

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

Definition at line 218 of file parser.hh.

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

Definition at line 220 of file parser.hh.

bool Gecode::FlatZinc::ParserState::hadError

Definition at line 222 of file parser.hh.

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

Definition at line 223 of file parser.hh.


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