5 #ifdef SMTRAT_DEVOPTION_Statistics
12 std::size_t mCalled = 0;
13 std::size_t mSuccess = 0;
15 bool enabled()
const {
16 return (mCalled > 0) || (mSuccess > 0);
19 Statistics::addKeyValuePair(
"called", mCalled);
20 Statistics::addKeyValuePair(
"success", mSuccess);
Class to create the formulas for axioms.
carl::statistics::Statistics Statistics