Struct horned_owl::model::TransitiveObjectProperty[][src]

pub struct TransitiveObjectProperty(pub ObjectProperty);

A transitive relationship between two object properties.

When r is transitive, then a r b, and b r c implies a r c also.

Trait Implementations

impl Clone for TransitiveObjectProperty
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl Debug for TransitiveObjectProperty
[src]

Formats the value using the given formatter. Read more

impl Eq for TransitiveObjectProperty
[src]

impl Hash for TransitiveObjectProperty
[src]

Feeds this value into the given [Hasher]. Read more

Feeds a slice of this type into the given [Hasher]. Read more

impl Ord for TransitiveObjectProperty
[src]

This method returns an Ordering between self and other. Read more

Compares and returns the maximum of two values. Read more

Compares and returns the minimum of two values. Read more

impl PartialEq for TransitiveObjectProperty
[src]

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

This method tests for !=.

impl PartialOrd for TransitiveObjectProperty
[src]

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

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

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

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

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

impl From<TransitiveObjectProperty> for Axiom
[src]

Performs the conversion.

impl From<TransitiveObjectProperty> for AnnotatedAxiom
[src]

Performs the conversion.

impl Kinded for TransitiveObjectProperty
[src]

Auto Trait Implementations