Uses of Class
org.topbraid.spin.statistics.SPINStatisticsManager

Packages that use SPINStatisticsManager

Package	Description
org.topbraid.spin.statistics	Support for collecting statistics about the execution time of SPIN queries.

Uses of SPINStatisticsManager in org.topbraid.spin.statistics

Methods in org.topbraid.spin.statistics that return SPINStatisticsManager

Modifier and Type	Method and Description
static SPINStatisticsManager	SPINStatisticsManager.get() Gets the singleton instance of this class.