WoflanState (Woflan)

java.lang.Object
- java.lang.Enum<WoflanState>
- - 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

Enum Constants
Enum Constant and Description
`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

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`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

Enum WoflanState

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Enum

Methods inherited from class java.lang.Object

Enum Constant Detail

BOUNDED

DEAD

DONE

FREECHOICE

INIT

LIVE

NONFREECHOICE

NOPCOVER

NOSCOVER

NOTBOUNDED

NOTDEAD

NOTLIVE

NOTWELLPTHANDLED

NOTWELLTPHANDLED

NOWFNET

PCOVER

SCOVER

SOUND

WELLPTHANDLED

WELLTPHANDLED

WFNET

Method Detail

values

valueOf