cvc4-1.4
CVC4::stats Namespace Reference

Functions

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

Function Documentation

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