CVC3::TheoremLess Class Reference
"Less" comparator for theorems by
TheoremValue pointers
More...
#include <theorem.h>
List of all members.
Public Member Functions
Detailed Description
"Less" comparator for theorems by
TheoremValue pointers
Definition at line 396 of file theorem.h.
Member Function Documentation
bool CVC3::TheoremLess::operator() |
( |
const Theorem & |
t1, |
|
|
const Theorem & |
t2 | |
|
) |
| | const [inline] |
The documentation for this class was generated from the following file: