
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< S >::VarComparator | ( | std::string | name | ) |
| void Gecode::Gist::VarComparator< S >::compare | ( | const Space & | s0, |
| const Space & | s1 | ||
| ) | [virtual] |
| std::string Gecode::Gist::VarComparator< S >::name | ( | void | ) | [virtual] |
| void Gecode::Gist::VarComparator< S >::finalize | ( | void | ) | [virtual] |
Finalize when Gist exits.
Reimplemented from Gecode::Gist::Comparator.