Enum ReteUlNode 

pub enum ReteUlNode {
    UlAlpha(AlphaNode),
    UlAnd(Box<ReteUlNode>, Box<ReteUlNode>),
    UlOr(Box<ReteUlNode>, Box<ReteUlNode>),
    UlNot(Box<ReteUlNode>),
    UlExists(Box<ReteUlNode>),
    UlForall(Box<ReteUlNode>),
    UlTerminal(String),
}

RETE-UL: Unified Logic Node

Variants

UlAlpha(AlphaNode)

UlAnd(Box<ReteUlNode>, Box<ReteUlNode>)

UlOr(Box<ReteUlNode>, Box<ReteUlNode>)

UlNot(Box<ReteUlNode>)

UlExists(Box<ReteUlNode>)

UlForall(Box<ReteUlNode>)

UlTerminal(String)

Implementations

impl ReteUlNode

pub fn evaluate_typed(&self, facts: &TypedFacts) -> bool

Evaluate with typed facts (convenience method)

Trait Implementations

impl Clone for ReteUlNode

fn clone(&self) -> ReteUlNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReteUlNode

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

Formats the value using the given formatter.