Enum SkippedConstruct 

pub enum SkippedConstruct {
    ReflexiveProperty(SctId),
    DataProperty(SctId),
    ConcreteValue {
        attribute: SctId,
    },
}

Variants

ReflexiveProperty(SctId)

A ReflexiveObjectProperty axiom — reflexivity isn’t modeled.

DataProperty(SctId)

A SubDataPropertyOf axiom — data (concrete-value) property hierarchy isn’t modeled.

ConcreteValue

A DataHasValue conjunct on attribute, dropped from whatever intersection or existential filler it appeared in.

Fields

attribute: SctId

Trait Implementations

impl Clone for SkippedConstruct

fn clone(&self) -> SkippedConstruct

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SkippedConstruct

impl Debug for SkippedConstruct

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

Formats the value using the given formatter.

impl Display for SkippedConstruct

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

Formats the value using the given formatter.

impl Eq for SkippedConstruct

impl PartialEq for SkippedConstruct

fn eq(&self, other: &SkippedConstruct) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SkippedConstruct