Struct horned_owl::model::ObjectPropertyDomain
source · pub struct ObjectPropertyDomain {
pub ope: ObjectPropertyExpression,
pub ce: ClassExpression,
}
Expand description
The domain of the object property.
This states that if an individual i
has an relationship,
ope
to any other individual, then the individual i
is an
instances of ce
See also: Domain
Fields
ope: ObjectPropertyExpression
ce: ClassExpression
Implementations
sourceimpl ObjectPropertyDomain
impl ObjectPropertyDomain
pub fn new(
ope: ObjectPropertyExpression,
ce: ClassExpression
) -> ObjectPropertyDomain
Trait Implementations
sourceimpl Clone for ObjectPropertyDomain
impl Clone for ObjectPropertyDomain
sourcefn clone(&self) -> ObjectPropertyDomain
fn clone(&self) -> ObjectPropertyDomain
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 ObjectPropertyDomain
impl Debug for ObjectPropertyDomain
sourceimpl From<ObjectPropertyDomain> for AnnotatedAxiom
impl From<ObjectPropertyDomain> for AnnotatedAxiom
sourcefn from(ax: ObjectPropertyDomain) -> AnnotatedAxiom
fn from(ax: ObjectPropertyDomain) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<ObjectPropertyDomain> for Axiom
impl From<ObjectPropertyDomain> for Axiom
sourcefn from(ax: ObjectPropertyDomain) -> Axiom
fn from(ax: ObjectPropertyDomain) -> Axiom
Converts to this type from the input type.
sourceimpl Hash for ObjectPropertyDomain
impl Hash for ObjectPropertyDomain
sourceimpl Ord for ObjectPropertyDomain
impl Ord for ObjectPropertyDomain
sourcefn cmp(&self, other: &ObjectPropertyDomain) -> Ordering
fn cmp(&self, other: &ObjectPropertyDomain) -> 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<ObjectPropertyDomain> for ObjectPropertyDomain
impl PartialEq<ObjectPropertyDomain> for ObjectPropertyDomain
sourcefn eq(&self, other: &ObjectPropertyDomain) -> bool
fn eq(&self, other: &ObjectPropertyDomain) -> bool
sourceimpl PartialOrd<ObjectPropertyDomain> for ObjectPropertyDomain
impl PartialOrd<ObjectPropertyDomain> for ObjectPropertyDomain
sourcefn partial_cmp(&self, other: &ObjectPropertyDomain) -> Option<Ordering>
fn partial_cmp(&self, other: &ObjectPropertyDomain) -> 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 ObjectPropertyDomain
impl StructuralEq for ObjectPropertyDomain
impl StructuralPartialEq for ObjectPropertyDomain
Auto Trait Implementations
impl RefUnwindSafe for ObjectPropertyDomain
impl !Send for ObjectPropertyDomain
impl !Sync for ObjectPropertyDomain
impl Unpin for ObjectPropertyDomain
impl UnwindSafe for ObjectPropertyDomain
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