Generated on Wed Nov 5 2014 05:18:40 for Gecode by doxygen 1.7.6.1
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< varspecfloatvars
std::vector< int > arrays
std::vector< AST::SetLitsetvals
std::vector< double > floatvals
std::vector< ConExpr * > domainConstraints
bool hadError
std::ostream & err

Detailed Description

State of the FlatZinc parser

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

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

Definition at line 195 of file parser.hh.


Member Function Documentation

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

Definition at line 221 of file parser.hh.

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

Definition at line 230 of file parser.hh.

Definition at line 234 of file parser.hh.


Member Data Documentation

Definition at line 200 of file parser.hh.

Definition at line 201 of file parser.hh.

Definition at line 202 of file parser.hh.

Definition at line 202 of file parser.hh.

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

Definition at line 204 of file parser.hh.

Definition at line 208 of file parser.hh.

Definition at line 209 of file parser.hh.

Definition at line 210 of file parser.hh.

Definition at line 211 of file parser.hh.

Definition at line 212 of file parser.hh.

Definition at line 213 of file parser.hh.

Definition at line 214 of file parser.hh.

Definition at line 216 of file parser.hh.

Definition at line 218 of file parser.hh.

Definition at line 219 of file parser.hh.


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