|
| 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. More...
|
| |
| 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. More...
|
| |
| 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. More...
|
| |
| 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. More...
|
| |
| 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. More...
|
| |
| void | init (void) |
| | Initialize the implementation object. More...
|
| |
| std::ostream & | getStream (void) |
| | Get the stream that is used to output text. More...
|
| |
| void | flush (void) |
| | Flush stream. More...
|
| |
| void | addHtml (const char *s) |
| | Add html text s to the output. More...
|
| |
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.