public final class GaddEfsmTransformer extends ModelWalkerEngine
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine identifier.
|
static Parameter |
STATE_NUM
State maximum number parameter.
|
static Parameter |
STATE_VARIABLES
State-like variables names command line parameter.
|
DISABLE_BACKENDS, NO_BACKEND
Constructor and Description |
---|
GaddEfsmTransformer()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
Entity |
getOutput()
Returns engine output entity.
|
void |
initialize(java.util.Map<EntityType,Entity> inputs)
Initializes engine with the specified inputs.
|
getInitVisitor, getWalkers, setWalkers, start
addBackend, addInputType, addParameter, deactivateBackends, debugWrite, debugWrite, defines, disableAllBackends, enableAllBackends, equals, getBackends, getId, getInputEntity, getInputTypes, getLogger, getOptionalInputEntity, getOutputType, getParameters, hashCode, isDebugMode, parseCommandLine, setDebugMode, setOutputType, start, toString
public static final java.lang.String ENGINE_ID
public static final Parameter STATE_VARIABLES
public static final Parameter STATE_NUM
public void initialize(java.util.Map<EntityType,Entity> inputs)
ModelWalkerEngine
initialize
in class ModelWalkerEngine
inputs
- Engine inputs.public Entity getOutput()
ModelWalkerEngine
getOutput
in class ModelWalkerEngine