Struct horned_owl::model::DeclareNamedIndividual
source · pub struct DeclareNamedIndividual(pub NamedIndividual);
Expand description
Declare that an IRI represents a NamedIndividual in the ontology.
See also DeclareClass
Tuple Fields
0: NamedIndividual
Trait Implementations
sourceimpl Clone for DeclareNamedIndividual
impl Clone for DeclareNamedIndividual
sourcefn clone(&self) -> DeclareNamedIndividual
fn clone(&self) -> DeclareNamedIndividual
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 DeclareNamedIndividual
impl Debug for DeclareNamedIndividual
sourceimpl From<DeclareNamedIndividual> for AnnotatedAxiom
impl From<DeclareNamedIndividual> for AnnotatedAxiom
sourcefn from(ax: DeclareNamedIndividual) -> AnnotatedAxiom
fn from(ax: DeclareNamedIndividual) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl From<DeclareNamedIndividual> for Axiom
impl From<DeclareNamedIndividual> for Axiom
sourcefn from(ax: DeclareNamedIndividual) -> Axiom
fn from(ax: DeclareNamedIndividual) -> Axiom
Converts to this type from the input type.
sourceimpl Hash for DeclareNamedIndividual
impl Hash for DeclareNamedIndividual
sourceimpl Ord for DeclareNamedIndividual
impl Ord for DeclareNamedIndividual
sourcefn cmp(&self, other: &DeclareNamedIndividual) -> Ordering
fn cmp(&self, other: &DeclareNamedIndividual) -> 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<DeclareNamedIndividual> for DeclareNamedIndividual
impl PartialEq<DeclareNamedIndividual> for DeclareNamedIndividual
sourcefn eq(&self, other: &DeclareNamedIndividual) -> bool
fn eq(&self, other: &DeclareNamedIndividual) -> bool
sourceimpl PartialOrd<DeclareNamedIndividual> for DeclareNamedIndividual
impl PartialOrd<DeclareNamedIndividual> for DeclareNamedIndividual
sourcefn partial_cmp(&self, other: &DeclareNamedIndividual) -> Option<Ordering>
fn partial_cmp(&self, other: &DeclareNamedIndividual) -> 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 DeclareNamedIndividual
impl StructuralEq for DeclareNamedIndividual
impl StructuralPartialEq for DeclareNamedIndividual
Auto Trait Implementations
impl RefUnwindSafe for DeclareNamedIndividual
impl !Send for DeclareNamedIndividual
impl !Sync for DeclareNamedIndividual
impl Unpin for DeclareNamedIndividual
impl UnwindSafe for DeclareNamedIndividual
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