|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |