Interface | Description |
---|---|
AlignmentAbstractAdapter.EmptyTraceResult | |
AlignmentAdapter |
Interface for building a control flow alignment given a trace with knowledge
about the data perspective of the model
|
AlignmentAdapter.PriorityQueueFactory | |
AlignmentAdapter.StorageHandlerFactory<T extends nl.tue.astar.Tail> |
Class | Description |
---|---|
AlignmentAbstractAdapter<T extends nl.tue.astar.Tail> |
Base class for integrated data & control-flow alignment
|
AlignmentAbstractAdapter.ControlFlowAlignmentConfig | |
AlignmentAdapterILPAbstractImpl | |
AlignmentAdapterILPGraphImpl |
A* graph-based (i.e.
|
AlignmentAdapterILPTreeImpl |
A* tree based search for the best alignment taking data into account.
|
AlignmentDijkstraImpl |
Dijkstra-search for the best alignment taking data into account.
|
Enum | Description |
---|---|
SearchMethod |