Enum ValidationError 

pub enum ValidationError {
    EmptyHead,
    UnboundVariable {
        var_name: String,
    },
    CircularDependency {
        rule_id: u64,
    },
    ExcessiveBodyLength {
        length: usize,
        max: usize,
    },
    DuplicateHead {
        existing_id: u64,
    },
    InvalidWeight {
        weight: f64,
    },
}

Errors that can be produced during rule validation.

Variants

EmptyHead

The rule head contains no terms.

UnboundVariable

A variable that appears in the rule head is not bound in any body term.

Fields

var_name: String

CircularDependency

The rule directly depends on itself (circular dependency).

Fields

rule_id: u64

ExcessiveBodyLength

The number of body terms exceeds the configured maximum.

Fields

length: usize

max: usize

DuplicateHead

An identical head signature is already registered in the knowledge base.

Fields

existing_id: u64

InvalidWeight

The rule weight is outside the allowed range (0.0, 1.0].

Fields

weight: f64

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl PartialEq for ValidationError

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