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