public class Unfolder
extends java.lang.Object
Constructor and Description |
---|
Unfolder(PetriNetWithData pnd) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.util.Set<Effect>> |
getOverallEffects(Transition t) |
void |
unfold() |
public Unfolder(PetriNetWithData pnd)
public java.util.Set<java.util.Set<Effect>> getOverallEffects(Transition t)
public void unfold()