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