org.processmining.plugins.balancedconformance.controlflow.resultbuilder

Class AlignmentResultBuilderImpl

java.lang.Object

org.processmining.plugins.balancedconformance.controlflow.resultbuilder.AlignmentResultBuilderImpl

All Implemented Interfaces:

AlignmentResultBuilder

public final class AlignmentResultBuilderImpl
extends java.lang.Object
implements AlignmentResultBuilder

Constructor Summary

Constructors

Constructor and Description

AlignmentResultBuilderImpl(DataAwareThread<org.processmining.plugins.astar.petrinet.impl.PHead,? extends nl.tue.astar.Tail> thread, nl.tue.astar.Trace linearTrace, TraceMapping traceMapping, nl.tue.astar.AStarThread.Canceller canceller, org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<? extends nl.tue.astar.Tail> delegate, java.util.Map<org.deckfour.xes.model.XEvent,org.deckfour.xes.classification.XEventClass> mapEv2EventClass, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, double timeLimit, nl.tue.astar.AStarObserver observer)

Method Summary

Modifier and Type	Method and Description
ControlFlowAlignmentResult	calcResult(double upperBound) Returns the ControlFlowAlignmentResult
int	getCacheHit()
int	getCacheSize()
long	getDataStateCount()
int	getPartialDataAlignments()
double	getTimeLimit()
long	getTotalQueuedStates()
boolean	hasNext()
void	setTimeLimit(double timeLimit)

Methods inherited from class java.lang.Object

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

Constructor Detail

AlignmentResultBuilderImpl

public AlignmentResultBuilderImpl(DataAwareThread<org.processmining.plugins.astar.petrinet.impl.PHead,? extends nl.tue.astar.Tail> thread,
                                  nl.tue.astar.Trace linearTrace,
                                  TraceMapping traceMapping,
                                  nl.tue.astar.AStarThread.Canceller canceller,
                                  org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<? extends nl.tue.astar.Tail> delegate,
                                  java.util.Map<org.deckfour.xes.model.XEvent,org.deckfour.xes.classification.XEventClass> mapEv2EventClass,
                                  java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
                                  double timeLimit,
                                  nl.tue.astar.AStarObserver observer)

Method Detail

calcResult

public ControlFlowAlignmentResult calcResult(double upperBound)
                                      throws ControlFlowAlignmentException,
                                             UnreliableControlFlowAlignmentException

Description copied from interface: AlignmentResultBuilder

Returns the ControlFlowAlignmentResult

Specified by:

calcResult in interface AlignmentResultBuilder

Parameters:

upperBound - above this cost, alignments do not need to be considered

Returns:

the next alignment

Throws:

ControlFlowAlignmentException - in case something really goes wrong

UnreliableControlFlowAlignmentException - in case the returned alignment is not reliable because some limit was reached

getTotalQueuedStates

public long getTotalQueuedStates()

Specified by:

getTotalQueuedStates in interface AlignmentResultBuilder

Returns:

how much states in the alignment search space are queued

getPartialDataAlignments

public int getPartialDataAlignments()

Specified by:

getPartialDataAlignments in interface AlignmentResultBuilder

Returns:

how many partial data alignments (data alignment for a alignment prefix) have been done

getCacheSize

public int getCacheSize()

Specified by:

getCacheSize in interface AlignmentResultBuilder

Returns:

the size of the cache for partial data alignments

getCacheHit

public int getCacheHit()

Specified by:

getCacheHit in interface AlignmentResultBuilder

Returns:

how often was a cached partial data alignment used

hasNext

public boolean hasNext()

getDataStateCount

public long getDataStateCount()

Specified by:

getDataStateCount in interface AlignmentResultBuilder

Returns:

how many data states are in the current state space

getTimeLimit

public double getTimeLimit()

setTimeLimit

public void setTimeLimit(double timeLimit)