|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<WoflanState>
org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanState
public enum WoflanState
This holds the current state of the diagnosis. Furthermore, a subset of these be used as assumptions (BOUNDED, NOTBOUNDED, ...) for the diagnosis.
Enum Constant Summary | |
---|---|
BOUNDED
The short-circuited net is bounded. |
|
DEAD
The short-circuited net is bounded but contains dead transitions. |
|
DONE
Diagnosis is done. |
|
FREECHOICE
The short-circuited net is not S-coverable but extended free-choice. |
|
INIT
Diagnosis is to start. |
|
LIVE
The short-circuited net is bounded, contains no dead transitions, and is live. |
|
NONFREECHOICE
The short-circuited net is S-coverable and not extended free-choice. |
|
NOPCOVER
The short-circuited net is not covered by positive place invariants. |
|
NOSCOVER
The short-circuited net is not S-coverable. |
|
NOTBOUNDED
The short-circuited net is unbounded. |
|
NOTDEAD
The short-circuited net is bounded and contains no dead transitions. |
|
NOTLIVE
The short-circuited net is bounded, contains no dead transitions, but is not live. |
|
NOTWELLPTHANDLED
The short-circuited net is not S-coverable, not extended free-choice, and contains PT-handles. |
|
NOTWELLTPHANDLED
The short-circuited net is not S-coverable, not extended free-choice, and is not well-handled. |
|
NOWFNET
The net is not a WF-net. |
|
PCOVER
The short-circuited net is not S-coverable but is covered by positive place invariants. |
|
SCOVER
The short-circuited net is S-coverable. |
|
SOUND
The net is a sound WF-net. |
|
WELLPTHANDLED
The short-circuited net is not S-coverable, not extended free-choice, and contains not PT-handles. |
|
WELLTPHANDLED
The short-circuited net is not S-coverable, not extended free-choice, but well-handled. |
|
WFNET
The net is a WF-net. |
Method Summary | |
---|---|
static WoflanState |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static WoflanState[] |
values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final WoflanState BOUNDED
public static final WoflanState DEAD
public static final WoflanState DONE
public static final WoflanState FREECHOICE
public static final WoflanState INIT
public static final WoflanState LIVE
public static final WoflanState NONFREECHOICE
public static final WoflanState NOPCOVER
public static final WoflanState NOSCOVER
public static final WoflanState NOTBOUNDED
public static final WoflanState NOTDEAD
public static final WoflanState NOTLIVE
public static final WoflanState NOTWELLPTHANDLED
public static final WoflanState NOTWELLTPHANDLED
public static final WoflanState NOWFNET
public static final WoflanState PCOVER
public static final WoflanState SCOVER
public static final WoflanState SOUND
public static final WoflanState WELLPTHANDLED
public static final WoflanState WELLTPHANDLED
public static final WoflanState WFNET
Method Detail |
---|
public static WoflanState[] values()
for (WoflanState c : WoflanState.values()) System.out.println(c);
public static WoflanState valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
java.lang.NullPointerException
- if the argument is null
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |