public interface DataAlignmentAdapter
extends java.lang.AutoCloseable
Modifier and Type | Interface and Description |
---|---|
static class |
DataAlignmentAdapter.GurobiDataAlignmentAdapter |
static class |
DataAlignmentAdapter.ILPSolver |
static class |
DataAlignmentAdapter.LpSolveDataAlignmentAdapter |
static class |
DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter |
static class |
DataAlignmentAdapter.NoDataAlignmentAdapter |
Modifier and Type | Method and Description |
---|---|
void |
close() |
DataStateFactory |
getDataStateFactory() |
DataAlignedTrace |
retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowAlignment) |
PartialDataAlignedTrace |
retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord currentRecord) |
DataAlignedTrace retrieveFullDataAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowAlignment) throws DataAlignmentException
DataAlignmentException
PartialDataAlignedTrace retrievePartialDataAlignment(TraceMapping traceMapping, DataAwareThread.PartialResultFactory partialResultBuilder, DRecord currentRecord) throws DataAlignmentException
DataAlignmentException
DataStateFactory getDataStateFactory()
void close()
close
in interface java.lang.AutoCloseable