org.processmining.plugins.petrinet.behavioralanalysis.woflan
Enum WoflanState

java.lang.Object
  extended by java.lang.Enum<WoflanState>
      extended by org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanState
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<WoflanState>

public enum WoflanState
extends java.lang.Enum<WoflanState>

This holds the current state of the diagnosis. Furthermore, a subset of these be used as assumptions (BOUNDED, NOTBOUNDED, ...) for the diagnosis.

Author:
HVERBEEK

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

BOUNDED

public static final WoflanState BOUNDED
The short-circuited net is bounded.


DEAD

public static final WoflanState DEAD
The short-circuited net is bounded but contains dead transitions.


DONE

public static final WoflanState DONE
Diagnosis is done.


FREECHOICE

public static final WoflanState FREECHOICE
The short-circuited net is not S-coverable but extended free-choice.


INIT

public static final WoflanState INIT
Diagnosis is to start.


LIVE

public static final WoflanState LIVE
The short-circuited net is bounded, contains no dead transitions, and is live.


NONFREECHOICE

public static final WoflanState NONFREECHOICE
The short-circuited net is S-coverable and not extended free-choice.


NOPCOVER

public static final WoflanState NOPCOVER
The short-circuited net is not covered by positive place invariants.


NOSCOVER

public static final WoflanState NOSCOVER
The short-circuited net is not S-coverable.


NOTBOUNDED

public static final WoflanState NOTBOUNDED
The short-circuited net is unbounded.


NOTDEAD

public static final WoflanState NOTDEAD
The short-circuited net is bounded and contains no dead transitions.


NOTLIVE

public static final WoflanState NOTLIVE
The short-circuited net is bounded, contains no dead transitions, but is not live.


NOTWELLPTHANDLED

public static final WoflanState NOTWELLPTHANDLED
The short-circuited net is not S-coverable, not extended free-choice, and contains PT-handles.


NOTWELLTPHANDLED

public static final WoflanState NOTWELLTPHANDLED
The short-circuited net is not S-coverable, not extended free-choice, and is not well-handled.


NOWFNET

public static final WoflanState NOWFNET
The net is not a WF-net.


PCOVER

public static final WoflanState PCOVER
The short-circuited net is not S-coverable but is covered by positive place invariants.


SCOVER

public static final WoflanState SCOVER
The short-circuited net is S-coverable.


SOUND

public static final WoflanState SOUND
The net is a sound WF-net.


WELLPTHANDLED

public static final WoflanState WELLPTHANDLED
The short-circuited net is not S-coverable, not extended free-choice, and contains not PT-handles.


WELLTPHANDLED

public static final WoflanState WELLTPHANDLED
The short-circuited net is not S-coverable, not extended free-choice, but well-handled.


WFNET

public static final WoflanState WFNET
The net is a WF-net.

Method Detail

values

public static WoflanState[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
for (WoflanState c : WoflanState.values())
    System.out.println(c);

Returns:
an array containing the constants of this enum type, in the order they are declared

valueOf

public static WoflanState valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:
name - the name of the enum constant to be returned.
Returns:
the enum constant with the specified name
Throws:
java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
java.lang.NullPointerException - if the argument is null