Uses of Interface
uk.ac.man.cs.rainbow.wvmc.StateEngine.Engine

Packages that use StateEngine.Engine

uk.ac.man.cs.rainbow.deadlock	Deadlock and temporal model checking.
uk.ac.man.cs.rainbow.rapa.abstraction	This package provides classes that support abstract interpretation of GCL derived from RAPA.
uk.ac.man.cs.rainbow.wvmc	Classes implementing a model-checker.

Uses of StateEngine.Engine in uk.ac.man.cs.rainbow.deadlock

Classes in uk.ac.man.cs.rainbow.deadlock that implement StateEngine.Engine

class

ModelCheck.Engine The view presented to the model-checker.

Uses of StateEngine.Engine in uk.ac.man.cs.rainbow.rapa.abstraction

Classes in uk.ac.man.cs.rainbow.rapa.abstraction that implement StateEngine.Engine

class

Explorer State-space explorer for abstract states.

Uses of StateEngine.Engine in uk.ac.man.cs.rainbow.wvmc

Methods in uk.ac.man.cs.rainbow.wvmc with parameters of type StateEngine.Engine

boolean	RemoteModelChecker.checkModel(String formula, int language, StateEngine.Engine stateEngine) Check the given temporal model against the given state space.
boolean	Checker.check(StateEngine.Engine engine) Check the temporal model against a state generator.
boolean	RMIServer.checkModel(String formula, int language, StateEngine.Engine stateEngine) Check the given temporal model against the given state space.