CVC3
2.4.1
|
"Less" comparator for theorems by TheoremValue pointers More...
#include <theorem.h>
Public Member Functions | |
bool | operator() (const Theorem &t1, const Theorem &t2) const |
"Less" comparator for theorems by TheoremValue pointers
Definition at line 398 of file theorem.h.
References CVC3::compareByPtr().