Uses of Interface
gov.nasa.jpf.util.StateExtensionClient

Packages that use StateExtensionClient

Package	Description
gov.nasa.jpf.util
gov.nasa.jpf.util.script

Uses of StateExtensionClient in gov.nasa.jpf.util

Constructors in gov.nasa.jpf.util with parameters of type StateExtensionClient

Constructor and Description
StateExtensionListener(StateExtensionClient<T> cli)

Uses of StateExtensionClient in gov.nasa.jpf.util.script

Classes in gov.nasa.jpf.util.script that implement StateExtensionClient

Modifier and Type	Class and Description
class	ScriptEnvironment<CG extends ChoiceGenerator<?>> class representing a statemachine environment that produces SCEventGenerators from scripts