org.processmining.plugins.balancedconformance.dataflow

Class DataAlignmentAdapterMILPImpl

java.lang.Object

org.processmining.plugins.balancedconformance.dataflow.AbstractDataAlignmentAdapter

org.processmining.plugins.balancedconformance.dataflow.DataAlignmentAdapterMILPImpl

All Implemented Interfaces:

java.lang.AutoCloseable, DataAlignmentAdapter, ExpensiveAdapter

Direct Known Subclasses:

DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapterWithoutPartialImpl

public class DataAlignmentAdapterMILPImpl
extends AbstractDataAlignmentAdapter
implements ExpensiveAdapter

DataAlignmentAdapter using a MILP solver

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

Modifier and Type	Field and Description
protected MILPProblemBuilder	singleTraceDataAlignment

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

dataStateFactory, logMapping

Constructor Summary

Constructors

Constructor and Description
DataAlignmentAdapterMILPImpl(LogMapping mapping, net.sf.javailp.SolverFactory ilpSolver, DataStateFactory dataStateFactory, double aStarDelta, boolean includeVirtualVariablesInTrace, boolean usePartialMILPProblems)

Method Summary

Modifier and Type	Method and Description
void	close()
DataAlignedTrace	retrieveFullDataAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowAlignment)
PartialDataAlignedTrace	retrievePartialDataAlignment(TraceMapping traceMapping, DataAwareThread.PartialResultFactory partialResultBuilder, 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

Field Detail

singleTraceDataAlignment

protected final MILPProblemBuilder singleTraceDataAlignment

Constructor Detail

DataAlignmentAdapterMILPImpl

public DataAlignmentAdapterMILPImpl(LogMapping mapping,
                                    net.sf.javailp.SolverFactory ilpSolver,
                                    DataStateFactory dataStateFactory,
                                    double aStarDelta,
                                    boolean includeVirtualVariablesInTrace,
                                    boolean usePartialMILPProblems)

Method Detail

retrieveFullDataAlignment

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

Specified by:

retrieveFullDataAlignment in interface DataAlignmentAdapter

Throws:

DataAlignmentException

retrievePartialDataAlignment

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

Specified by:

retrievePartialDataAlignment in interface DataAlignmentAdapter

Throws:

DataAlignmentException

close

public void close()

Specified by:

close in interface java.lang.AutoCloseable

Specified by:

close in interface DataAlignmentAdapter