Rainbow
Interface ProgressWatcher

All Superinterfaces:

Remote

public interface ProgressWatcher

extends Remote

Model- and deadlock-checking progress observation callback.

Method Summary

void	progressing(int numEvaluations) Called to report how many proposition evaluations have been done during model checking.
void	progressing(int majorSteps, int minorSteps, int backtracks, int depth) Called to report how far through deadlocking the system has progressed.

Method Detail

progressing

public void progressing(int majorSteps,
                        int minorSteps,
                        int backtracks,
                        int depth)
                 throws RemoteException

Called to report how far through deadlocking the system has progressed. Note that because the number of overall steps is determined by the design (and is not pre-calculable) it is not generally possible to express this as a percentage.

progressing

public void progressing(int numEvaluations)
                 throws RemoteException

Called to report how many proposition evaluations have been done during model checking. Note that because the number of overall steps is determined by the design (and is not pre-calculable) it is not generally possible to express this as a percentage.