Package | Description |
---|---|
gov.nasa.jpf.util | |
gov.nasa.jpf.util.script |
Constructor and Description |
---|
StateExtensionListener(StateExtensionClient<T> cli) |
Modifier and Type | Class and Description |
---|---|
class |
ScriptEnvironment<CG extends ChoiceGenerator<?>>
class representing a statemachine environment that produces SCEventGenerators
from scripts
|