CVC3
2.4.1
|
"Less" comparator for theorems by TheoremValue pointers More...
#include <theorem.h>
"Less" comparator for theorems by TheoremValue pointers
Definition at line 398 of file theorem.h.
References CVC3::compareByPtr().