public enum AxiomAnnotations extends Enum<AxiomAnnotations>
Enum Constant and Description |
---|
CONSIDER_AXIOM_ANNOTATIONS
search for axioms taking annotations into account
|
IGNORE_AXIOM_ANNOTATIONS
search for axioms ignoring annotations
|
Modifier and Type | Method and Description |
---|---|
static AxiomAnnotations |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static AxiomAnnotations[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final AxiomAnnotations IGNORE_AXIOM_ANNOTATIONS
public static final AxiomAnnotations CONSIDER_AXIOM_ANNOTATIONS
public static AxiomAnnotations[] values()
for (AxiomAnnotations c : AxiomAnnotations.values()) System.out.println(c);
public static AxiomAnnotations 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.