| Class | Description |
|---|---|
| IncrementalMeasurementAwareReplayResultImpl<C,L,T,S> | |
| ModelSemanticsPetrinetMarkingTransitionImpl |
wrapper around efficient petrinet semenatics, implements model-semantics
provider
|
| MoveImpl<L,M> | |
| PartialAlignmentStateFunnelImpl<S,L,T> | |
| StubbornSemanticsPetrinetImpl<S> | |
| StubbornSemanticsTrivialImpl<M,S,T> |