public enum DLSyntax extends Enum<DLSyntax>
Enum Constant and Description |
---|
AND
AND
|
BOTTOM
BOTTOM
|
COMMA
COMMA
|
COMP
COMP
|
DISJOINT_WITH
DISJOINT_WITH
|
EQUAL
EQUAL
|
EQUIVALENT_TO
EQUIVALENT_TO
|
EXISTS
EXISTS
|
FORALL
FORALL
|
IMPLIES
IMPLIES
|
IN
IN
|
INVERSE
INVERSE
|
MAX
MAX
|
MIN
MIN
|
NOT
NOT
|
NOT_EQUAL
NOT_EQUAL
|
OR
OR
|
SELF
SELF
|
SUBCLASS
SUBCLASS
|
TOP
TOP
|
WEDGE
WEDGE
|
Modifier and Type | Method and Description |
---|---|
String |
toHTMLString() |
String |
toString() |
static DLSyntax |
valueOf(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(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 nullpublic String toHTMLString()
Copyright © 2020 The University of Manchester. All rights reserved.