org.processmining.plugins.balancedconformance.dataflow

Class MILPProblemBuilderImpl

java.lang.Object

org.processmining.plugins.balancedconformance.dataflow.MILPProblemBuilderImpl

All Implemented Interfaces:

MILPProblemBuilder

public final class MILPProblemBuilderImpl
extends java.lang.Object
implements MILPProblemBuilder

Rewritten, optimized variant of the SingleTraceDataAlignmentBuilder from the DataAwareReplayer package. Supports partial alignments and has an improved runtime and memory footprint.

Author:

F. Mannhardt

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MILPProblemBuilderImpl.ScopedVariable

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

MILPProblemBuilder.FullDataAlignedTrace

Field Summary

Fields inherited from interface org.processmining.plugins.balancedconformance.dataflow.MILPProblemBuilder

RESULT_EPSILON, SOLVING_PRECISION, TIMEOUT

Constructor Summary

Constructors

Constructor and Description
MILPProblemBuilderImpl(LogMapping mapping, net.sf.javailp.SolverFactory solverFactory, DataStateFactory dataStateFactory, double aStarDelta, boolean includeVirtualVariablesInTraces, boolean usePartialProblems)

Method Summary

Modifier and Type	Method and Description
MILPProblemBuilder.FullDataAlignedTrace	createAlignment(TraceMapping mapping, ControlFlowAlignmentResult controlFlowAlignment)
PartialDataAlignedTrace	createPartialAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowAlignment)

Methods inherited from class java.lang.Object

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

Constructor Detail

MILPProblemBuilderImpl

public MILPProblemBuilderImpl(LogMapping mapping,
                              net.sf.javailp.SolverFactory solverFactory,
                              DataStateFactory dataStateFactory,
                              double aStarDelta,
                              boolean includeVirtualVariablesInTraces,
                              boolean usePartialProblems)

Method Detail

createAlignment

public MILPProblemBuilder.FullDataAlignedTrace createAlignment(TraceMapping mapping,
                                                               ControlFlowAlignmentResult controlFlowAlignment)
                                                        throws MILPProblemException

Specified by:

createAlignment in interface MILPProblemBuilder

Returns:

Throws:

MILPProblemBuildException

MILPProblemException

createPartialAlignment

public PartialDataAlignedTrace createPartialAlignment(TraceMapping traceMapping,
                                                      ControlFlowAlignmentResult controlFlowAlignment)
                                               throws MILPProblemException

Specified by:

createPartialAlignment in interface MILPProblemBuilder

Returns:

Throws:

MILPProblemBuildException

MILPProblemException