public class EfsmTransitionAssertExtractor extends EfsmEngine
Transition assertion 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 assertion is "X AND G".
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine identifier.
|
visitor
Constructor and Description |
---|
EfsmTransitionAssertExtractor()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
Entity |
getOutput()
Returns an output entity of this engine.
|
void |
initialise(java.util.Map<EntityType,Entity> inputs)
Initialises this EFSM engine with the specified inputs.
|
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 EfsmTransitionAssertExtractor()
public void initialise(java.util.Map<EntityType,Entity> inputs)
EfsmEngine
initialise
in class EfsmEngine
inputs
- a map containing mappings between entity types and corresponding entitiespublic Entity getOutput()
EfsmEngine
getOutput
in class EfsmEngine