Struct horned_owl::model::InverseObjectProperties
source · pub struct InverseObjectProperties(pub ObjectProperty, pub ObjectProperty);
Expand description
An inverse relationship between two object properties.
If two individuals are related by one relationship, they are
related by the other in the opposite direction. So, if r
and
s
are transitive, then a r b
implies b r a
.
See also: Property Characteristics
Tuple Fields
0: ObjectProperty
1: ObjectProperty
Trait Implementations
sourceimpl Clone for InverseObjectProperties
impl Clone for InverseObjectProperties
sourcefn clone(&self) -> InverseObjectProperties
fn clone(&self) -> InverseObjectProperties
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for InverseObjectProperties
impl Debug for InverseObjectProperties
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<InverseObjectProperties> for Axiom
impl From<InverseObjectProperties> for Axiom
sourcefn from(ax: InverseObjectProperties) -> Axiom
fn from(ax: InverseObjectProperties) -> Axiom
Converts to this type from the input type.
sourceimpl Hash for InverseObjectProperties
impl Hash for InverseObjectProperties
sourceimpl Ord for InverseObjectProperties
impl Ord for InverseObjectProperties
sourcefn cmp(&self, other: &InverseObjectProperties) -> Ordering
fn cmp(&self, other: &InverseObjectProperties) -> 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<InverseObjectProperties> for InverseObjectProperties
impl PartialEq<InverseObjectProperties> for InverseObjectProperties
sourcefn eq(&self, other: &InverseObjectProperties) -> bool
fn eq(&self, other: &InverseObjectProperties) -> bool
sourceimpl PartialOrd<InverseObjectProperties> for InverseObjectProperties
impl PartialOrd<InverseObjectProperties> for InverseObjectProperties
sourcefn partial_cmp(&self, other: &InverseObjectProperties) -> Option<Ordering>
fn partial_cmp(&self, other: &InverseObjectProperties) -> 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 InverseObjectProperties
impl StructuralEq for InverseObjectProperties
impl StructuralPartialEq for InverseObjectProperties
Auto Trait Implementations
impl RefUnwindSafe for InverseObjectProperties
impl !Send for InverseObjectProperties
impl !Sync for InverseObjectProperties
impl Unpin for InverseObjectProperties
impl UnwindSafe for InverseObjectProperties
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