public final class CgaaEfsmTransformer extends ModelWalkerEngine
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine identifier.
|
static Parameter |
STATE_MAX_NUM
State maximum number parameter.
|
static Parameter |
STATE_VARIABLES
State-like variables names command line parameter.
|
Constructor and Description |
---|
CgaaEfsmTransformer()
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, defines, equals, getId, getInputEntity, getInputTypes, getLogger, getOptionalInputEntity, getOutputType, getParameters, hashCode, parseCommandLine, setOutputType, start, toString
public static final java.lang.String ENGINE_ID
public static final Parameter STATE_VARIABLES
public static final Parameter STATE_MAX_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