@FunctionalInterface public interface HasAxiomsByType
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
axioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
default boolean |
equalAxioms(HasAxiomsByType o)
Compare the axioms inside this object with the axioms inside the other object, shortcutting
by type; it will not merge all axioms in a large lump for comparisons only
|
default <T extends OWLAxiom> |
getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
default boolean equalAxioms(HasAxiomsByType o)
o
- other object to comparedefault <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType)
T
- axiom typeaxiomType
- The type of axioms to be retrieved.Copyright © 2020 The University of Manchester. All rights reserved.