Gecode::Gist::VarComparator< S > Class Template Reference
A simple comparator. More...
#include <gist.hh>
Public Member Functions | |
| VarComparator (std::string name) | |
| Constructor. | |
| virtual void | compare (const Space &s0, const Space &s1) |
| Compare s0 to s1. | |
| virtual std::string | name (void) |
| Return name. | |
| virtual void | finalize (void) |
| Finalize when Gist exits. | |
Detailed Description
template<class S>
class Gecode::Gist::VarComparator< S >
A simple comparator.
This class serves two purposes. First, it provides static methods that compare two variables or two arrays of variables and return a string representation of the differences. Second, it implements a Comparator that uses the compare method of the script to output the differences between two spaces.
Definition at line 215 of file gist.hh.
Constructor & Destructor Documentation
template<class S >
| Gecode::Gist::VarComparator< S >::VarComparator | ( | std::string | name | ) | [inline] |
Member Function Documentation
template<class S >
| void Gecode::Gist::VarComparator< S >::compare | ( | const Space & | s0, | |
| const Space & | s1 | |||
| ) | [inline, virtual] |
Compare s0 to s1.
Implements Gecode::Gist::Comparator.
Reimplemented in Gecode::FlatZinc::FZPrintingComparator< S >.
template<class S >
| std::string Gecode::Gist::VarComparator< S >::name | ( | void | ) | [inline, virtual] |
template<class S >
| void Gecode::Gist::VarComparator< S >::finalize | ( | void | ) | [inline, virtual] |
Finalize when Gist exits.
Reimplemented from Gecode::Gist::Comparator.
The documentation for this class was generated from the following files:
- gecode/gist.hh (Revision: 14967)
- gecode/gist/gist.hpp (Revision: 14967)