cvc4-1.3
CVC4::stats Namespace Reference

Functions

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

Function Documentation

StatisticsRegistry* CVC4::stats::getStatisticsRegistry ( SmtEngine *  )
StatisticsRegistry* CVC4::stats::getStatisticsRegistry ( ExprManager )