CVC4::stats Namespace Reference

Functions
StatisticsRegistry *	getStatisticsRegistry (SmtEngine *)
StatisticsRegistry *	getStatisticsRegistry (ExprManager *)

Function Documentation

StatisticsRegistry* CVC4::stats::getStatisticsRegistry

(

SmtEngine *

)

StatisticsRegistry* CVC4::stats::getStatisticsRegistry

(

ExprManager *

)