Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
Gecode::FlatZinc::ParserState Class Reference

State of the FlatZinc parser More...

#include <parser.hh>

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

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

Definition at line 231 of file parser.hh.

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

Definition at line 235 of file parser.hh.

Member Data Documentation

void* Gecode::FlatZinc::ParserState::yyscanner

Definition at line 200 of file parser.hh.

const char* Gecode::FlatZinc::ParserState::buf

Definition at line 201 of file parser.hh.

unsigned int Gecode::FlatZinc::ParserState::pos

Definition at line 202 of file parser.hh.

unsigned int Gecode::FlatZinc::ParserState::length

Definition at line 202 of file parser.hh.

Gecode::FlatZinc::FlatZincSpace* Gecode::FlatZinc::ParserState::fg

Definition at line 203 of file parser.hh.

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

Definition at line 204 of file parser.hh.

SymbolTable<SymbolEntry> Gecode::FlatZinc::ParserState::symbols

Definition at line 206 of file parser.hh.

std::vector<varspec> Gecode::FlatZinc::ParserState::intvars

Definition at line 208 of file parser.hh.

std::vector<varspec> Gecode::FlatZinc::ParserState::boolvars

Definition at line 209 of file parser.hh.

std::vector<varspec> Gecode::FlatZinc::ParserState::setvars

Definition at line 210 of file parser.hh.

std::vector<varspec> Gecode::FlatZinc::ParserState::floatvars

Definition at line 211 of file parser.hh.

std::vector<int> Gecode::FlatZinc::ParserState::arrays

Definition at line 212 of file parser.hh.

std::vector<AST::SetLit> Gecode::FlatZinc::ParserState::setvals

Definition at line 213 of file parser.hh.

std::vector<double> Gecode::FlatZinc::ParserState::floatvals

Definition at line 214 of file parser.hh.

std::vector<ConExpr*> Gecode::FlatZinc::ParserState::constraints

Definition at line 215 of file parser.hh.

std::vector<ConExpr*> Gecode::FlatZinc::ParserState::domainConstraints

Definition at line 217 of file parser.hh.

bool Gecode::FlatZinc::ParserState::hadError

Definition at line 219 of file parser.hh.

std::ostream& Gecode::FlatZinc::ParserState::err

Definition at line 220 of file parser.hh.


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