S
- the type of stateE
- the type of eventpublic class JunctionData<S,E>
extends java.lang.Object
Constructor and Description |
---|
JunctionData(S source,
S target,
Guard<S,E> guard)
Instantiates a new junction data.
|
JunctionData(S source,
S target,
Guard<S,E> guard,
java.util.Collection<Action<S,E>> actions)
Instantiates a new junction data.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Action<S,E>> |
getActions()
Gets the actions.
|
Guard<S,E> |
getGuard()
Gets the guard.
|
S |
getSource()
Gets the source.
|
S |
getTarget()
Gets the target.
|
public JunctionData(S source, S target, Guard<S,E> guard)
source
- the sourcetarget
- the targetguard
- the guard