Struct horned_owl::model::ObjectPropertyAssertion
source · pub struct ObjectPropertyAssertion {
pub ope: ObjectPropertyExpression,
pub from: NamedIndividual,
pub to: NamedIndividual,
}
Expand description
An object property assertion.
Individual from
is connected to
by ope
.
See also: Positive Object Property Assertions
Fields
ope: ObjectPropertyExpression
from: NamedIndividual
to: NamedIndividual
Implementations
sourceimpl ObjectPropertyAssertion
impl ObjectPropertyAssertion
pub fn new(
ope: ObjectPropertyExpression,
from: NamedIndividual,
to: NamedIndividual
) -> ObjectPropertyAssertion
Trait Implementations
sourceimpl Clone for ObjectPropertyAssertion
impl Clone for ObjectPropertyAssertion
sourcefn clone(&self) -> ObjectPropertyAssertion
fn clone(&self) -> ObjectPropertyAssertion
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 ObjectPropertyAssertion
impl Debug for ObjectPropertyAssertion
sourceimpl From<ObjectPropertyAssertion> for AnnotatedAxiom
impl From<ObjectPropertyAssertion> for AnnotatedAxiom
sourcefn from(ax: ObjectPropertyAssertion) -> AnnotatedAxiom
fn from(ax: ObjectPropertyAssertion) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<ObjectPropertyAssertion> for Axiom
impl From<ObjectPropertyAssertion> for Axiom
sourcefn from(ax: ObjectPropertyAssertion) -> Axiom
fn from(ax: ObjectPropertyAssertion) -> Axiom
Converts to this type from the input type.
sourceimpl Hash for ObjectPropertyAssertion
impl Hash for ObjectPropertyAssertion
sourceimpl Ord for ObjectPropertyAssertion
impl Ord for ObjectPropertyAssertion
sourcefn cmp(&self, other: &ObjectPropertyAssertion) -> Ordering
fn cmp(&self, other: &ObjectPropertyAssertion) -> 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<ObjectPropertyAssertion> for ObjectPropertyAssertion
impl PartialEq<ObjectPropertyAssertion> for ObjectPropertyAssertion
sourcefn eq(&self, other: &ObjectPropertyAssertion) -> bool
fn eq(&self, other: &ObjectPropertyAssertion) -> bool
sourceimpl PartialOrd<ObjectPropertyAssertion> for ObjectPropertyAssertion
impl PartialOrd<ObjectPropertyAssertion> for ObjectPropertyAssertion
sourcefn partial_cmp(&self, other: &ObjectPropertyAssertion) -> Option<Ordering>
fn partial_cmp(&self, other: &ObjectPropertyAssertion) -> 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 ObjectPropertyAssertion
impl StructuralEq for ObjectPropertyAssertion
impl StructuralPartialEq for ObjectPropertyAssertion
Auto Trait Implementations
impl RefUnwindSafe for ObjectPropertyAssertion
impl !Send for ObjectPropertyAssertion
impl !Sync for ObjectPropertyAssertion
impl Unpin for ObjectPropertyAssertion
impl UnwindSafe for ObjectPropertyAssertion
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