Uses of Class
org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanDiagnosis

Uses of WoflanDiagnosis in org.processmining.plugins.petrinet.behavioralanalysis.woflan

Methods in org.processmining.plugins.petrinet.behavioralanalysis.woflan that return WoflanDiagnosis

Modifier and Type	Method and Description
WoflanDiagnosis	Woflan.diagnose(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) The Woflan plug-in using no assumptions.
WoflanDiagnosis	Woflan.diagnose(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, WoflanAssumptions assumptions) The Woflan plug-in using assumptions.

Constructors in org.processmining.plugins.petrinet.behavioralanalysis.woflan with parameters of type WoflanDiagnosis

Constructor and Description
WoflanConnection(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, WoflanDiagnosis diagnosis, java.util.Collection<WoflanState> assumptions)