public enum LabelOperatorPrecedence extends Enum<LabelOperatorPrecedence>
Modifier and Type | Field and Description |
---|---|
String |
str
String representation of this operator.
|
Modifier and Type | Method and Description |
---|---|
static LabelOperatorPrecedence |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static LabelOperatorPrecedence[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final LabelOperatorPrecedence ATOM
public static final LabelOperatorPrecedence NOT
public static final LabelOperatorPrecedence AND
public static final LabelOperatorPrecedence OR
public static final LabelOperatorPrecedence IMPLIES
public static final LabelOperatorPrecedence IFF
public final String str
public static LabelOperatorPrecedence[] values()
for (LabelOperatorPrecedence c : LabelOperatorPrecedence.values()) System.out.println(c);
public static LabelOperatorPrecedence valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullCopyright © 2004–2021. All rights reserved.