Enum horned_owl::model::ClassExpression [−][src]
pub enum ClassExpression { Class(Class), Some { o: ObjectProperty, ce: Box<ClassExpression>, }, Only { o: ObjectProperty, ce: Box<ClassExpression>, }, And { o: Vec<ClassExpression>, }, Or { o: Vec<ClassExpression>, }, Not { ce: Box<ClassExpression>, }, }
A class expression
As well as a named class, it is possible to define classes of individuals based on these class constructors.
Variants
Class(Class)
A named class
Some
An existential relationship
This is the anonymous class of individuals i
, which have the
relationship o
to a class expression ce
. Every individual
in i
must have this relationship to one individual in ce
.
Fields of Some
o: ObjectProperty | |
ce: Box<ClassExpression> |
Only
A universal relationship
This is the anonymous class of individuals i
where all
individuals which are related by o
are instances of
ce
. This does not imply that the i
necessarily has any
relation r
.
Fields of Only
o: ObjectProperty | |
ce: Box<ClassExpression> |
And
The boolean and
The class of individuals which are individuals of all these classes.
Fields of And
o: Vec<ClassExpression> |
Or
The boolean or
The class of individuals which are individuals of any of these classes.
Fields of Or
o: Vec<ClassExpression> |
Not
The boolean not
The class of individuals which are not individuals of any of these classes.
Fields of Not
ce: Box<ClassExpression> |
Trait Implementations
impl Clone for ClassExpression
[src]
impl Clone for ClassExpression
fn clone(&self) -> ClassExpression
[src]
fn clone(&self) -> ClassExpression
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl Debug for ClassExpression
[src]
impl Debug for ClassExpression
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Eq for ClassExpression
[src]
impl Eq for ClassExpression
impl Hash for ClassExpression
[src]
impl Hash for ClassExpression
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl Ord for ClassExpression
[src]
impl Ord for ClassExpression
fn cmp(&self, other: &ClassExpression) -> Ordering
[src]
fn cmp(&self, other: &ClassExpression) -> Ordering
This method returns an Ordering
between self
and other
. Read more
fn max(self, other: Self) -> Self
1.21.0[src]
fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
impl PartialEq for ClassExpression
[src]
impl PartialEq for ClassExpression
fn eq(&self, other: &ClassExpression) -> bool
[src]
fn eq(&self, other: &ClassExpression) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &ClassExpression) -> bool
[src]
fn ne(&self, other: &ClassExpression) -> bool
This method tests for !=
.
impl PartialOrd for ClassExpression
[src]
impl PartialOrd for ClassExpression
fn partial_cmp(&self, other: &ClassExpression) -> Option<Ordering>
[src]
fn partial_cmp(&self, other: &ClassExpression) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
fn lt(&self, other: &ClassExpression) -> bool
[src]
fn lt(&self, other: &ClassExpression) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
fn le(&self, other: &ClassExpression) -> bool
[src]
fn le(&self, other: &ClassExpression) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
fn gt(&self, other: &ClassExpression) -> bool
[src]
fn gt(&self, other: &ClassExpression) -> bool
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
fn ge(&self, other: &ClassExpression) -> bool
[src]
fn ge(&self, other: &ClassExpression) -> bool
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl From<Class> for ClassExpression
[src]
impl From<Class> for ClassExpression
fn from(c: Class) -> ClassExpression
[src]
fn from(c: Class) -> ClassExpression
Performs the conversion.
impl<'a> From<&'a Class> for ClassExpression
[src]
impl<'a> From<&'a Class> for ClassExpression
fn from(c: &'a Class) -> ClassExpression
[src]
fn from(c: &'a Class) -> ClassExpression
Performs the conversion.
Auto Trait Implementations
impl !Send for ClassExpression
impl !Send for ClassExpression
impl !Sync for ClassExpression
impl !Sync for ClassExpression