Struct horned_owl::model::AnnotatedAxiom [−][src]
pub struct AnnotatedAxiom { pub axiom: Axiom, pub annotation: BTreeSet<Annotation>, }
An AnnotatedAxiom
is an Axiom
with one or more Annotation
.
Fields
axiom: Axiom
annotation: BTreeSet<Annotation>
Methods
impl AnnotatedAxiom
[src]
impl AnnotatedAxiom
pub fn new<I>(axiom: I, annotation: BTreeSet<Annotation>) -> AnnotatedAxiom where
I: Into<Axiom>,
[src]
pub fn new<I>(axiom: I, annotation: BTreeSet<Annotation>) -> AnnotatedAxiom where
I: Into<Axiom>,
pub fn logical_cmp(&self, other: &AnnotatedAxiom) -> Ordering
[src]
pub fn logical_cmp(&self, other: &AnnotatedAxiom) -> Ordering
pub fn logical_partial_cmp(&self, other: &AnnotatedAxiom) -> Option<Ordering>
[src]
pub fn logical_partial_cmp(&self, other: &AnnotatedAxiom) -> Option<Ordering>
pub fn logical_eq(&self, other: &AnnotatedAxiom) -> bool
[src]
pub fn logical_eq(&self, other: &AnnotatedAxiom) -> bool
pub fn logical_hash<H: Hasher>(&self, state: &mut H)
[src]
pub fn logical_hash<H: Hasher>(&self, state: &mut H)
Trait Implementations
impl Debug for AnnotatedAxiom
[src]
impl Debug for AnnotatedAxiom
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Eq for AnnotatedAxiom
[src]
impl Eq for AnnotatedAxiom
impl Hash for AnnotatedAxiom
[src]
impl Hash for AnnotatedAxiom
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl PartialEq for AnnotatedAxiom
[src]
impl PartialEq for AnnotatedAxiom
fn eq(&self, other: &AnnotatedAxiom) -> bool
[src]
fn eq(&self, other: &AnnotatedAxiom) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &AnnotatedAxiom) -> bool
[src]
fn ne(&self, other: &AnnotatedAxiom) -> bool
This method tests for !=
.
impl PartialOrd for AnnotatedAxiom
[src]
impl PartialOrd for AnnotatedAxiom
fn partial_cmp(&self, other: &AnnotatedAxiom) -> Option<Ordering>
[src]
fn partial_cmp(&self, other: &AnnotatedAxiom) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
fn lt(&self, other: &AnnotatedAxiom) -> bool
[src]
fn lt(&self, other: &AnnotatedAxiom) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
fn le(&self, other: &AnnotatedAxiom) -> bool
[src]
fn le(&self, other: &AnnotatedAxiom) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
fn gt(&self, other: &AnnotatedAxiom) -> bool
[src]
fn gt(&self, other: &AnnotatedAxiom) -> bool
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
fn ge(&self, other: &AnnotatedAxiom) -> bool
[src]
fn ge(&self, other: &AnnotatedAxiom) -> bool
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl Ord for AnnotatedAxiom
[src]
impl Ord for AnnotatedAxiom
fn cmp(&self, other: &AnnotatedAxiom) -> Ordering
[src]
fn cmp(&self, other: &AnnotatedAxiom) -> Ordering
This method returns an Ordering
between self
and other
. Read more
fn max(self, other: Self) -> Self
1.21.0[src]
fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
impl From<Axiom> for AnnotatedAxiom
[src]
impl From<Axiom> for AnnotatedAxiom
fn from(axiom: Axiom) -> AnnotatedAxiom
[src]
fn from(axiom: Axiom) -> AnnotatedAxiom
Performs the conversion.
impl Kinded for AnnotatedAxiom
[src]
impl Kinded for AnnotatedAxiom
impl From<OntologyAnnotation> for AnnotatedAxiom
[src]
impl From<OntologyAnnotation> for AnnotatedAxiom
fn from(ax: OntologyAnnotation) -> AnnotatedAxiom
[src]
fn from(ax: OntologyAnnotation) -> AnnotatedAxiom
Performs the conversion.
impl From<DeclareClass> for AnnotatedAxiom
[src]
impl From<DeclareClass> for AnnotatedAxiom
fn from(ax: DeclareClass) -> AnnotatedAxiom
[src]
fn from(ax: DeclareClass) -> AnnotatedAxiom
Performs the conversion.
impl From<DeclareObjectProperty> for AnnotatedAxiom
[src]
impl From<DeclareObjectProperty> for AnnotatedAxiom
fn from(ax: DeclareObjectProperty) -> AnnotatedAxiom
[src]
fn from(ax: DeclareObjectProperty) -> AnnotatedAxiom
Performs the conversion.
impl From<DeclareAnnotationProperty> for AnnotatedAxiom
[src]
impl From<DeclareAnnotationProperty> for AnnotatedAxiom
fn from(ax: DeclareAnnotationProperty) -> AnnotatedAxiom
[src]
fn from(ax: DeclareAnnotationProperty) -> AnnotatedAxiom
Performs the conversion.
impl From<SubClass> for AnnotatedAxiom
[src]
impl From<SubClass> for AnnotatedAxiom
fn from(ax: SubClass) -> AnnotatedAxiom
[src]
fn from(ax: SubClass) -> AnnotatedAxiom
Performs the conversion.
impl From<EquivalentClass> for AnnotatedAxiom
[src]
impl From<EquivalentClass> for AnnotatedAxiom
fn from(ax: EquivalentClass) -> AnnotatedAxiom
[src]
fn from(ax: EquivalentClass) -> AnnotatedAxiom
Performs the conversion.
impl From<DisjointClass> for AnnotatedAxiom
[src]
impl From<DisjointClass> for AnnotatedAxiom
fn from(ax: DisjointClass) -> AnnotatedAxiom
[src]
fn from(ax: DisjointClass) -> AnnotatedAxiom
Performs the conversion.
impl From<SubObjectProperty> for AnnotatedAxiom
[src]
impl From<SubObjectProperty> for AnnotatedAxiom
fn from(ax: SubObjectProperty) -> AnnotatedAxiom
[src]
fn from(ax: SubObjectProperty) -> AnnotatedAxiom
Performs the conversion.
impl From<InverseObjectProperty> for AnnotatedAxiom
[src]
impl From<InverseObjectProperty> for AnnotatedAxiom
fn from(ax: InverseObjectProperty) -> AnnotatedAxiom
[src]
fn from(ax: InverseObjectProperty) -> AnnotatedAxiom
Performs the conversion.
impl From<TransitiveObjectProperty> for AnnotatedAxiom
[src]
impl From<TransitiveObjectProperty> for AnnotatedAxiom
fn from(ax: TransitiveObjectProperty) -> AnnotatedAxiom
[src]
fn from(ax: TransitiveObjectProperty) -> AnnotatedAxiom
Performs the conversion.
impl From<AssertAnnotation> for AnnotatedAxiom
[src]
impl From<AssertAnnotation> for AnnotatedAxiom
fn from(ax: AssertAnnotation) -> AnnotatedAxiom
[src]
fn from(ax: AssertAnnotation) -> AnnotatedAxiom
Performs the conversion.
impl From<SubAnnotationProperty> for AnnotatedAxiom
[src]
impl From<SubAnnotationProperty> for AnnotatedAxiom
fn from(ax: SubAnnotationProperty) -> AnnotatedAxiom
[src]
fn from(ax: SubAnnotationProperty) -> AnnotatedAxiom
Performs the conversion.
Auto Trait Implementations
impl !Send for AnnotatedAxiom
impl !Send for AnnotatedAxiom
impl !Sync for AnnotatedAxiom
impl !Sync for AnnotatedAxiom