Generated on Fri Oct 19 11:25:56 2018 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< 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 * > constraints
std::vector< ConExpr * > domainConstraints
bool hadError
std::ostream & err

Detailed Description

State of the FlatZinc parser

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

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

Definition at line 190 of file parser.hh.


Member Function Documentation

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

Definition at line 217 of file parser.hh.

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

Definition at line 226 of file parser.hh.

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

Definition at line 230 of file parser.hh.


Member Data Documentation

Definition at line 195 of file parser.hh.

Definition at line 196 of file parser.hh.

Definition at line 197 of file parser.hh.

Definition at line 197 of file parser.hh.

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

Definition at line 199 of file parser.hh.

Definition at line 203 of file parser.hh.

Definition at line 204 of file parser.hh.

Definition at line 205 of file parser.hh.

Definition at line 206 of file parser.hh.

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

Definition at line 214 of file parser.hh.

Definition at line 215 of file parser.hh.


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