Class and Description |
---|
ModelSemantics
provides common semantic utilities for a given model
|
PartialAlignment |
PartialAlignment.State |
PriceList
Defines prices for alignment moves
|
Class and Description |
---|
ModelSemantics
provides common semantic utilities for a given model
|
PartialAlignment |
PartialAlignment.State |
Class and Description |
---|
IncrementalReplayResult |
IncrementalReplayResult.Impl |
MeasurementAwarePartialAlignment |
ModelSemantics
provides common semantic utilities for a given model
|
ModelSemanticsPetrinet |
Move
a move in an alignment (theoretically (AxT)*)
|
Move.Type |
PartialAlignment |
PartialAlignment.NaiveImpl |
PartialAlignment.State |
PriceList
Defines prices for alignment moves
|
StubbornSemantics
given a model type
|
Class and Description |
---|
ModelSemantics
provides common semantic utilities for a given model
|
PartialAlignment.State |
PriceList
Defines prices for alignment moves
|
Class and Description |
---|
IncrementalReplayResult |
IncrementalReplayResult.NaiveHashMapImpl |
ModelSemantics
provides common semantic utilities for a given model
|
ModelSemanticsPetrinet |
Move.Type |
PartialAlignment.State |
StubbornSemantics
given a model type
|
Class and Description |
---|
PriceList
Defines prices for alignment moves
|
Class and Description |
---|
IncrementalReplayResult |
MeasurementAwarePartialAlignment |
PartialAlignment |