public static class DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter extends DataAlignmentAdapterWithoutPartialImpl
DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdaptersingleTraceDataAlignmentdataStateFactory, logMapping| Constructor and Description |
|---|
LpSolveWithoutPartialDataAlignmentAdapter(LogMapping logMapping,
DataStateFactory dataStateFactory,
int concurrentThreads,
double aStarDelta,
boolean includeVirtualVariablesInTrace) |
retrievePartialDataAlignmentclose, retrieveFullDataAlignmentconvertDataCost, getDataStateFactory, newDataStatepublic LpSolveWithoutPartialDataAlignmentAdapter(LogMapping logMapping, DataStateFactory dataStateFactory, int concurrentThreads, double aStarDelta, boolean includeVirtualVariablesInTrace)