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
	~Printer (void)

Detailed Description

Output support class for FlatZinc interpreter.

Definition at line 103 of file flatzinc.hh.

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

Definition at line 116 of file flatzinc.hh.

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

Definition at line 750 of file flatzinc.cpp.

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

Definition at line 597 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

Definition at line 680 of file flatzinc.cpp.

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