Serializable
, Comparable<DLSyntax>
public enum DLSyntax extends Enum<DLSyntax>
Enum Constant | 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 | 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 © 2018 The University of Manchester. All rights reserved.