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
- ControlFlowAlignmentException
AlignmentAbstractAdapter.EmptyTraceResult calcEmptyTraceAlignment() throws ControlFlowAlignmentException
ControlFlowAlignmentException
void close()
close
in interface java.lang.AutoCloseable