cvc4-1.4
|
A helper class for comparing two statistics. More...
#include <statistics.h>
Public Member Functions | |
bool | operator() (const Stat *s1, const Stat *s2) const |
A helper class for comparing two statistics.
Definition at line 41 of file statistics.h.
bool CVC4::StatisticsBase::StatCmp::operator() | ( | const Stat * | s1, |
const Stat * | s2 | ||
) | const |