public class DataAlignmentAdapterWithoutPartialImpl extends DataAlignmentAdapterMILPImpl
DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdapter
singleTraceDataAlignment
dataStateFactory, 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, retrieveFullDataAlignment
convertDataCost, getDataStateFactory, newDataState
public 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 DataAlignmentAdapter
retrievePartialDataAlignment
in class DataAlignmentAdapterMILPImpl
DataAlignmentException