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 |
~Printer (void) |
Detailed Description
Output support class for FlatZinc interpreter.
Definition at line 103 of file flatzinc.hh.
Constructor & Destructor Documentation
Gecode::FlatZinc::Printer::Printer | ( | void | ) | [inline] |
Definition at line 116 of file flatzinc.hh.
Gecode::FlatZinc::Printer::~Printer | ( | void | ) |
Definition at line 750 of file flatzinc.cpp.
Member Function Documentation
void Gecode::FlatZinc::Printer::init | ( | AST::Array * | output | ) |
Definition at line 597 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 680 of file flatzinc.cpp.
The documentation for this class was generated from the following files:
- gecode/flatzinc.hh (Revision: 9995)
- gecode/flatzinc/flatzinc.cpp (Revision: 9995)