org.topbraid.spin.statistics

Interface SPINStatisticsListener

public interface SPINStatisticsListener

An interface for objects interested in updates to the SPINStatisticsManager. This can be used to track the execution of SPIN with real-time updates.

Author:

Holger Knublauch

Method Summary

Modifier and Type	Method and Description
void	statisticsUpdated() Called whenever the statistics have been updated.

Method Detail

statisticsUpdated

void statisticsUpdated()

Called whenever the statistics have been updated.