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 1699 of file flatzinc.cpp.
Constructor & Destructor Documentation
template<class S >
Gecode::FlatZinc::FZPrintingComparator< S >::FZPrintingComparator | ( | const Printer & | p0 | ) | [inline] |
Constructor.
Definition at line 1712 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 1717 of file flatzinc.cpp.
The documentation for this class was generated from the following file:
- gecode/flatzinc/flatzinc.cpp