Struct horned_owl::model::IrreflexiveObjectProperty
source · pub struct IrreflexiveObjectProperty(pub ObjectPropertyExpression);
Expand description
The irreflexive characteristic
No individual can be connected to itself by this property.
See also: Irreflexive
Tuple Fields
0: ObjectPropertyExpression
Trait Implementations
sourceimpl Clone for IrreflexiveObjectProperty
impl Clone for IrreflexiveObjectProperty
sourcefn clone(&self) -> IrreflexiveObjectProperty
fn clone(&self) -> IrreflexiveObjectProperty
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 IrreflexiveObjectProperty
impl Debug for IrreflexiveObjectProperty
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<IrreflexiveObjectProperty> for Axiom
impl From<IrreflexiveObjectProperty> for Axiom
sourcefn from(ax: IrreflexiveObjectProperty) -> Axiom
fn from(ax: IrreflexiveObjectProperty) -> Axiom
Converts to this type from the input type.
sourceimpl Hash for IrreflexiveObjectProperty
impl Hash for IrreflexiveObjectProperty
sourceimpl Ord for IrreflexiveObjectProperty
impl Ord for IrreflexiveObjectProperty
sourcefn cmp(&self, other: &IrreflexiveObjectProperty) -> Ordering
fn cmp(&self, other: &IrreflexiveObjectProperty) -> 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<IrreflexiveObjectProperty> for IrreflexiveObjectProperty
impl PartialEq<IrreflexiveObjectProperty> for IrreflexiveObjectProperty
sourcefn eq(&self, other: &IrreflexiveObjectProperty) -> bool
fn eq(&self, other: &IrreflexiveObjectProperty) -> bool
sourceimpl PartialOrd<IrreflexiveObjectProperty> for IrreflexiveObjectProperty
impl PartialOrd<IrreflexiveObjectProperty> for IrreflexiveObjectProperty
sourcefn partial_cmp(&self, other: &IrreflexiveObjectProperty) -> Option<Ordering>
fn partial_cmp(&self, other: &IrreflexiveObjectProperty) -> 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 IrreflexiveObjectProperty
impl StructuralEq for IrreflexiveObjectProperty
impl StructuralPartialEq for IrreflexiveObjectProperty
Auto Trait Implementations
impl RefUnwindSafe for IrreflexiveObjectProperty
impl !Send for IrreflexiveObjectProperty
impl !Sync for IrreflexiveObjectProperty
impl Unpin for IrreflexiveObjectProperty
impl UnwindSafe for IrreflexiveObjectProperty
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