Generated on Mon May 10 06:46:55 2010 for Gecode by doxygen 1.6.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< 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 77 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 79 of file parser.hh.

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

Definition at line 84 of file parser.hh.


Member Function Documentation

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

Definition at line 119 of file parser.hh.

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

Definition at line 128 of file parser.hh.

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

Definition at line 132 of file parser.hh.


Member Data Documentation

Definition at line 89 of file parser.hh.

Definition at line 90 of file parser.hh.

Definition at line 91 of file parser.hh.

Definition at line 91 of file parser.hh.

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

Definition at line 93 of file parser.hh.

Definition at line 99 of file parser.hh.

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

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

Definition at line 116 of file parser.hh.

Definition at line 117 of file parser.hh.


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