AcceptingPetriNet |
StartEndAbstractFilter.apply(org.processmining.framework.plugin.PluginContext context,
AcceptingPetriNet net,
StartEndFilterParameters parameters) |
abstract void |
StartEndAbstractFilter.apply(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings,
StartEndFilterParameters parameters) |
void |
StartEndHideFilter.apply(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings,
StartEndFilterParameters parameters) |
void |
StartEndRemoveFilter.apply(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings,
StartEndFilterParameters parameters) |