org.processmining.plugins.balancedconformance.dataflow

Interface DataAlignmentAdapter

All Superinterfaces:

java.lang.AutoCloseable

All Known Implementing Classes:

AbstractDataAlignmentAdapter, DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdapter, DataAlignmentAdapterCacheImpl, DataAlignmentAdapterChainingImpl, DataAlignmentAdapterMILPImpl, DataAlignmentAdapterSimpleCheckImpl, DataAlignmentAdapterWithoutPartialImpl

public interface DataAlignmentAdapter
extends java.lang.AutoCloseable

Interface for building a data alignment given a trace and a control flow alignment

Author:

F. Mannhardt

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	DataAlignmentAdapter.GurobiDataAlignmentAdapter
static class	DataAlignmentAdapter.ILPSolver
static class	DataAlignmentAdapter.LpSolveDataAlignmentAdapter
static class	DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter
static class	DataAlignmentAdapter.NoDataAlignmentAdapter

Method Summary

Modifier and Type	Method and Description
void	close()
DataStateFactory	getDataStateFactory()
DataAlignedTrace	retrieveFullDataAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowAlignment)
PartialDataAlignedTrace	retrievePartialDataAlignment(TraceMapping traceMapping, DataAwareThread.PartialResultFactory partialResultBuilder, DRecord currentRecord)

Method Detail

retrieveFullDataAlignment

DataAlignedTrace retrieveFullDataAlignment(TraceMapping traceMapping,
                                           ControlFlowAlignmentResult controlFlowAlignment)
                                    throws DataAlignmentException

Throws:

DataAlignmentException

retrievePartialDataAlignment

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

Throws:

DataAlignmentException

getDataStateFactory

DataStateFactory getDataStateFactory()

close

void close()

Specified by:

close in interface java.lang.AutoCloseable