| Class and Description |
|---|
| PayloadHandler
This interface represents the logic of a specific strategy of "replaying" a
sequence on a transition system.
|
| Class and Description |
|---|
| PayloadHandler
This interface represents the logic of a specific strategy of "replaying" a
sequence on a transition system.
|
| PayloadTransitionSystem
This class enables associating a specific strategy of "replaying" a sequence
on a transition system.
|
| Class and Description |
|---|
| PayloadHandler
This interface represents the logic of a specific strategy of "replaying" a
sequence on a transition system.
|
| PayloadTransitionSystem
This class enables associating a specific strategy of "replaying" a sequence
on a transition system.
|
| Class and Description |
|---|
| PayloadTransitionSystem
This class enables associating a specific strategy of "replaying" a sequence
on a transition system.
|
| Class and Description |
|---|
| PayloadTransitionSystem
This class enables associating a specific strategy of "replaying" a sequence
on a transition system.
|