Enum ResidentRejectKind 

pub enum ResidentRejectKind {
    Negation,
    EpistemicLiteral,
    NonRelationalLiteral,
    ArityTooHigh,
    BodyTooLong,
    TooManyVars,
    UnboundedTerm,
    DomainTooLarge,
    UniverseTooLarge,
    InconsistentArity,
    AnnotatedDisjunctionUnsupported,
}

Kind of a fail-closed rejection of an MC program by the resident engine.

Variants

Negation

A body literal uses negation.

EpistemicLiteral

A body literal is epistemic (know/possible).

NonRelationalLiteral

A body literal is a comparison / arithmetic / univ (non-relational).

ArityTooHigh

A predicate arity exceeds [MAX_ARITY].

BodyTooLong

A rule body has more than [MAX_BODY] literals.

TooManyVars

A rule uses more than [MAX_VARS] distinct variables.

UnboundedTerm

A term is not a variable or ground constant (list/compound/functor/agg).

DomainTooLarge

The bounded domain exceeds [MAX_DOMAIN].

UniverseTooLarge

The bounded universe exceeds [MAX_UNIVERSE].

InconsistentArity

A predicate appears with inconsistent arity.

AnnotatedDisjunctionUnsupported

Annotated disjunctions are not yet supported by the resident engine.

Implementations

impl ResidentRejectKind

pub fn as_str(self) -> &'static str

Trait Implementations

impl Clone for ResidentRejectKind

fn clone(&self) -> ResidentRejectKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResidentRejectKind

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

Formats the value using the given formatter.

impl PartialEq for ResidentRejectKind

fn eq(&self, other: &ResidentRejectKind) -> 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 Copy for ResidentRejectKind

impl Eq for ResidentRejectKind

impl StructuralPartialEq for ResidentRejectKind