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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
java.util.Collection<WoflanState>	WoflanConnection.getAssumptions() Gets the assumptions made.

Methods in org.processmining.plugins.petrinet.behavioralanalysis.woflan with parameters of type WoflanState

Modifier and Type	Method and Description
WoflanState	Woflan.diagnose(WoflanState state) Takes a next diagnosis step.

Constructor parameters in org.processmining.plugins.petrinet.behavioralanalysis.woflan with type arguments of type WoflanState

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