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 |
---|---|
abstract boolean |
contains(OWLOntology o,
OWLAxiom ax) |
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 nullpublic abstract boolean contains(OWLOntology o, OWLAxiom ax)
o
- ontology to checkax
- axiom to checkCopyright © 2020 The University of Manchester. All rights reserved.