Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
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

◆ Printer()

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

Definition at line 153 of file flatzinc.hh.

◆ ~Printer()

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

Definition at line 2877 of file flatzinc.cpp.

Member Function Documentation

◆ init()

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

Definition at line 2414 of file flatzinc.cpp.

◆ print()

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.

◆ printDiff()

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.

◆ addIntVarName()

void Gecode::FlatZinc::Printer::addIntVarName ( const std::string & n)

Definition at line 2729 of file flatzinc.cpp.

◆ intVarName()

const std::string & Gecode::FlatZinc::Printer::intVarName ( int i) const
inline

Definition at line 187 of file flatzinc.hh.

◆ addBoolVarName()

void Gecode::FlatZinc::Printer::addBoolVarName ( const std::string & n)

Definition at line 2733 of file flatzinc.cpp.

◆ boolVarName()

const std::string & Gecode::FlatZinc::Printer::boolVarName ( int i) const
inline

Definition at line 189 of file flatzinc.hh.

◆ addFloatVarName()

void Gecode::FlatZinc::Printer::addFloatVarName ( const std::string & n)

Definition at line 2738 of file flatzinc.cpp.

◆ floatVarName()

const std::string & Gecode::FlatZinc::Printer::floatVarName ( int i) const
inline

Definition at line 192 of file flatzinc.hh.

◆ addSetVarName()

void Gecode::FlatZinc::Printer::addSetVarName ( const std::string & n)

Definition at line 2744 of file flatzinc.cpp.

◆ setVarName()

const std::string & Gecode::FlatZinc::Printer::setVarName ( int i) const
inline

Definition at line 196 of file flatzinc.hh.

◆ shrinkElement()

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.

◆ shrinkArrays()

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: