Enum EngineError 

pub enum EngineError {
    UnsupportedNode,
    MissingContext(&'static str),
    MalformedExpression,
    ContradictionDetected,
    DepthLimitExceeded,
}

Errors that a logic engine can return.

Variants

UnsupportedNode

The AST node type is not supported by this engine.

MissingContext(&'static str)

A required context value is absent.

MalformedExpression

The expression is syntactically malformed for this paradigm.

ContradictionDetected

The engine encountered a contradiction it cannot resolve.

DepthLimitExceeded

Evaluation exceeded the allowed recursion depth.

Implementations

impl EngineError

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

Trait Implementations

impl Clone for EngineError

fn clone(&self) -> EngineError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EngineError

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

Formats the value using the given formatter.

impl Eq for EngineError

impl PartialEq for EngineError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EngineError