org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express

Class AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes

java.lang.Object

org.processmining.plugins.petrinet.replayer.matchinstances.algorithms.express.AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes

Enclosing class:

AbstractAllOptAlignmentsGraphAlg<D extends AbstractPDelegate<T>,T extends nl.tue.astar.Tail>

public static class AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes()

Method Summary

Methods

Modifier and Type	Method and Description
void	addRecord(PRecord record)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes

public AbstractAllOptAlignmentsGraphAlg.MatchInstancesGraphRes()

Method Detail

addRecord

public void addRecord(PRecord record)