Generated on Thu Mar 22 10:39:54 2012 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::Printer Class Reference

Output support class for FlatZinc interpreter. More...

#include <flatzinc.hh>

List of all members.

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)
void shrinkElement (AST::Node *node, std::map< int, int > &iv, std::map< int, int > &bv, std::map< int, int > &sv)
void shrinkArrays (Space &home, int &optVar, Gecode::IntVarArray &iv, Gecode::BoolVarArray &bv, Gecode::SetVarArray &sv)

Detailed Description

Output support class for FlatZinc interpreter.

Definition at line 105 of file flatzinc.hh.


Constructor & Destructor Documentation

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

Definition at line 118 of file flatzinc.hh.

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

Definition at line 1050 of file flatzinc.cpp.


Member Function Documentation

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

Definition at line 836 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 919 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 
)

Definition at line 956 of file flatzinc.cpp.

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

Definition at line 984 of file flatzinc.cpp.


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