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

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

Methods in org.processmining.plugins.petrinet.behavioralanalysis.woflan that return WoflanState
 WoflanState Woflan.diagnose(WoflanState state)
          Takes a next diagnosis step.
static WoflanState WoflanState.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static WoflanState[] WoflanState.values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 

Methods in org.processmining.plugins.petrinet.behavioralanalysis.woflan that return types with arguments of type WoflanState
 java.util.Collection<WoflanState> WoflanConnection.getAssumptions()
          Gets the assumptions made.
 

Methods in org.processmining.plugins.petrinet.behavioralanalysis.woflan with parameters of type WoflanState
 WoflanState Woflan.diagnose(WoflanState state)
          Takes a next diagnosis step.
 

Method parameters in org.processmining.plugins.petrinet.behavioralanalysis.woflan with type arguments of type WoflanState
 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.
 

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