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. |
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.
|
virtual |
Call-back function.
Implemented in Gecode::FlatZinc::FZPrintingComparator< S >, and Gecode::Gist::VarComparator< S >.
|
virtual |
Name of the comparator.
Reimplemented in Gecode::Gist::VarComparator< S >.
|
virtual |
Clean up when Gist exits.
Reimplemented in Gecode::Gist::VarComparator< S >.
|
static |