Struct horned_owl::model::EquivalentClasses
source · pub struct EquivalentClasses(pub Vec<ClassExpression>);
Expand description
An equivalance relationship between two ClassExpression
.
All instances of ClassExpression
are also instances
of other other.
Tuple Fields
0: Vec<ClassExpression>
Trait Implementations
sourceimpl Clone for EquivalentClasses
impl Clone for EquivalentClasses
sourcefn clone(&self) -> EquivalentClasses
fn clone(&self) -> EquivalentClasses
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 EquivalentClasses
impl Debug for EquivalentClasses
sourceimpl From<EquivalentClasses> for AnnotatedAxiom
impl From<EquivalentClasses> for AnnotatedAxiom
sourcefn from(ax: EquivalentClasses) -> AnnotatedAxiom
fn from(ax: EquivalentClasses) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<EquivalentClasses> for Axiom
impl From<EquivalentClasses> for Axiom
sourcefn from(ax: EquivalentClasses) -> Axiom
fn from(ax: EquivalentClasses) -> Axiom
Converts to this type from the input type.
sourceimpl Hash for EquivalentClasses
impl Hash for EquivalentClasses
sourceimpl Ord for EquivalentClasses
impl Ord for EquivalentClasses
sourcefn cmp(&self, other: &EquivalentClasses) -> Ordering
fn cmp(&self, other: &EquivalentClasses) -> 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<EquivalentClasses> for EquivalentClasses
impl PartialEq<EquivalentClasses> for EquivalentClasses
sourcefn eq(&self, other: &EquivalentClasses) -> bool
fn eq(&self, other: &EquivalentClasses) -> bool
sourceimpl PartialOrd<EquivalentClasses> for EquivalentClasses
impl PartialOrd<EquivalentClasses> for EquivalentClasses
sourcefn partial_cmp(&self, other: &EquivalentClasses) -> Option<Ordering>
fn partial_cmp(&self, other: &EquivalentClasses) -> 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 EquivalentClasses
impl StructuralEq for EquivalentClasses
impl StructuralPartialEq for EquivalentClasses
Auto Trait Implementations
impl RefUnwindSafe for EquivalentClasses
impl !Send for EquivalentClasses
impl !Sync for EquivalentClasses
impl Unpin for EquivalentClasses
impl UnwindSafe for EquivalentClasses
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