public static class DataAlignmentAdapter.LpSolveDataAlignmentAdapter extends DataAlignmentAdapterMILPImpl
DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdapter
singleTraceDataAlignment
dataStateFactory, logMapping
Constructor and Description |
---|
LpSolveDataAlignmentAdapter(LogMapping logMapping,
DataStateFactory dataStateFactory,
int concurrentThreads,
double aStarDelta,
boolean includeVirtualVariablesInTrace,
boolean usePartialMILPProblems) |
close, retrieveFullDataAlignment, retrievePartialDataAlignment
convertDataCost, getDataStateFactory, newDataState
public LpSolveDataAlignmentAdapter(LogMapping logMapping, DataStateFactory dataStateFactory, int concurrentThreads, double aStarDelta, boolean includeVirtualVariablesInTrace, boolean usePartialMILPProblems)