Uses of Class
gov.nasa.jpf.report.Statistics

Packages that use Statistics

Package	Description
gov.nasa.jpf.report

Uses of Statistics in gov.nasa.jpf.report

Fields in gov.nasa.jpf.report declared as Statistics

Modifier and Type	Field and Description
protected Statistics	Reporter.stat

Methods in gov.nasa.jpf.report that return Statistics

Modifier and Type	Method and Description
Statistics	Statistics.clone()
Statistics	Reporter.getRegisteredStatistics()
Statistics	Reporter.getStatistics()
Statistics	Reporter.getStatisticsSnapshot()