Struct ENode 

pub struct ENode {
    pub repr: Expr,
    pub members: Vec<Expr>,
    pub proofs: Vec<Option<Expr>>,
}

A node in the E-graph, representing an equivalence class.

Fields

repr: Expr

Representative of this equivalence class.

members: Vec<Expr>

All members of this equivalence class.

proofs: Vec<Option<Expr>>

Proof terms linking members to the representative (if available).

Implementations

impl ENode

pub fn singleton(expr: Expr) -> Self

Create a new E-node with a single expression.

pub fn add_member(&mut self, expr: Expr, proof: Option<Expr>)

Add an expression to this equivalence class.

pub fn contains(&self, expr: &Expr) -> bool

Check if an expression is in this class.

pub fn size(&self) -> usize

Size of the equivalence class.

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.