Uses of Interface
edu.wis.jtlv.lib.AlgI

Packages that use AlgI

edu.wis.jtlv.lib	The main user library, with all published formal algorithm which where implemented through JTLV.
edu.wis.jtlv.lib.games	The library with all games algorithms which where implemented using JTLV.
edu.wis.jtlv.lib.mc	The library containing all implemented model checking algorithms.
edu.wis.jtlv.lib.mc.tl

Uses of AlgI in edu.wis.jtlv.lib

Constructors in edu.wis.jtlv.lib with parameters of type AlgI

AlgRunnerThread(AlgI algorithm)
A constructor for an algorithm runner.

Uses of AlgI in edu.wis.jtlv.lib.games

Subinterfaces of AlgI in edu.wis.jtlv.lib.games

interface	GameAlgI A general interface for mathematical games.
interface	GameAlgTwoPlayersI A general interface for mathematical games between two players.

Classes in edu.wis.jtlv.lib.games that implement AlgI

class	GR1GameAlg Nir Piterman, Amir Pnueli, and Yaniv Sa’ar.
class	RkGameAlg Nir Piterman, Amir Pnueli.

Uses of AlgI in edu.wis.jtlv.lib.mc

Classes in edu.wis.jtlv.lib.mc that implement AlgI

class	ModelCheckAlgI
class	SimpleDeadlockAlg An algorithm for performing deadlock check.
class	SimpleInvarianceAlg An algorithm for performing an invariance check.
class	SimpleReactAlg An algorithm for performing the react check.
class	SimpleTempEntailAlg An algorithm for performing the temp entailment check.

Uses of AlgI in edu.wis.jtlv.lib.mc.tl

Classes in edu.wis.jtlv.lib.mc.tl that implement AlgI

class	CTLModelCheckAlg An implementation for CTL model checking.
class	LTLModelCheckAlg There are two methods to use this algorithms:
class	LTLValidAlg Check validity of ltl formula on a given design (or without one).