Enum SerializedNode

pub enum SerializedNode {
    Function {
        name: String,
        offset: usize,
    },
    Primitive(Value),
    Dummy(Value),
    Split(Box<SerializedNode>),
}

A node in the serialized egraph.

Variants

Function

A user defined function call.

Fields

name: String

The name of the function.

offset: usize

The offset of the index in the table. This can be resolved to the output and input values with table.get_index(offset, true).

Primitive(Value)

A primitive value.

Dummy(Value)

A dummy node used to represent omitted nodes.

Split(Box<SerializedNode>)

A node that was split into multiple e-classes.

Implementations

impl SerializedNode

pub fn is_primitive(&self) -> bool

Returns true if the node is a primitive value.

Trait Implementations

impl Clone for SerializedNode

fn clone(&self) -> SerializedNode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SerializedNode

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

Formats the value using the given formatter.

impl PartialEq for SerializedNode

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