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. |
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.
Gecode::Gist::VarComparator::VarComparator | ( | std::string | name | ) |
std::string Gecode::Gist::VarComparator::name | ( | void | ) | [virtual] |
void Gecode::Gist::VarComparator::finalize | ( | void | ) | [virtual] |
Finalize when Gist exits.
Reimplemented from Gecode::Gist::Comparator.