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