Enum Constant and Description |
---|
AND |
BOTTOM |
COMMA |
COMP |
DISJOINT_WITH |
EQUAL |
EQUIVALENT_TO |
EXISTS |
FORALL |
IMPLIES |
IN |
INVERSE |
MAX |
MIN |
NOT |
NOT_EQUAL |
OR |
SELF |
SUBCLASS |
TOP |
WEDGE |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
static DLSyntax |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static DLSyntax[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final DLSyntax SUBCLASS
public static final DLSyntax EQUIVALENT_TO
public static final DLSyntax NOT
public static final DLSyntax DISJOINT_WITH
public static final DLSyntax EXISTS
public static final DLSyntax FORALL
public static final DLSyntax IN
public static final DLSyntax MIN
public static final DLSyntax EQUAL
public static final DLSyntax NOT_EQUAL
public static final DLSyntax MAX
public static final DLSyntax INVERSE
public static final DLSyntax AND
public static final DLSyntax TOP
public static final DLSyntax BOTTOM
public static final DLSyntax OR
public static final DLSyntax COMP
public static final DLSyntax WEDGE
public static final DLSyntax IMPLIES
public static final DLSyntax COMMA
public static final DLSyntax SELF
public static DLSyntax[] values()
for (DLSyntax c : DLSyntax.values()) System.out.println(c);
public static DLSyntax 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 namejava.lang.NullPointerException
- if the argument is nullpublic java.lang.String toString()
toString
in class java.lang.Enum<DLSyntax>