|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<State>
org.processmining.plugins.declareminer.visualizing.State
public enum State
This class represents possible states of constraints during execution of instances of constraint models. Constraint state is SATISFIED if the constraint is fulfilled (true). Constraint state is VIOLATED_TEMPORARY if the constraint is currently not fulfilled (false), but it is possible to bring the constraint to state SATISFIED in the future. Constraint state is VIOLATED if the constraint is currently not fulfilled (false) and it is not possible to bring the constraint to state SATISFIED in the future.
Enum Constant Summary | |
---|---|
SATISFIED
|
|
VIOLATED
|
|
VIOLATED_TEMPORARY
|
Method Summary | |
---|---|
static State |
getDefault()
Returns the default state, i.e., the state which should be assigned to constraints by default. |
java.lang.String |
getDescription()
Provides the textual description of the state. |
static State |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static State[] |
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 State SATISFIED
public static final State VIOLATED_TEMPORARY
public static final State VIOLATED
Method Detail |
---|
public static State[] values()
for (State c : State.values()) System.out.println(c);
public static State 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 nullpublic static State getDefault()
public java.lang.String getDescription()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |