Struct horned_owl::model::HasKey
source · pub struct HasKey {
pub ce: ClassExpression,
pub pe: PropertyExpression,
}
Expand description
A key
An individual i
which is of type ce
can be uniquely
identified by pe
. Keys can only be applied to individuals
which are explicitly named in the ontology, not those that are
inferred.
See also: Keys
Fields
ce: ClassExpression
pe: PropertyExpression
Implementations
sourceimpl HasKey
impl HasKey
pub fn new(ce: ClassExpression, pe: PropertyExpression) -> HasKey
Trait Implementations
sourceimpl From<HasKey> for AnnotatedAxiom
impl From<HasKey> for AnnotatedAxiom
sourcefn from(ax: HasKey) -> AnnotatedAxiom
fn from(ax: HasKey) -> AnnotatedAxiom
Converts to this type from the input type.
sourceimpl Ord for HasKey
impl Ord for HasKey
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 PartialOrd<HasKey> for HasKey
impl PartialOrd<HasKey> for HasKey
sourcefn partial_cmp(&self, other: &HasKey) -> Option<Ordering>
fn partial_cmp(&self, other: &HasKey) -> 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 HasKey
impl StructuralEq for HasKey
impl StructuralPartialEq for HasKey
Auto Trait Implementations
impl RefUnwindSafe for HasKey
impl !Send for HasKey
impl !Sync for HasKey
impl Unpin for HasKey
impl UnwindSafe for HasKey
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