public enum LocalityClass extends Enum<LocalityClass>
SemanticLocalityModuleExtractor
,
BOTTOM
corresponds to \empty_set and TOP
corresponds
to \Delta.Enum Constant and Description |
---|
BOTTOM
Locality module class obtained by giving concepts and roles not present in the signature
empty interpretations when extracting a locality based module.
|
STAR
|
TOP
Locality module class obtained by giving concepts in the signature top concept interpretation
and roles not present universal role interpretation when extracting a locality based module.
|
Modifier and Type | Method and Description |
---|---|
static LocalityClass |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static LocalityClass[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final LocalityClass BOTTOM
public static final LocalityClass STAR
public static final LocalityClass TOP
public static LocalityClass[] values()
for (LocalityClass c : LocalityClass.values()) System.out.println(c);
public static LocalityClass 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 © 2020 The University of Manchester. All rights reserved.