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