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) | |
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) |
Output support class for FlatZinc interpreter.
Definition at line 105 of file flatzinc.hh.
|
inline |
Definition at line 118 of file flatzinc.hh.
Gecode::FlatZinc::Printer::~Printer | ( | void | ) |
Definition at line 1050 of file flatzinc.cpp.
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.