cprover
|
Capability to collect the statistics of the complexity of individual solver queries. More...
Go to the source code of this file.
Classes | |
class | hardness_collectort |
Functions | |
template<typename T > | |
void | with_solver_hardness (T &maybe_hardness_collector, hardness_collectort::handlert handler) |
Capability to collect the statistics of the complexity of individual solver queries.
Definition in file hardness_collector.h.
void with_solver_hardness | ( | T & | maybe_hardness_collector, |
hardness_collectort::handlert | handler | ||
) |
Definition at line 32 of file hardness_collector.h.