Struct horned_owl::model::DeclareClass
source · pub struct DeclareClass(pub Class);
Expand description
Declares that an IRI represents a Class in the Ontology
In OWL, entities must be declared to be of a particular type. While, OWL (and Horned-OWL) allows the use of Class in an ontology where there is no declaration, the end ontology will change profile to OWL Full. See also the OWL Primer
Tuple Fields
0: Class
Trait Implementations
sourceimpl Clone for DeclareClass
impl Clone for DeclareClass
sourcefn clone(&self) -> DeclareClass
fn clone(&self) -> DeclareClass
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 DeclareClass
impl Debug for DeclareClass
sourceimpl From<DeclareClass> for AnnotatedAxiom
impl From<DeclareClass> for AnnotatedAxiom
sourcefn from(ax: DeclareClass) -> AnnotatedAxiom
fn from(ax: DeclareClass) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DeclareClass> for Axiom
impl From<DeclareClass> for Axiom
sourcefn from(ax: DeclareClass) -> Axiom
fn from(ax: DeclareClass) -> Axiom
Converts to this type from the input type.
sourceimpl Hash for DeclareClass
impl Hash for DeclareClass
sourceimpl Ord for DeclareClass
impl Ord for DeclareClass
sourcefn cmp(&self, other: &DeclareClass) -> Ordering
fn cmp(&self, other: &DeclareClass) -> 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<DeclareClass> for DeclareClass
impl PartialEq<DeclareClass> for DeclareClass
sourcefn eq(&self, other: &DeclareClass) -> bool
fn eq(&self, other: &DeclareClass) -> bool
sourceimpl PartialOrd<DeclareClass> for DeclareClass
impl PartialOrd<DeclareClass> for DeclareClass
sourcefn partial_cmp(&self, other: &DeclareClass) -> Option<Ordering>
fn partial_cmp(&self, other: &DeclareClass) -> 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 DeclareClass
impl StructuralEq for DeclareClass
impl StructuralPartialEq for DeclareClass
Auto Trait Implementations
impl RefUnwindSafe for DeclareClass
impl !Send for DeclareClass
impl !Sync for DeclareClass
impl Unpin for DeclareClass
impl UnwindSafe for DeclareClass
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