public interface AlignmentAdapter
extends java.lang.AutoCloseable
| Modifier and Type | Interface and Description |
|---|---|
static interface |
AlignmentAdapter.PriorityQueueFactory |
static interface |
AlignmentAdapter.StorageHandlerFactory<T extends nl.tue.astar.Tail> |
| Modifier and Type | Method and Description |
|---|---|
AlignmentAbstractAdapter.EmptyTraceResult |
calcEmptyTraceAlignment() |
AlignmentResultBuilder |
calcReplayResult(TraceMapping traceMapping,
boolean usePartialOrder)
Returns a
ControlFlowAlignmentResultBuilder that can be used to
retrieve all needed alignments one by one. |
void |
close() |
AlignmentResultBuilder calcReplayResult(TraceMapping traceMapping, boolean usePartialOrder) throws ControlFlowAlignmentException
ControlFlowAlignmentResultBuilder that can be used to
retrieve all needed alignments one by one.traceIndex - traceMapping - ControlFlowAlignmentExceptionAlignmentAbstractAdapter.EmptyTraceResult calcEmptyTraceAlignment() throws ControlFlowAlignmentException
ControlFlowAlignmentExceptionvoid close()
close in interface java.lang.AutoCloseable