Interface | Description |
---|---|
ReplayCost |
Cost structure interface for the cost-based Petri net trace replayer.
|
ReplayCostAddOperator<C extends ReplayCost> |
Adding the cost for an action to a certain cost.
|
ReplaySettings<C extends ReplayCost> |
Settings used by the cost-based Petri net trace replayer.
|
Class | Description |
---|---|
Replayer<C extends ReplayCost & java.lang.Comparable<? super C>> |
Cost-based Petri net trace replayer.
|
ReplayState<C extends ReplayCost & java.lang.Comparable<? super C>> |
The state in the search space of th ecost-based Petri net trace replayer.
|
ReplayStateExpander<C extends ReplayCost & java.lang.Comparable<? super C>> |
Expands the current state of the cost-based Petri net trace replayer.
|
Enum | Description |
---|---|
ReplayAction |
Possible replay actions.
|