Searched refs:ProofManagerStatistics (Results 1 – 2 of 2) sorted by relevance
307 struct ProofManagerStatistics struct309 ProofManagerStatistics();310 ~ProofManagerStatistics();319 ProofManagerStatistics d_stats;
1076 ProofManager::ProofManagerStatistics::ProofManagerStatistics() in ProofManagerStatistics() function in CVC4::ProofManager::ProofManagerStatistics1082 ProofManager::ProofManagerStatistics::~ProofManagerStatistics() in ~ProofManagerStatistics()