Gecode::Gist::Comparator Class Reference
[Gist: the Gecode Interactive Search Tool]
Abstract base class for comparators. More...
#include <gist.hh>
Comparator interface | |
| |
virtual void | compare (const Space &s0, const Space &s1)=0 |
Call-back function. | |
virtual std::string | name (void) |
Name of the comparator. | |
virtual void | finalize (void) |
Clean up when Gist exits. | |
virtual | ~Comparator (void) |
Destructor. | |
Helper methods | |
| |
template<class Var > | |
static std::string | compare (std::string x_n, const VarArgArray< Var > &x, const VarArgArray< Var > &y) |
Return string representation of difference between arrays x and y, which are called x_n. | |
static std::string | compare (std::string x_n, IntVar x, IntVar y) |
Return string representation of difference between x and y, which are called x_n. | |
static std::string | compare (std::string x_n, BoolVar x, BoolVar y) |
Return string representation of difference between x and y, which are called x_n. | |
static std::string | compare (std::string x_n, SetVar x, SetVar y) |
Return string representation of difference between x and y, which are called x_n. | |
static std::string | compare (std::string x_n, FloatVar x, FloatVar y) |
Return string representation of difference between x and y, which are called x_n. |
Detailed Description
Abstract base class for comparators.
A comparator provides a virtual method that is called when a node in the search tree is compared to another node.
Definition at line 123 of file gist.hh.
Constructor & Destructor Documentation
Gecode::Gist::Comparator::~Comparator | ( | void | ) | [virtual] |
Member Function Documentation
virtual void Gecode::Gist::Comparator::compare | ( | const Space & | s0, | |
const Space & | s1 | |||
) | [pure virtual] |
Call-back function.
Implemented in Gecode::FlatZinc::FZPrintingComparator< S >, and Gecode::Gist::VarComparator< S >.
std::string Gecode::Gist::Comparator::name | ( | void | ) | [virtual] |
Name of the comparator.
Reimplemented in Gecode::Gist::VarComparator< S >.
void Gecode::Gist::Comparator::finalize | ( | void | ) | [virtual] |
Clean up when Gist exits.
Reimplemented in Gecode::Gist::VarComparator< S >.
template<class Var >
std::string Gecode::Gist::Comparator::compare | ( | std::string | x_n, | |
const VarArgArray< Var > & | x, | |||
const VarArgArray< Var > & | y | |||
) | [inline, static] |
The documentation for this class was generated from the following files:
- gecode/gist.hh (Revision: 14967)
- gecode/gist/gist.cpp (Revision: 14967)
- gecode/gist/gist.hpp (Revision: 14967)