Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
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.

Constructor & Destructor Documentation

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

Definition at line 145 of file flatzinc.hh.

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

Definition at line 2394 of file flatzinc.cpp.

Member Function Documentation

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

Definition at line 1952 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 2169 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 2216 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 2267 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 2302 of file flatzinc.cpp.


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