Struct horned_owl::model::InverseFunctionalObjectProperty
source · pub struct InverseFunctionalObjectProperty(pub ObjectPropertyExpression);
Expand description
The inverse functional characteristic
This states that for each individual i
, there can be at most
one individual j
connected to i
via this object property
expression.
See also: Inverse Functional
Tuple Fields
0: ObjectPropertyExpression
Trait Implementations
sourceimpl Clone for InverseFunctionalObjectProperty
impl Clone for InverseFunctionalObjectProperty
sourcefn clone(&self) -> InverseFunctionalObjectProperty
fn clone(&self) -> InverseFunctionalObjectProperty
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 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<InverseFunctionalObjectProperty> for Axiom
impl From<InverseFunctionalObjectProperty> for Axiom
sourcefn from(ax: InverseFunctionalObjectProperty) -> Axiom
fn from(ax: InverseFunctionalObjectProperty) -> Axiom
Converts to this type from the input type.
sourceimpl Ord for InverseFunctionalObjectProperty
impl Ord for InverseFunctionalObjectProperty
sourcefn cmp(&self, other: &InverseFunctionalObjectProperty) -> Ordering
fn cmp(&self, other: &InverseFunctionalObjectProperty) -> 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<InverseFunctionalObjectProperty> for InverseFunctionalObjectProperty
impl PartialEq<InverseFunctionalObjectProperty> for InverseFunctionalObjectProperty
sourcefn eq(&self, other: &InverseFunctionalObjectProperty) -> bool
fn eq(&self, other: &InverseFunctionalObjectProperty) -> bool
sourceimpl PartialOrd<InverseFunctionalObjectProperty> for InverseFunctionalObjectProperty
impl PartialOrd<InverseFunctionalObjectProperty> for InverseFunctionalObjectProperty
sourcefn partial_cmp(
&self,
other: &InverseFunctionalObjectProperty
) -> Option<Ordering>
fn partial_cmp(
&self,
other: &InverseFunctionalObjectProperty
) -> 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 InverseFunctionalObjectProperty
impl StructuralEq for InverseFunctionalObjectProperty
impl StructuralPartialEq for InverseFunctionalObjectProperty
Auto Trait Implementations
impl RefUnwindSafe for InverseFunctionalObjectProperty
impl !Send for InverseFunctionalObjectProperty
impl !Sync for InverseFunctionalObjectProperty
impl Unpin for InverseFunctionalObjectProperty
impl UnwindSafe for InverseFunctionalObjectProperty
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