| 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.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<WoflanState> |
WoflanConnection.getAssumptions()
Gets the assumptions made.
|
| Modifier and Type | Method and Description |
|---|---|
WoflanState |
Woflan.diagnose(WoflanState state)
Takes a next diagnosis step.
|
| Constructor and Description |
|---|
WoflanConnection(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
WoflanDiagnosis diagnosis,
java.util.Collection<WoflanState> assumptions) |