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
 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, java.util.Collection<WoflanState> assumptions)
          The Woflan plug-in using assumptions.
 

Constructors in org.processmining.plugins.petrinet.behavioralanalysis.woflan with parameters of type WoflanDiagnosis
WoflanConnection(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, WoflanDiagnosis diagnosis, java.util.Collection<WoflanState> assumptions)