Enum Op 

pub enum Op {
    Not,
    Agg(Aggregator),
    Eq,
    Neq,
    Compose {
        outer: String,
        inner: String,
    },
    Add,
    Sub,
    Mul,
    Div,
    Less,
    LessOrEqual,
    TruthTable {
        rows: Vec<TruthTableEntry>,
        fallback: Option<Box<Op>>,
    },
}

Operator types supported by the environment.

Variants

Not

Negation: mirrors around midpoint. not(x) = hi - (x - lo)

Agg(Aggregator)

Aggregator-based operator (for and/or).

Eq

Equality operator: checks assigned probability or structural equality.

Neq

Inequality: not(eq(…))

Compose

Composition: outer(inner(…))

Fields

outer: String

inner: String

Add

Arithmetic: +, -, *, / (decimal-precision)

Sub

Mul

Div

Less

Numeric comparisons: <, <=

LessOrEqual

TruthTable

Links-defined finite truth table (issue #97, Section 3 of netkeep80’s punch-list). When invoked the evaluator looks up the first row whose inputs match xs (±1e-12 tolerance) and returns the row’s output. If no row matches, the call delegates to fallback so partial tables overlay cleanly onto the host default. rows carries values pre-resolved against env.symbol_prob at activation time.

Fields

rows: Vec<TruthTableEntry>

fallback: Option<Box<Op>>

Trait Implementations

impl Clone for Op

fn clone(&self) -> Op

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Op

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

Formats the value using the given formatter.