public class AtomicStatechart extends Statechart<AtomicEvent>
| Modifier and Type | Field and Description |
|---|---|
protected Alphabet<AtomicEvent> |
m_alphabet
The alphabet associated to this statechart
|
m_currentState, m_initialState, m_initialValues, m_name, m_parent, m_trashState, m_trashTransition, m_variables, TRASH, UP| Constructor and Description |
|---|
AtomicStatechart() |
AtomicStatechart(java.lang.String name) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<AtomicEvent> |
getAlphabet()
Gets the set of all the events that occur as transition labels in this
statechart
|
add, add, add, applyTransition, clone, findOwner, findOwner, getAnyAtomicChild, getAnyAtomicChild, getCurrentConfiguration, getEdgeCount, getInitialConfiguration, getInitialState, getParent, getState, getState, getStates, getTransitions, getVariable, hasVariable, putAllStateVariables, reset, setParent, setTransitions, setVariable, takeTransitionprotected Alphabet<AtomicEvent> m_alphabet
public AtomicStatechart()
public AtomicStatechart(java.lang.String name)
public java.util.Set<AtomicEvent> getAlphabet()
Copyright © Sylvain HallĂ©. All Rights Reserved.