Generated on Sat Feb 12 2011 17:41:19 for Gecode by doxygen 1.7.3

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 180 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 182 of file parser.hh.

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

Definition at line 187 of file parser.hh.


Member Function Documentation

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

Definition at line 226 of file parser.hh.

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

Definition at line 235 of file parser.hh.

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

Definition at line 239 of file parser.hh.


Member Data Documentation

Definition at line 192 of file parser.hh.

Definition at line 193 of file parser.hh.

Definition at line 194 of file parser.hh.

Definition at line 194 of file parser.hh.

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

Definition at line 196 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 219 of file parser.hh.

Definition at line 221 of file parser.hh.

Definition at line 223 of file parser.hh.

Definition at line 224 of file parser.hh.


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