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

Class Unfolder

java.lang.Object

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

public class Unfolder
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Unfolder(PetriNetWithData pnd)

Method Summary

Modifier and Type	Method and Description
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()