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