Generated on Tue Jul 27 2010 21:59:26 for Gecode by doxygen 1.7.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< int > intvarTable
SymbolTable< int > boolvarTable
SymbolTable< int > floatvarTable
SymbolTable< int > setvarTable
SymbolTable< std::vector< int > > intvararrays
SymbolTable< std::vector< int > > boolvararrays
SymbolTable< std::vector< int > > floatvararrays
SymbolTable< std::vector< int > > setvararrays
SymbolTable< std::vector< int > > intvalarrays
SymbolTable< std::vector< int > > boolvalarrays
SymbolTable< int > intvals
SymbolTable< bool > boolvals
SymbolTable< AST::SetLitsetvals
SymbolTable< std::vector
< AST::SetLit > > 
setvalarrays
std::vector< varspecintvars
std::vector< varspecboolvars
std::vector< varspecsetvars
std::vector< ConExpr * > domainConstraints
bool hadError
std::ostream & err

Detailed Description

State of the FlatZinc parser

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

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

Definition at line 95 of file parser.hh.


Member Function Documentation

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

Definition at line 130 of file parser.hh.

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

Definition at line 139 of file parser.hh.

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

Definition at line 143 of file parser.hh.


Member Data Documentation

Definition at line 100 of file parser.hh.

Definition at line 101 of file parser.hh.

Definition at line 102 of file parser.hh.

Definition at line 102 of file parser.hh.

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

Definition at line 104 of file parser.hh.

Definition at line 110 of file parser.hh.

Definition at line 111 of file parser.hh.

Definition at line 112 of file parser.hh.

Definition at line 113 of file parser.hh.

Definition at line 114 of file parser.hh.

Definition at line 115 of file parser.hh.

Definition at line 121 of file parser.hh.

Definition at line 122 of file parser.hh.

Definition at line 123 of file parser.hh.

Definition at line 125 of file parser.hh.

Definition at line 127 of file parser.hh.

Definition at line 128 of file parser.hh.


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