Generated on Wed Jul 27 2011 15:09:08 for Gecode by doxygen 1.7.4
Gecode::FlatZinc::ParserState Class Reference

State of the FlatZinc parser More...

#include <parser.hh>

List of all members.

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

Definition at line 191 of file parser.hh.

Definition at line 192 of file parser.hh.

Definition at line 193 of file parser.hh.

Definition at line 193 of file parser.hh.

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

Definition at line 195 of file parser.hh.

Definition at line 214 of file parser.hh.

Definition at line 215 of file parser.hh.

Definition at line 216 of file parser.hh.

Definition at line 217 of file parser.hh.

Definition at line 218 of file parser.hh.

Definition at line 220 of file parser.hh.

Definition at line 222 of file parser.hh.

Definition at line 223 of file parser.hh.


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