Package | Description |
---|---|
org.processmining.models.graphbased.directed.petrinetwithdata.unfolding |
Modifier and Type | Class and Description |
---|---|
class |
DataEffect |
class |
PredicateEffect |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.util.Set<Effect>> |
Unfolder.getOverallEffects(Transition t) |