public final class AlignmentResultBuilderImpl extends java.lang.Object implements AlignmentResultBuilder
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) |
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) |
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)
public ControlFlowAlignmentResult calcResult(double upperBound) throws ControlFlowAlignmentException, UnreliableControlFlowAlignmentException
AlignmentResultBuilder
ControlFlowAlignmentResult
calcResult
in interface AlignmentResultBuilder
upperBound
- above this cost, alignments do not need to be consideredControlFlowAlignmentException
- in case something really goes wrongUnreliableControlFlowAlignmentException
- in case the returned alignment is not reliable because some
limit was reachedpublic long getTotalQueuedStates()
getTotalQueuedStates
in interface AlignmentResultBuilder
public int getPartialDataAlignments()
getPartialDataAlignments
in interface AlignmentResultBuilder
public int getCacheSize()
getCacheSize
in interface AlignmentResultBuilder
public int getCacheHit()
getCacheHit
in interface AlignmentResultBuilder
public boolean hasNext()
public long getDataStateCount()
getDataStateCount
in interface AlignmentResultBuilder
public double getTimeLimit()
public void setTimeLimit(double timeLimit)