Gecode::FlatZinc::Printer Class Reference

Output support class for FlatZinc interpreter. More...

#include <flatzinc.hh>

Public Member Functions
	Printer (void)
void	init (AST::Array *output)
void	print (std::ostream &out, const Gecode::IntVarArray &iv, const Gecode::BoolVarArray &bv, const Gecode::SetVarArray &sv, const Gecode::FloatVarArray &fv) const
void	printDiff (std::ostream &out, const Gecode::IntVarArray &iv1, const Gecode::IntVarArray &iv2, const Gecode::BoolVarArray &bv1, const Gecode::BoolVarArray &bv2, const Gecode::SetVarArray &sv1, const Gecode::SetVarArray &sv2, const Gecode::FloatVarArray &fv1, const Gecode::FloatVarArray &fv2) const
	~Printer (void)
void	shrinkElement (AST::Node *node, std::map< int, int > &iv, std::map< int, int > &bv, std::map< int, int > &sv, std::map< int, int > &fv)
void	shrinkArrays (Space &home, int &optVar, bool optVarIsInt, Gecode::IntVarArray &iv, Gecode::BoolVarArray &bv, Gecode::SetVarArray &sv, Gecode::FloatVarArray &fv)

Detailed Description

Output support class for FlatZinc interpreter.

Definition at line 111 of file flatzinc.hh.

Gecode::FlatZinc::Printer::Printer ( void ) [inline]

Definition at line 145 of file flatzinc.hh.

Gecode::FlatZinc::Printer::~Printer ( void )

Definition at line 2400 of file flatzinc.cpp.

void Gecode::FlatZinc::Printer::init ( AST::Array * output )

Definition at line 1958 of file flatzinc.cpp.

void Gecode::FlatZinc::Printer::print	(	std::ostream &	out,
		const Gecode::IntVarArray &	iv,
		const Gecode::BoolVarArray &	bv,
		const Gecode::SetVarArray &	sv,
		const Gecode::FloatVarArray &	fv
	)			const

Definition at line 2175 of file flatzinc.cpp.

void Gecode::FlatZinc::Printer::printDiff	(	std::ostream &	out,
		const Gecode::IntVarArray &	iv1,
		const Gecode::IntVarArray &	iv2,
		const Gecode::BoolVarArray &	bv1,
		const Gecode::BoolVarArray &	bv2,
		const Gecode::SetVarArray &	sv1,
		const Gecode::SetVarArray &	sv2,
		const Gecode::FloatVarArray &	fv1,
		const Gecode::FloatVarArray &	fv2
	)			const

Definition at line 2222 of file flatzinc.cpp.

void Gecode::FlatZinc::Printer::shrinkElement	(	AST::Node *	node,
		std::map< int, int > &	iv,
		std::map< int, int > &	bv,
		std::map< int, int > &	sv,
		std::map< int, int > &	fv
	)

Definition at line 2273 of file flatzinc.cpp.

void Gecode::FlatZinc::Printer::shrinkArrays	(	Space &	home,
		int &	optVar,
		bool	optVarIsInt,
		Gecode::IntVarArray &	iv,
		Gecode::BoolVarArray &	bv,
		Gecode::SetVarArray &	sv,
		Gecode::FloatVarArray &	fv
	)

Definition at line 2308 of file flatzinc.cpp.

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