Enum FaeelNoModelReason 

pub enum FaeelNoModelReason {
    UnfoundedPossible {
        predicate: String,
        arity: usize,
    },
    Contradiction {
        predicate: String,
        arity: usize,
    },
    UnsatisfiedLiteral {
        predicate: String,
        arity: usize,
    },
}

Typed no-model reason for bounded FAEEL fixtures.

Variants

UnfoundedPossible

Candidate uses possible-only support where FAEEL requires founded knowledge.

Fields

predicate: String

Predicate name.

arity: usize

Predicate arity.

Contradiction

Candidate marks the same atom known and rejected.

Fields

predicate: String

Predicate name.

arity: usize

Predicate arity.

UnsatisfiedLiteral

An epistemic literal is unsatisfied by the candidate.

Fields

predicate: String

Predicate name.

arity: usize

Predicate arity.

Trait Implementations

impl Clone for FaeelNoModelReason

fn clone(&self) -> FaeelNoModelReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FaeelNoModelReason

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

Formats the value using the given formatter.

impl PartialEq for FaeelNoModelReason

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for FaeelNoModelReason

impl StructuralPartialEq for FaeelNoModelReason