public class DataAlignmentAdapterWithoutPartialImpl extends DataAlignmentAdapterMILPImpl
DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdaptersingleTraceDataAlignmentdataStateFactory, logMapping| Constructor and Description |
|---|
DataAlignmentAdapterWithoutPartialImpl(LogMapping mapping,
net.sf.javailp.SolverFactory ilpSolver,
DataStateFactory dataStateFactory,
double aStarDelta,
boolean includeVirtualVariablesInTrace) |
| Modifier and Type | Method and Description |
|---|---|
PartialDataAlignedTrace |
retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord record) |
close, retrieveFullDataAlignmentconvertDataCost, getDataStateFactory, newDataStatepublic DataAlignmentAdapterWithoutPartialImpl(LogMapping mapping, net.sf.javailp.SolverFactory ilpSolver, DataStateFactory dataStateFactory, double aStarDelta, boolean includeVirtualVariablesInTrace)
public PartialDataAlignedTrace retrievePartialDataAlignment(TraceMapping traceMapping, DataAwareThread.PartialResultFactory partialResultBuilder, DRecord record) throws DataAlignmentException
retrievePartialDataAlignment in interface DataAlignmentAdapterretrievePartialDataAlignment in class DataAlignmentAdapterMILPImplDataAlignmentException