public final class DataAlignmentAdapterSimpleCheckImpl extends AbstractDataAlignmentAdapter
DataAlignmentAdapter
that checks if the data alignment could have
changed and returns the old alignment in case it is still valid. Otherwise
PartialDataAlignedTrace.NO_RESULT
is returned. In case of final
variables that are missing or causing a guard expression to be violated
PartialDataAlignedTrace.IMPOSSIBLE
is returned.DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdapter
dataStateFactory, logMapping
Constructor and Description |
---|
DataAlignmentAdapterSimpleCheckImpl(LogMapping mapping,
TraceMapping traceMapping,
DataStateFactory dataStateFactory,
double aStarDelta,
org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<? extends nl.tue.astar.Tail> delegate,
DataStateStore dataStateStore) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
DataAlignedTrace |
retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowResult) |
PartialDataAlignedTrace |
retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultFactory,
DRecord record) |
convertDataCost, getDataStateFactory, newDataState
public DataAlignmentAdapterSimpleCheckImpl(LogMapping mapping, TraceMapping traceMapping, DataStateFactory dataStateFactory, double aStarDelta, org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<? extends nl.tue.astar.Tail> delegate, DataStateStore dataStateStore)
public DataAlignedTrace retrieveFullDataAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowResult) throws DataAlignmentException
DataAlignmentException
public PartialDataAlignedTrace retrievePartialDataAlignment(TraceMapping traceMapping, DataAwareThread.PartialResultFactory partialResultFactory, DRecord record) throws DataAlignmentException
DataAlignmentException
public void close()