Enum ENode 

pub enum ENode {
    Lit(i64),
    Var(i64),
    Name(String),
    App {
        func: usize,
        arg: usize,
    },
}

Node in the E-graph representing a term.

Terms are represented in a curried style where function application is a binary node. For example, f(x, y) is App(App(f, x), y).

Variants

Lit(i64)

Integer literal from SLit.

Var(i64)

De Bruijn variable from SVar.

Name(String)

Named constant or function symbol from SName.

App

Function application (curried): func applied to arg.

Fields

func: usize

The function being applied.

arg: usize

The argument.

Trait Implementations

impl Clone for ENode

fn clone(&self) -> ENode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ENode

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

Formats the value using the given formatter.

impl Hash for ENode

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ENode

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

impl StructuralPartialEq for ENode