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