public class EfsmTransitionPropertyExtractor extends ModelWalkerEngine
Transition property is a condition which determines suitable values of variables for the transition to be fired. For example, when the transition starts from the state which has a constraint "X" on state-like variables, and the transition has a guard "G", then the transition property is "X AND G".
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine identifier.
|
DISABLE_BACKENDS, NO_BACKEND
Constructor and Description |
---|
EfsmTransitionPropertyExtractor()
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 EfsmTransitionPropertyExtractor()
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