edu.wis.jtlv.lib
Interface AlgI

All Known Subinterfaces:

GameAlgI, GameAlgTwoPlayersI

All Known Implementing Classes:

CTLModelCheckAlg, GR1GameAlg, LTLModelCheckAlg, LTLValidAlg, ModelCheckAlgI, RkGameAlg, SimpleDeadlockAlg, SimpleInvarianceAlg, SimpleReactAlg, SimpleTempEntailAlg

public interface AlgI

Implement your algorithm, use or ignore what ever phases that you'd like.

Version:

"1.3.2"

Author:

yaniv sa'ar.

Method Summary

AlgResultI	doAlgorithm() The main algorithm phase.
AlgResultI	postAlgorithm() Post algorithm phase.
AlgResultI	preAlgorithm() Pre algorithm phase.

Method Detail

preAlgorithm

AlgResultI preAlgorithm()
                        throws AlgExceptionI

Pre algorithm phase.

Returns:

Any kind of results the algorithm choose to.

Throws:

AlgExceptionI - Wherever the algorithm implementor choose to.

doAlgorithm

AlgResultI doAlgorithm()
                       throws AlgExceptionI

The main algorithm phase.

Returns:

Any kind of results the algorithm choose to.

Throws:

AlgExceptionI - Wherever the algorithm implementor choose to.

postAlgorithm

AlgResultI postAlgorithm()
                         throws AlgExceptionI

Post algorithm phase.

Returns:

Any kind of results the algorithm choose to.

Throws:

AlgExceptionI - Wherever the algorithm implementor choose to.