Struct horned_owl::model::HasKey

pub struct HasKey<A> {
    pub ce: ClassExpression<A>,
    pub vpe: Vec<PropertyExpression<A>>,
}

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<A>

vpe: Vec<PropertyExpression<A>>

Implementations

impl<A: ForIRI> HasKey<A>

pub fn new(ce: ClassExpression<A>, vpe: Vec<PropertyExpression<A>>) -> HasKey<A>

Trait Implementations

impl<A: ForIRI> AsFunctional<A> for HasKey<A>

fn as_functional(&self) -> Functional<'_, Self, A>

Get a handle for displaying the element in functional syntax.

fn as_functional_with_prefixes<'t>( &'t self, prefix: &'t PrefixMapping ) -> Functional<'t, Self, A>

Get a handle for displaying the element, using the given context.

impl<A: Clone> Clone for HasKey<A>

fn clone(&self) -> HasKey<A>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Debug> Debug for HasKey<A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<A: ForIRI> From<HasKey<A>> for AnnotatedComponent<A>

fn from(ax: HasKey<A>) -> AnnotatedComponent<A>

Converts to this type from the input type.

impl<A: ForIRI> From<HasKey<A>> for Component<A>

fn from(ax: HasKey<A>) -> Component<A>

Converts to this type from the input type.

impl<A: Hash> Hash for HasKey<A>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<A: ForIRI> HigherKinded for HasKey<A>

fn higher_kind(&self) -> HigherKind

fn is_axiom(&self) -> bool

fn is_meta(&self) -> bool

fn is_swrl(&self) -> bool

impl<A: ForIRI> Kinded for HasKey<A>

fn kind(&self) -> ComponentKind

impl<A: Ord> Ord for HasKey<A>

fn cmp(&self, other: &HasKey<A>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl<A: PartialEq> PartialEq for HasKey<A>

fn eq(&self, other: &HasKey<A>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A: PartialOrd> PartialOrd for HasKey<A>

fn partial_cmp(&self, other: &HasKey<A>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<A: Eq> Eq for HasKey<A>

impl<A> StructuralPartialEq for HasKey<A>