public static class DataAlignmentAdapter.GurobiDataAlignmentAdapter extends DataAlignmentAdapterMILPImpl
DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdaptersingleTraceDataAlignmentdataStateFactory, logMapping| Constructor and Description |
|---|
GurobiDataAlignmentAdapter(LogMapping logMapping,
DataStateFactory dataStateFactory,
double aStarDelta,
boolean includeVirtualVariablesInTrace,
boolean usePartialMILPProblems) |
close, retrieveFullDataAlignment, retrievePartialDataAlignmentconvertDataCost, getDataStateFactory, newDataStatepublic GurobiDataAlignmentAdapter(LogMapping logMapping, DataStateFactory dataStateFactory, double aStarDelta, boolean includeVirtualVariablesInTrace, boolean usePartialMILPProblems)