Enum StratificationError 

pub enum StratificationError {
    UnstratifiableCycle {
        predicates: Vec<PredicateSymbol>,
    },
}

Stratification failure.

Variants

UnstratifiableCycle

The predicate dependency graph contains a cycle that passes through a negation edge.

Fields

predicates: Vec<PredicateSymbol>

Every predicate in the offending strongly connected component.

Trait Implementations

impl Clone for StratificationError

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StratificationError

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

Formats the value using the given formatter.

impl Eq for StratificationError

impl From<StratificationError> for ProgramValidationError

fn from(err: StratificationError) -> Self

Converts to this type from the input type.

impl PartialEq for StratificationError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StratificationError