Package org.topbraid.spin.statistics

Support for collecting statistics about the execution time of SPIN queries.

See: Description

Interface Summary

Interface	Description
SPINStatisticsListener	An interface for objects interested in updates to the SPINStatisticsManager.

Class Summary

Class	Description
SPINStatistics	A wrapper to record the execution time of a given Query for statistical purposes.
SPINStatisticsManager	A singleton managing statistics for SPIN execution.

Package org.topbraid.spin.statistics Description

Support for collecting statistics about the execution time of SPIN queries.