Uses of Package
org.topbraid.spin.statistics

Packages that use org.topbraid.spin.statistics

Package	Description
org.topbraid.spin.constraints	Support for constraint checking using spin:constraint.
org.topbraid.spin.inference	Support for inferencing using spin:rule and spin:constructor.
org.topbraid.spin.statistics	Support for collecting statistics about the execution time of SPIN queries.

Classes in org.topbraid.spin.statistics used by org.topbraid.spin.constraints

Class and Description
SPINStatistics A wrapper to record the execution time of a given Query for statistical purposes.

Classes in org.topbraid.spin.statistics used by org.topbraid.spin.inference

Class and Description
SPINStatistics A wrapper to record the execution time of a given Query for statistical purposes.

Classes in org.topbraid.spin.statistics used by org.topbraid.spin.statistics

Class and Description
SPINStatistics A wrapper to record the execution time of a given Query for statistical purposes.
SPINStatisticsListener An interface for objects interested in updates to the SPINStatisticsManager.
SPINStatisticsManager A singleton managing statistics for SPIN execution.