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