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 © 2016 The University of Manchester. All Rights Reserved.