Modifier and Type | Class and Description |
---|---|
class |
CoverabilityGraph |
class |
ReachabilityGraph |
Modifier and Type | Method and Description |
---|---|
TransitionSystemImpl |
State.getGraph() |
Modifier and Type | Method and Description |
---|---|
void |
TransitionSystemImpl.addProxyMap(TransitionSystemImpl ts) |
Constructor and Description |
---|
State(java.lang.Object identifier,
TransitionSystemImpl graph) |
Modifier and Type | Class and Description |
---|---|
class |
PayloadTransitionSystem<E>
This class enables associating a specific strategy of "replaying" a sequence
on a transition system.
|
Modifier and Type | Class and Description |
---|---|
class |
EventPayloadTransitionSystem |
Modifier and Type | Class and Description |
---|---|
class |
TSMinerTransitionSystem |