| 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 |