Struct LogicRule 

pub struct LogicRule {
    pub id: String,
    pub head: String,
    pub body: Vec<String>,
    pub priority: i32,
    pub source: String,
    pub is_defeasible: bool,
}

A single logic rule with metadata for conflict analysis.

Fields

id: String

Unique identifier for this rule.

head: String

The conclusion (head) of the rule, e.g. "bird".

body: Vec<String>

Premises (body) of the rule. A premise may carry a "NOT:" prefix to represent negation-as-failure.

priority: i32

Numeric priority; higher values take precedence.

source: String

Provenance / source identifier.

is_defeasible: bool

Whether this rule can be defeated by a higher-priority rule.

Implementations

impl LogicRule

pub fn positive_body(&self) -> impl Iterator<Item = &str>

Return the positive (non-negated) premises in body.

pub fn negated_body(&self) -> impl Iterator<Item = &str>

Return the negated conditions (with the "NOT:" prefix stripped).

Trait Implementations

impl Clone for LogicRule

fn clone(&self) -> LogicRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogicRule

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

Formats the value using the given formatter.

impl PartialEq for LogicRule

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