pub struct RelationSemantics {
pub transitive: bool,
pub symmetric: bool,
pub reflexive: bool,
pub acyclic: bool,
}Expand description
Formal behavior attached to an ontology relation type.
Fields§
§transitive: boolWhether a R b and b R c imply a R c.
symmetric: boolWhether a R b also implies b R a.
reflexive: boolWhether every concept relates to itself.
acyclic: boolWhether adding a cycle must be rejected.
Trait Implementations§
Source§impl Clone for RelationSemantics
impl Clone for RelationSemantics
Source§fn clone(&self) -> RelationSemantics
fn clone(&self) -> RelationSemantics
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for RelationSemantics
Source§impl Debug for RelationSemantics
impl Debug for RelationSemantics
Source§impl Default for RelationSemantics
impl Default for RelationSemantics
Source§fn default() -> RelationSemantics
fn default() -> RelationSemantics
Returns the “default value” for a type. Read more
Source§impl<'de> Deserialize<'de> for RelationSemantics
impl<'de> Deserialize<'de> for RelationSemantics
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for RelationSemantics
Source§impl PartialEq for RelationSemantics
impl PartialEq for RelationSemantics
Source§impl Serialize for RelationSemantics
impl Serialize for RelationSemantics
impl StructuralPartialEq for RelationSemantics
Auto Trait Implementations§
impl Freeze for RelationSemantics
impl RefUnwindSafe for RelationSemantics
impl Send for RelationSemantics
impl Sync for RelationSemantics
impl Unpin for RelationSemantics
impl UnsafeUnpin for RelationSemantics
impl UnwindSafe for RelationSemantics
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.