Enum Expr 

pub enum Expr {
    Lit(Literal),
    Var {
        name: String<32>,
        paradigms: ParadigmSet,
    },
    Unary {
        op: SemanticClass,
        operand: AstNode,
        paradigms: ParadigmSet,
    },
    Binary {
        op: SemanticClass,
        left: AstNode,
        right: AstNode,
        paradigms: ParadigmSet,
    },
    Ternary {
        op: SemanticClass,
        first: AstNode,
        second: AstNode,
        third: AstNode,
        paradigms: ParadigmSet,
    },
    Quantified {
        quantifier: SemanticClass,
        variable: String<32>,
        body: AstNode,
        paradigms: ParadigmSet,
    },
    Apply {
        op: SemanticClass,
        agent: String<16>,
        body: AstNode,
        paradigms: ParadigmSet,
    },
    DeonticStatement {
        modality: SemanticClass,
        agent: String<16>,
        action: String<32>,
        deadline_ns: Option<u64>,
        source: Option<String<64>>,
        paradigms: ParadigmSet,
    },
    TemporalConstraint {
        op: SemanticClass,
        body: AstNode,
        bound_ns: Option<u64>,
        paradigms: ParadigmSet,
    },
}

A node in the multi-paradigm AST.

The tree mixes paradigms freely: a Deontic Obligatory node can contain a Temporal Globally subtree. The cross-validation stage checks that such mixtures are coherent.

Variants

Lit(Literal)

Var

Fields

name: String<32>

paradigms: ParadigmSet

Unary

Fields

op: SemanticClass

operand: AstNode

paradigms: ParadigmSet

Binary

Fields

op: SemanticClass

left: AstNode

right: AstNode

paradigms: ParadigmSet

Ternary

Fields

op: SemanticClass

first: AstNode

second: AstNode

third: AstNode

paradigms: ParadigmSet

Quantified

Fields

quantifier: SemanticClass

variable: String<32>

body: AstNode

paradigms: ParadigmSet

Apply

Fields

op: SemanticClass

agent: String<16>

body: AstNode

paradigms: ParadigmSet

DeonticStatement

Fields

modality: SemanticClass

agent: String<16>

action: String<32>

deadline_ns: Option<u64>

Optional deadline for obligation lifecycle tracking.

source: Option<String<64>>

Policy source citation (regulatory anchor).

paradigms: ParadigmSet

TemporalConstraint

Fields

op: SemanticClass

body: AstNode

bound_ns: Option<u64>

Absolute time bound in logical-time units.

paradigms: ParadigmSet

Implementations

impl Expr

pub fn paradigms(&self) -> ParadigmSet

The set of paradigms this expression node participates in.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.