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