
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) |
Output support class for FlatZinc interpreter.
Definition at line 111 of file flatzinc.hh.
|
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.