public static class DataAlignmentAdapter.NoDataAlignmentAdapter extends java.lang.Object implements DataAlignmentAdapter
DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdapter| Constructor and Description |
|---|
NoDataAlignmentAdapter(LogMapping logMapping,
DataStateFactory dataStateFactory) |
| 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) |
public NoDataAlignmentAdapter(LogMapping logMapping, DataStateFactory dataStateFactory)
public DataAlignedTrace retrieveFullDataAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowAlignment) throws DataAlignmentException
retrieveFullDataAlignment in interface DataAlignmentAdapterDataAlignmentExceptionpublic PartialDataAlignedTrace retrievePartialDataAlignment(TraceMapping traceMapping, DataAwareThread.PartialResultFactory partialResultBuilder, DRecord currentRecord) throws DataAlignmentException
retrievePartialDataAlignment in interface DataAlignmentAdapterDataAlignmentExceptionpublic DataStateFactory getDataStateFactory()
getDataStateFactory in interface DataAlignmentAdapterpublic void close()
close in interface java.lang.AutoCloseableclose in interface DataAlignmentAdapter