llvm::SMTSolverStatistics

Synopsis

Declared in <llvm/Support/SMTAPI.h>

class SMTSolverStatistics;

Name	Description
`SMTSolverStatistics` [constructor]	Construct empty solver statistics.
`~SMTSolverStatistics` [destructor] [virtual]	Destroy these solver statistics.
`dump`	Dump these statistics to the debug stream.
`getDouble` [virtual]	Return a double-valued statistic by name.
`getUnsigned` [virtual]	Return an unsigned statistic by name.
`print` [virtual]	Print these statistics to an output stream.