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::Array *	getOutput (void)
Public Attributes
void *	yyscanner
const char *	buf
unsigned int	pos
unsigned int	length
Gecode::FlatZinc::FlatZincSpace *	fg
std::vector< std::pair < std::string, AST::Node * > >	_output
SymbolTable< SymbolEntry >	symbols
std::vector< varspec >	intvars
std::vector< varspec >	boolvars
std::vector< varspec >	setvars
std::vector< varspec >	floatvars
std::vector< int >	arrays
std::vector< AST::SetLit >	setvals
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

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

Definition at line 195 of file parser.hh.

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

Definition at line 196 of file parser.hh.

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

Definition at line 197 of file parser.hh.

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

Definition at line 197 of file parser.hh.

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

Definition at line 198 of file parser.hh.

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

Definition at line 199 of file parser.hh.

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

Definition at line 201 of file parser.hh.

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

Definition at line 203 of file parser.hh.

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

Definition at line 204 of file parser.hh.

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

Definition at line 205 of file parser.hh.

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

Definition at line 206 of file parser.hh.

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

Definition at line 207 of file parser.hh.

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

Definition at line 208 of file parser.hh.

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

Definition at line 209 of file parser.hh.

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

Definition at line 210 of file parser.hh.

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

Definition at line 212 of file parser.hh.

bool Gecode::FlatZinc::ParserState::hadError

Definition at line 214 of file parser.hh.

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

Definition at line 215 of file parser.hh.

---

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

• gecode/flatzinc/parser.hh