Enum SymbolicExpressionNode

#[repr(C)]
pub enum SymbolicExpressionNode<F> {
    Variable(SymbolicVariable<F>),
    IsFirstRow,
    IsLastRow,
    IsTransition,
    Constant(F),
    Add {
        left_idx: usize,
        right_idx: usize,
        degree_multiple: usize,
    },
    Sub {
        left_idx: usize,
        right_idx: usize,
        degree_multiple: usize,
    },
    Neg {
        idx: usize,
        degree_multiple: usize,
    },
    Mul {
        left_idx: usize,
        right_idx: usize,
        degree_multiple: usize,
    },
}

A node in symbolic expression DAG. Basically replace Arcs in SymbolicExpression with node IDs. Intended to be serializable and deserializable.

Variants

Variable(SymbolicVariable<F>)

IsFirstRow

IsLastRow

IsTransition

Constant(F)

Add

Fields

left_idx: usize

right_idx: usize

degree_multiple: usize

Sub

Fields

left_idx: usize

right_idx: usize

degree_multiple: usize

Neg

Fields

idx: usize

degree_multiple: usize

Mul

Fields

left_idx: usize

right_idx: usize

degree_multiple: usize

Trait Implementations

impl<F: Clone> Clone for SymbolicExpressionNode<F>

fn clone(&self) -> SymbolicExpressionNode<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for SymbolicExpressionNode<F>

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

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for SymbolicExpressionNode<F>

where F: Field,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: PartialEq> PartialEq for SymbolicExpressionNode<F>

fn eq(&self, other: &SymbolicExpressionNode<F>) -> 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<F> Serialize for SymbolicExpressionNode<F>

where F: Field,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<F: Eq> Eq for SymbolicExpressionNode<F>

impl<F> StructuralPartialEq for SymbolicExpressionNode<F>