org.processmining.models.graphbased.directed.petrinetwithdata.unfolding
Class Unfolder

java.lang.Object
  extended by org.processmining.models.graphbased.directed.petrinetwithdata.unfolding.Unfolder

public class Unfolder
extends java.lang.Object


Constructor Summary
Unfolder(PetriNetWithData pnd)
           
 
Method Summary
 java.util.Set<java.util.Set<Effect>> getOverallEffects(Transition t)
           
 void unfold()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Unfolder

public Unfolder(PetriNetWithData pnd)
Method Detail

getOverallEffects

public java.util.Set<java.util.Set<Effect>> getOverallEffects(Transition t)

unfold

public void unfold()