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