Gecode::FlatZinc::FZPrintingComparator< S > Class Template Reference
Public Member Functions | |
| FZPrintingComparator (const Printer &p0) | |
| Constructor. | |
| virtual void | compare (const Space &s0, const Space &s1) |
| Use the compare method of the template class S to compare two spaces. | |
Detailed Description
template<class S>
class Gecode::FlatZinc::FZPrintingComparator< S >
Definition at line 1624 of file flatzinc.cpp.
Constructor & Destructor Documentation
template<class S >
| Gecode::FlatZinc::FZPrintingComparator< S >::FZPrintingComparator | ( | const Printer & | p0 | ) | [inline] |
Constructor.
Definition at line 1637 of file flatzinc.cpp.
Member Function Documentation
template<class S >
| void Gecode::FlatZinc::FZPrintingComparator< S >::compare | ( | const Space & | s0, | |
| const Space & | s1 | |||
| ) | [inline, virtual] |
Use the compare method of the template class S to compare two spaces.
Reimplemented from Gecode::Gist::VarComparator< S >.
Definition at line 1642 of file flatzinc.cpp.
The documentation for this class was generated from the following file:
- gecode/flatzinc/flatzinc.cpp (Revision: 15623)