Generated on Mon Nov 30 23:53:48 2009 for Gecode by doxygen 1.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)
 ParserState (char *buf0, int length0, std::ostream &err0)
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 78 of file parser.hh.


Constructor & Destructor Documentation

Gecode::FlatZinc::ParserState::ParserState ( const std::string &  b,
std::ostream &  err0 
) [inline]

Definition at line 80 of file parser.hh.

Gecode::FlatZinc::ParserState::ParserState ( char *  buf0,
int  length0,
std::ostream &  err0 
) [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 118 of file parser.hh.

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

Definition at line 127 of file parser.hh.

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

Definition at line 131 of file parser.hh.


Member Data Documentation

Definition at line 88 of file parser.hh.

Definition at line 89 of file parser.hh.

Definition at line 90 of file parser.hh.

Definition at line 90 of file parser.hh.

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

Definition at line 92 of file parser.hh.

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

Definition at line 110 of file parser.hh.

Definition at line 111 of file parser.hh.

Definition at line 113 of file parser.hh.

Definition at line 115 of file parser.hh.

Definition at line 116 of file parser.hh.


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