public class DataAlignmentAdapterMILPImpl extends AbstractDataAlignmentAdapter implements ExpensiveAdapter
DataAlignmentAdapter
using a MILP solverDataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdapter
Modifier and Type | Field and Description |
---|---|
protected MILPProblemBuilder |
singleTraceDataAlignment |
dataStateFactory, logMapping
Constructor and Description |
---|
DataAlignmentAdapterMILPImpl(LogMapping mapping,
net.sf.javailp.SolverFactory ilpSolver,
DataStateFactory dataStateFactory,
double aStarDelta,
boolean includeVirtualVariablesInTrace,
boolean usePartialMILPProblems) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
DataAlignedTrace |
retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowAlignment) |
PartialDataAlignedTrace |
retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord record) |
convertDataCost, getDataStateFactory, newDataState
protected final MILPProblemBuilder singleTraceDataAlignment
public DataAlignmentAdapterMILPImpl(LogMapping mapping, net.sf.javailp.SolverFactory ilpSolver, DataStateFactory dataStateFactory, double aStarDelta, boolean includeVirtualVariablesInTrace, boolean usePartialMILPProblems)
public DataAlignedTrace retrieveFullDataAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowAlignment) throws DataAlignmentException
retrieveFullDataAlignment
in interface DataAlignmentAdapter
DataAlignmentException
public PartialDataAlignedTrace retrievePartialDataAlignment(TraceMapping traceMapping, DataAwareThread.PartialResultFactory partialResultBuilder, DRecord record) throws DataAlignmentException
retrievePartialDataAlignment
in interface DataAlignmentAdapter
DataAlignmentException
public void close()
close
in interface java.lang.AutoCloseable
close
in interface DataAlignmentAdapter