Struct horned_owl::model::AnnotatedAxiom
source · pub struct AnnotatedAxiom {
pub axiom: Axiom,
pub annotation: BTreeSet<Annotation>,
}
Expand description
An AnnotatedAxiom
is an Axiom
with one or more Annotation
.
Fields
axiom: Axiom
annotation: BTreeSet<Annotation>
Implementations
sourceimpl AnnotatedAxiom
impl AnnotatedAxiom
pub fn new<I>(axiom: I, annotation: BTreeSet<Annotation>) -> AnnotatedAxiomwhere
I: Into<Axiom>,
pub fn logical_cmp(&self, other: &AnnotatedAxiom) -> Ordering
pub fn logical_partial_cmp(&self, other: &AnnotatedAxiom) -> Option<Ordering>
pub fn logical_eq(&self, other: &AnnotatedAxiom) -> bool
pub fn logical_hash<H: Hasher>(&self, state: &mut H)
Trait Implementations
sourceimpl Debug for AnnotatedAxiom
impl Debug for AnnotatedAxiom
sourceimpl From<AnnotationAssertion> for AnnotatedAxiom
impl From<AnnotationAssertion> for AnnotatedAxiom
sourcefn from(ax: AnnotationAssertion) -> AnnotatedAxiom
fn from(ax: AnnotationAssertion) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<AsymmetricObjectProperty> for AnnotatedAxiom
impl From<AsymmetricObjectProperty> for AnnotatedAxiom
sourcefn from(ax: AsymmetricObjectProperty) -> AnnotatedAxiom
fn from(ax: AsymmetricObjectProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<Axiom> for AnnotatedAxiom
impl From<Axiom> for AnnotatedAxiom
sourcefn from(axiom: Axiom) -> AnnotatedAxiom
fn from(axiom: Axiom) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<ClassAssertion> for AnnotatedAxiom
impl From<ClassAssertion> for AnnotatedAxiom
sourcefn from(ax: ClassAssertion) -> AnnotatedAxiom
fn from(ax: ClassAssertion) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DataPropertyAssertion> for AnnotatedAxiom
impl From<DataPropertyAssertion> for AnnotatedAxiom
sourcefn from(ax: DataPropertyAssertion) -> AnnotatedAxiom
fn from(ax: DataPropertyAssertion) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DataPropertyDomain> for AnnotatedAxiom
impl From<DataPropertyDomain> for AnnotatedAxiom
sourcefn from(ax: DataPropertyDomain) -> AnnotatedAxiom
fn from(ax: DataPropertyDomain) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DataPropertyRange> for AnnotatedAxiom
impl From<DataPropertyRange> for AnnotatedAxiom
sourcefn from(ax: DataPropertyRange) -> AnnotatedAxiom
fn from(ax: DataPropertyRange) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DatatypeDefinition> for AnnotatedAxiom
impl From<DatatypeDefinition> for AnnotatedAxiom
sourcefn from(ax: DatatypeDefinition) -> AnnotatedAxiom
fn from(ax: DatatypeDefinition) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DeclareAnnotationProperty> for AnnotatedAxiom
impl From<DeclareAnnotationProperty> for AnnotatedAxiom
sourcefn from(ax: DeclareAnnotationProperty) -> AnnotatedAxiom
fn from(ax: DeclareAnnotationProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DeclareClass> for AnnotatedAxiom
impl From<DeclareClass> for AnnotatedAxiom
sourcefn from(ax: DeclareClass) -> AnnotatedAxiom
fn from(ax: DeclareClass) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DeclareDataProperty> for AnnotatedAxiom
impl From<DeclareDataProperty> for AnnotatedAxiom
sourcefn from(ax: DeclareDataProperty) -> AnnotatedAxiom
fn from(ax: DeclareDataProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DeclareDatatype> for AnnotatedAxiom
impl From<DeclareDatatype> for AnnotatedAxiom
sourcefn from(ax: DeclareDatatype) -> AnnotatedAxiom
fn from(ax: DeclareDatatype) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DeclareNamedIndividual> for AnnotatedAxiom
impl From<DeclareNamedIndividual> for AnnotatedAxiom
sourcefn from(ax: DeclareNamedIndividual) -> AnnotatedAxiom
fn from(ax: DeclareNamedIndividual) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DeclareObjectProperty> for AnnotatedAxiom
impl From<DeclareObjectProperty> for AnnotatedAxiom
sourcefn from(ax: DeclareObjectProperty) -> AnnotatedAxiom
fn from(ax: DeclareObjectProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DifferentIndividuals> for AnnotatedAxiom
impl From<DifferentIndividuals> for AnnotatedAxiom
sourcefn from(ax: DifferentIndividuals) -> AnnotatedAxiom
fn from(ax: DifferentIndividuals) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DisjointClasses> for AnnotatedAxiom
impl From<DisjointClasses> for AnnotatedAxiom
sourcefn from(ax: DisjointClasses) -> AnnotatedAxiom
fn from(ax: DisjointClasses) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DisjointDataProperties> for AnnotatedAxiom
impl From<DisjointDataProperties> for AnnotatedAxiom
sourcefn from(ax: DisjointDataProperties) -> AnnotatedAxiom
fn from(ax: DisjointDataProperties) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DisjointObjectProperties> for AnnotatedAxiom
impl From<DisjointObjectProperties> for AnnotatedAxiom
sourcefn from(ax: DisjointObjectProperties) -> AnnotatedAxiom
fn from(ax: DisjointObjectProperties) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<EquivalentClasses> for AnnotatedAxiom
impl From<EquivalentClasses> for AnnotatedAxiom
sourcefn from(ax: EquivalentClasses) -> AnnotatedAxiom
fn from(ax: EquivalentClasses) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<EquivalentDataProperties> for AnnotatedAxiom
impl From<EquivalentDataProperties> for AnnotatedAxiom
sourcefn from(ax: EquivalentDataProperties) -> AnnotatedAxiom
fn from(ax: EquivalentDataProperties) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<EquivalentObjectProperties> for AnnotatedAxiom
impl From<EquivalentObjectProperties> for AnnotatedAxiom
sourcefn from(ax: EquivalentObjectProperties) -> AnnotatedAxiom
fn from(ax: EquivalentObjectProperties) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<FunctionalDataProperty> for AnnotatedAxiom
impl From<FunctionalDataProperty> for AnnotatedAxiom
sourcefn from(ax: FunctionalDataProperty) -> AnnotatedAxiom
fn from(ax: FunctionalDataProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<FunctionalObjectProperty> for AnnotatedAxiom
impl From<FunctionalObjectProperty> for AnnotatedAxiom
sourcefn from(ax: FunctionalObjectProperty) -> AnnotatedAxiom
fn from(ax: FunctionalObjectProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<HasKey> for AnnotatedAxiom
impl From<HasKey> for AnnotatedAxiom
sourcefn from(ax: HasKey) -> AnnotatedAxiom
fn from(ax: HasKey) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<Import> for AnnotatedAxiom
impl From<Import> for AnnotatedAxiom
sourcefn from(ax: Import) -> AnnotatedAxiom
fn from(ax: Import) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<InverseFunctionalObjectProperty> for AnnotatedAxiom
impl From<InverseFunctionalObjectProperty> for AnnotatedAxiom
sourcefn from(ax: InverseFunctionalObjectProperty) -> AnnotatedAxiom
fn from(ax: InverseFunctionalObjectProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<InverseObjectProperties> for AnnotatedAxiom
impl From<InverseObjectProperties> for AnnotatedAxiom
sourcefn from(ax: InverseObjectProperties) -> AnnotatedAxiom
fn from(ax: InverseObjectProperties) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<IrreflexiveObjectProperty> for AnnotatedAxiom
impl From<IrreflexiveObjectProperty> for AnnotatedAxiom
sourcefn from(ax: IrreflexiveObjectProperty) -> AnnotatedAxiom
fn from(ax: IrreflexiveObjectProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<NegativeDataPropertyAssertion> for AnnotatedAxiom
impl From<NegativeDataPropertyAssertion> for AnnotatedAxiom
sourcefn from(ax: NegativeDataPropertyAssertion) -> AnnotatedAxiom
fn from(ax: NegativeDataPropertyAssertion) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<NegativeObjectPropertyAssertion> for AnnotatedAxiom
impl From<NegativeObjectPropertyAssertion> for AnnotatedAxiom
sourcefn from(ax: NegativeObjectPropertyAssertion) -> AnnotatedAxiom
fn from(ax: NegativeObjectPropertyAssertion) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<ObjectPropertyAssertion> for AnnotatedAxiom
impl From<ObjectPropertyAssertion> for AnnotatedAxiom
sourcefn from(ax: ObjectPropertyAssertion) -> AnnotatedAxiom
fn from(ax: ObjectPropertyAssertion) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<ObjectPropertyDomain> for AnnotatedAxiom
impl From<ObjectPropertyDomain> for AnnotatedAxiom
sourcefn from(ax: ObjectPropertyDomain) -> AnnotatedAxiom
fn from(ax: ObjectPropertyDomain) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<ObjectPropertyRange> for AnnotatedAxiom
impl From<ObjectPropertyRange> for AnnotatedAxiom
sourcefn from(ax: ObjectPropertyRange) -> AnnotatedAxiom
fn from(ax: ObjectPropertyRange) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<OntologyAnnotation> for AnnotatedAxiom
impl From<OntologyAnnotation> for AnnotatedAxiom
sourcefn from(ax: OntologyAnnotation) -> AnnotatedAxiom
fn from(ax: OntologyAnnotation) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<ReflexiveObjectProperty> for AnnotatedAxiom
impl From<ReflexiveObjectProperty> for AnnotatedAxiom
sourcefn from(ax: ReflexiveObjectProperty) -> AnnotatedAxiom
fn from(ax: ReflexiveObjectProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<SameIndividual> for AnnotatedAxiom
impl From<SameIndividual> for AnnotatedAxiom
sourcefn from(ax: SameIndividual) -> AnnotatedAxiom
fn from(ax: SameIndividual) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<SubAnnotationPropertyOf> for AnnotatedAxiom
impl From<SubAnnotationPropertyOf> for AnnotatedAxiom
sourcefn from(ax: SubAnnotationPropertyOf) -> AnnotatedAxiom
fn from(ax: SubAnnotationPropertyOf) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<SubClassOf> for AnnotatedAxiom
impl From<SubClassOf> for AnnotatedAxiom
sourcefn from(ax: SubClassOf) -> AnnotatedAxiom
fn from(ax: SubClassOf) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<SubDataPropertyOf> for AnnotatedAxiom
impl From<SubDataPropertyOf> for AnnotatedAxiom
sourcefn from(ax: SubDataPropertyOf) -> AnnotatedAxiom
fn from(ax: SubDataPropertyOf) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<SubObjectPropertyOf> for AnnotatedAxiom
impl From<SubObjectPropertyOf> for AnnotatedAxiom
sourcefn from(ax: SubObjectPropertyOf) -> AnnotatedAxiom
fn from(ax: SubObjectPropertyOf) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<SymmetricObjectProperty> for AnnotatedAxiom
impl From<SymmetricObjectProperty> for AnnotatedAxiom
sourcefn from(ax: SymmetricObjectProperty) -> AnnotatedAxiom
fn from(ax: SymmetricObjectProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<TransitiveObjectProperty> for AnnotatedAxiom
impl From<TransitiveObjectProperty> for AnnotatedAxiom
sourcefn from(ax: TransitiveObjectProperty) -> AnnotatedAxiom
fn from(ax: TransitiveObjectProperty) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl Hash for AnnotatedAxiom
impl Hash for AnnotatedAxiom
sourceimpl Ord for AnnotatedAxiom
impl Ord for AnnotatedAxiom
sourcefn cmp(&self, other: &AnnotatedAxiom) -> Ordering
fn cmp(&self, other: &AnnotatedAxiom) -> Ordering
1.21.0 · sourcefn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
1.21.0 · sourcefn min(self, other: Self) -> Selfwhere
Self: Sized,
fn min(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the minimum of two values. Read more
1.50.0 · sourcefn clamp(self, min: Self, max: Self) -> Selfwhere
Self: Sized + PartialOrd<Self>,
fn clamp(self, min: Self, max: Self) -> Selfwhere
Self: Sized + PartialOrd<Self>,
Restrict a value to a certain interval. Read more
sourceimpl PartialEq<AnnotatedAxiom> for AnnotatedAxiom
impl PartialEq<AnnotatedAxiom> for AnnotatedAxiom
sourcefn eq(&self, other: &AnnotatedAxiom) -> bool
fn eq(&self, other: &AnnotatedAxiom) -> bool
sourceimpl PartialOrd<AnnotatedAxiom> for AnnotatedAxiom
impl PartialOrd<AnnotatedAxiom> for AnnotatedAxiom
sourcefn partial_cmp(&self, other: &AnnotatedAxiom) -> Option<Ordering>
fn partial_cmp(&self, other: &AnnotatedAxiom) -> Option<Ordering>
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Eq for AnnotatedAxiom
impl StructuralEq for AnnotatedAxiom
impl StructuralPartialEq for AnnotatedAxiom
Auto Trait Implementations
impl RefUnwindSafe for AnnotatedAxiom
impl !Send for AnnotatedAxiom
impl !Sync for AnnotatedAxiom
impl Unpin for AnnotatedAxiom
impl UnwindSafe for AnnotatedAxiom
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more