Enum SymbolicRepresentation 

pub enum SymbolicRepresentation {
    Atom(String),
    And(Box<SymbolicRepresentation>, Box<SymbolicRepresentation>),
    Or(Box<SymbolicRepresentation>, Box<SymbolicRepresentation>),
    Not(Box<SymbolicRepresentation>),
    Implies(Box<SymbolicRepresentation>, Box<SymbolicRepresentation>),
    Iff(Box<SymbolicRepresentation>, Box<SymbolicRepresentation>),
    Expr(String),
}

SymbolicRepr defines a general-purpose symbolic representation that supports identifiers, logical operations, expressions, and compound terms.

This type is used to reason over symbolic causality nodes (e.g., rules, logic graphs, theorem-like structures). Box is required for recursive enum definitions.

Variants

Atom(String)

A single symbolic identifier (e.g., “A”, “TempHigh”).

And(Box<SymbolicRepresentation>, Box<SymbolicRepresentation>)

A logical AND: A ∧ B

Or(Box<SymbolicRepresentation>, Box<SymbolicRepresentation>)

A logical OR: A ∨ B

Not(Box<SymbolicRepresentation>)

A logical NOT operation: ¬A

Implies(Box<SymbolicRepresentation>, Box<SymbolicRepresentation>)

A logical implication: A → B

Iff(Box<SymbolicRepresentation>, Box<SymbolicRepresentation>)

A logical biconditional: A ↔ B

Expr(String)

A custom expression: string-based fallback.

Implementations

impl SymbolicRepresentation

pub fn new_atom(atom: String) -> Self

pub fn new_and( lhs: Box<SymbolicRepresentation>, rhs: Box<SymbolicRepresentation>, ) -> Self

pub fn new_or( lhs: Box<SymbolicRepresentation>, rhs: Box<SymbolicRepresentation>, ) -> Self

pub fn new_not(expr: Box<SymbolicRepresentation>) -> Self

pub fn new_implies( lhs: Box<SymbolicRepresentation>, rhs: Box<SymbolicRepresentation>, ) -> Self

pub fn new_iff( lhs: Box<SymbolicRepresentation>, rhs: Box<SymbolicRepresentation>, ) -> Self

pub fn new_expr(expr: String) -> Self

Trait Implementations

impl Clone for SymbolicRepresentation

fn clone(&self) -> SymbolicRepresentation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolicRepresentation

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

Formats the value using the given formatter.

impl Display for SymbolicRepresentation

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

Formats the value using the given formatter.

impl Eq for SymbolicRepresentation

impl Hash for SymbolicRepresentation

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SymbolicRepresentation

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