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 | addIntVarName (const std::string &n) |
const std::string & | intVarName (int i) const |
void | addBoolVarName (const std::string &n) |
const std::string & | boolVarName (int i) const |
void | addFloatVarName (const std::string &n) |
const std::string & | floatVarName (int i) const |
void | addSetVarName (const std::string &n) |
const std::string & | setVarName (int i) const |
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 107 of file flatzinc.hh.
Constructor & Destructor Documentation
Gecode::FlatZinc::Printer::Printer | ( | void | ) | [inline] |
Definition at line 153 of file flatzinc.hh.
Gecode::FlatZinc::Printer::~Printer | ( | void | ) |
Definition at line 2877 of file flatzinc.cpp.
Member Function Documentation
void Gecode::FlatZinc::Printer::init | ( | AST::Array * | output | ) |
Definition at line 2414 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 2631 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 2678 of file flatzinc.cpp.
void Gecode::FlatZinc::Printer::addIntVarName | ( | const std::string & | n | ) |
Definition at line 2729 of file flatzinc.cpp.
const std::string& Gecode::FlatZinc::Printer::intVarName | ( | int | i | ) | const [inline] |
Definition at line 187 of file flatzinc.hh.
void Gecode::FlatZinc::Printer::addBoolVarName | ( | const std::string & | n | ) |
Definition at line 2733 of file flatzinc.cpp.
const std::string& Gecode::FlatZinc::Printer::boolVarName | ( | int | i | ) | const [inline] |
Definition at line 189 of file flatzinc.hh.
void Gecode::FlatZinc::Printer::addFloatVarName | ( | const std::string & | n | ) |
Definition at line 2738 of file flatzinc.cpp.
const std::string& Gecode::FlatZinc::Printer::floatVarName | ( | int | i | ) | const [inline] |
Definition at line 192 of file flatzinc.hh.
void Gecode::FlatZinc::Printer::addSetVarName | ( | const std::string & | n | ) |
Definition at line 2744 of file flatzinc.cpp.
const std::string& Gecode::FlatZinc::Printer::setVarName | ( | int | i | ) | const [inline] |
Definition at line 196 of file flatzinc.hh.
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 2750 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 2785 of file flatzinc.cpp.
The documentation for this class was generated from the following files:
- gecode/flatzinc.hh
- gecode/flatzinc/flatzinc.cpp