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 |