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

Class AllOptAlignmentsTreeAlg.MatchInstancesRes

java.lang.Object

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

Enclosing class:

AllOptAlignmentsTreeAlg

public static class AllOptAlignmentsTreeAlg.MatchInstancesRes
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
AllOptAlignmentsTreeAlg.MatchInstancesRes()

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

AllOptAlignmentsTreeAlg.MatchInstancesRes

public AllOptAlignmentsTreeAlg.MatchInstancesRes()

Method Detail

addRecord

public void addRecord(PRecord record)