org.processmining.plugins.balancedconformance.dataflow

Class DataAlignmentAdapterSimpleCheckImpl

java.lang.Object

org.processmining.plugins.balancedconformance.dataflow.AbstractDataAlignmentAdapter

org.processmining.plugins.balancedconformance.dataflow.DataAlignmentAdapterSimpleCheckImpl

All Implemented Interfaces:

java.lang.AutoCloseable, DataAlignmentAdapter

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.

Author:

F. Mannhardt

Nested Class Summary

Nested classes/interfaces inherited from interface org.processmining.plugins.balancedconformance.dataflow.DataAlignmentAdapter

DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdapter

Field Summary

Fields inherited from class org.processmining.plugins.balancedconformance.dataflow.AbstractDataAlignmentAdapter

dataStateFactory, logMapping

Constructor Summary

Constructors

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)

Method Summary

Modifier and Type	Method and Description
void	close()
DataAlignedTrace	retrieveFullDataAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowResult)
PartialDataAlignedTrace	retrievePartialDataAlignment(TraceMapping traceMapping, DataAwareThread.PartialResultFactory partialResultFactory, DRecord record)

Methods inherited from class org.processmining.plugins.balancedconformance.dataflow.AbstractDataAlignmentAdapter

convertDataCost, getDataStateFactory, newDataState

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DataAlignmentAdapterSimpleCheckImpl

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)

Method Detail

retrieveFullDataAlignment

public DataAlignedTrace retrieveFullDataAlignment(TraceMapping traceMapping,
                                                  ControlFlowAlignmentResult controlFlowResult)
                                           throws DataAlignmentException

Throws:

DataAlignmentException

retrievePartialDataAlignment

public PartialDataAlignedTrace retrievePartialDataAlignment(TraceMapping traceMapping,
                                                            DataAwareThread.PartialResultFactory partialResultFactory,
                                                            DRecord record)
                                                     throws DataAlignmentException

Throws:

DataAlignmentException

close

public void close()