Enum ExprNode 

#[non_exhaustive]
pub enum ExprNode {
    CoordinateMapFactorAction {
        value: ExprId,
        parameter: ExprId,
        directions: Vec<ExprId>,
    },
    CoordinateMapFactor {
        factor: CoordinateMapFactor,
        source: Vec<ExprId>,
        at: Vec<(ExprId, ExprId)>,
    },
    Pullback {
        value: ExprId,
        source: Vec<ExprId>,
        at: Vec<(ExprId, ExprId)>,
    },
    Evaluate {
        value: ExprId,
        at: Vec<(ExprId, ExprId)>,
        side: Option<BoundarySide>,
    },
    Require {
        condition: ExprId,
        value: ExprId,
    },
    Select {
        condition: ExprId,
        then_value: ExprId,
        else_value: ExprId,
    },
    Compare(ComparisonOp, ExprId, ExprId),
    Not(ExprId),
    And(ExprId, ExprId),
    Or(ExprId, ExprId),
    Constant(ValueLiteral),
    Symbol(SymbolRef),
    Array {
        elements: Vec<ExprId>,
    },
    Index {
        value: ExprId,
        index: u32,
    },
    Complex {
        real: ExprId,
        imag: ExprId,
    },
    Sample {
        value: ExprId,
        clock: Id<ClockDomain>,
    },
    Hold(ExprId),
    Neg(ExprId),
    Add(ExprId, ExprId),
    Sub(ExprId, ExprId),
    Mul(ExprId, ExprId),
    Div(ExprId, ExprId),
    Quotient(ExprId, ExprId),
    Remainder(ExprId, ExprId),
    Ordinal(ExprId),
    ToReal(ExprId),
    ToInteger(ExprId),
    PowI(ExprId, i32),
    UnaryMath(UnaryMathFunction, ExprId),
    FiniteUnary(FiniteUnaryOperation, ExprId),
    FiniteBinary(FiniteBinaryOperation, ExprId, ExprId),
    Gradient(ExprId),
    CoordinatePartial {
        value: ExprId,
        wrt: ExprId,
    },
    Divergence(ExprId),
    SymmetricPart(ExprId),
    IsotropicLift(ExprId),
    Trace {
        value: ExprId,
        on: Id<Domain>,
    },
    NormalComponent {
        value: ExprId,
        on: Id<Domain>,
    },
    PureOperatorApplication(PureOperatorApplication),
}

One node in a topologically ordered expression DAG.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

CoordinateMapFactorAction

Directional derivative of a coordinate-map factor. Directions are mapped-row changes per unit of the explicit parameter.

Fields

value: ExprId

parameter: ExprId

directions: Vec<ExprId>

CoordinateMapFactor

A local differential factor derived from the map expressions.

Fields

factor: CoordinateMapFactor

Signed determinant, invertible volume scale, or orientation.

source: Vec<ExprId>

Complete ordered source coordinates.

at: Vec<(ExprId, ExprId)>

Ordered target coordinates and their source-supported expressions.

Pullback

Pull an invariant scalar back along a coordinate map. The source selectors and target bindings define the map within this DAG.

Fields

value: ExprId

Scalar expression on the target support.

source: Vec<ExprId>

Complete ordered source coordinate selectors.

at: Vec<(ExprId, ExprId)>

Complete target selectors paired with source-supported coordinate expressions.

Evaluate

Evaluate at given coordinate values, without interpolation or extrapolation.

Fields

value: ExprId

Expression whose spatial coordinates are bound.

at: Vec<(ExprId, ExprId)>

Coordinate-symbol nodes and dimension-compatible point-expression nodes.

side: Option<BoundarySide>

One-sided reconstruction request on a one-dimensional support.

Require

Demand a Boolean domain condition; false rejects before demanding the value.

Fields

condition: ExprId

value: ExprId

Select

Demand the Boolean condition, then only the selected value arm. Both arms remain statically typed and retain their dependencies.

Fields

condition: ExprId

then_value: ExprId

else_value: ExprId

Compare(ComparisonOp, ExprId, ExprId)

Scalar comparison retaining exact operand domains.

Not(ExprId)

Boolean negation.

And(ExprId, ExprId)

Short-circuit Boolean conjunction.

Or(ExprId, ExprId)

Short-circuit Boolean disjunction.

Constant(ValueLiteral)

Constant with its full mathematical type.

Symbol(SymbolRef)

Kernel symbol reference.

Array

Construct ordered outer channel-array elements.

Fields

elements: Vec<ExprId>

Index

Select one outer channel element by zero-based index.

Fields

value: ExprId

index: u32

Complex

Construct a complex scalar from real and imaginary scalar expressions.

Fields

real: ExprId

imag: ExprId

Sample

Sample a continuous value on the given clock.

Fields

value: ExprId

clock: Id<ClockDomain>

Hold(ExprId)

Continuous read of an explicitly initialized and updated clocked State.

Neg(ExprId)

Unary negation.

Add(ExprId, ExprId)

Addition.

Sub(ExprId, ExprId)

Subtraction.

Mul(ExprId, ExprId)

Multiplication.

Div(ExprId, ExprId)

Division.

Quotient(ExprId, ExprId)

Exact integer quotient, truncating toward zero.

Remainder(ExprId, ExprId)

Exact integer remainder with the dividend sign.

Ordinal(ExprId)

Integer ordinal of a nominal index.

ToReal(ExprId)

Explicit integer scalar to real conversion.

ToInteger(ExprId)

Checked integral real scalar to integer conversion.

PowI(ExprId, i32)

Integer power.

UnaryMath(UnaryMathFunction, ExprId)

Apply one dimension-aware unary mathematical function.

FiniteUnary(FiniteUnaryOperation, ExprId)

Coordinate dualization or orthonormal adjoint, preserving the finite bases.

FiniteBinary(FiniteBinaryOperation, ExprId, ExprId)

Typed finite application, composition, or dual pairing.

Gradient(ExprId)

Physical-space gradient. The operand’s continuous Domain determines the appended spatial axis.

CoordinatePartial

Coordinate partial derivative, kept symbolic until a numerical representation supplies it. wrt must be a Coordinate symbol.

Fields

value: ExprId

wrt: ExprId

Divergence(ExprId)

Physical-space divergence, contracting the final spatial axis.

SymmetricPart(ExprId)

Symmetric part of a square Cartesian rank-two tensor.

IsotropicLift(ExprId)

Lift a supported invariant scalar to its isotropic Cartesian tensor.

Trace

Full trace on a boundary or physical-interface Domain.

Fields

value: ExprId

Parent-supported expression.

on: Id<Domain>

Trace target; the operand’s support selects the adjacent parent.

NormalComponent

Normal contraction on a boundary or physical-interface Domain. Exterior boundaries use the parent-outward normal; physical interfaces use the common normal of their first declared boundary.

Fields

value: ExprId

Parent-supported tensor expression, or its full trace on the target.

on: Id<Domain>

Boundary or physical interface that defines the normal orientation.

PureOperatorApplication(PureOperatorApplication)

Apply one expression-local, content-addressed pure definition.

Implementations

§

impl ExprNode

Signature links:ExprNode

pub fn try_for_each_operand<E>( &self, visit: impl FnMut(ExprId) -> Result<(), E>, ) -> Result<(), E>

Signature links:try_for_each_operandFnMutExprIdResult()Result()

Visit every direct expression operand in its declared order. Node-local metadata and nested pure-operator definitions are not operands.

Errors

Stops at and returns the first visitor error.

Trait Implementations

§

impl Clone for ExprNode

Signature links:CloneExprNode

§

fn clone(&self) -> ExprNode

Signature links:cloneExprNode

Returns a duplicate of the value.

§

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

Signature links:unstableSourceclone_from

Performs copy-assignment from source.

§

impl Debug for ExprNode

Signature links:DebugExprNode

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl PartialEq for ExprNode

Signature links:PartialEqExprNode

§

fn eq(&self, other: &ExprNode) -> bool

Signature links:eqExprNodebool

Tests for self and other values to be equal, and is used by ==.

§

fn ne(&self, other: &Rhs) -> bool

Signature links:unstableSourcene&Rhsbool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ExprNode