| Interface | Description |
|---|---|
| IncrementalReplayResult<C,L,T,S,A extends PartialAlignment<L,T,S>> | |
| MeasurementAwarePartialAlignment<L,T,S> | |
| ModelSemantics<M,S,T> |
provides common semantic utilities for a given model
|
| ModelSemanticsPetrinet<S> | |
| Move<L,T> |
a move in an alignment (theoretically (AxT)*)
|
| PartialAlignment<L,T,S> | |
| PartialAlignment.State<S,L,T> | |
| PriceList<L,T> |
Defines prices for alignment moves
|
| StubbornSemantics<M,S,T> |
given a model type
|
| Enum | Description |
|---|---|
| IncrementalReplayResult.Impl | |
| Move.Type |