Trait EGraphUtils 

pub trait EGraphUtils {
    // Required methods
    fn run_action(&mut self, action: Action) -> Result<(), Error>;
    fn run_actions(&mut self, actions: Actions) -> Result<(), Error>;
    fn check_equal(&mut self, lhs: Expr, rhs: Expr) -> Result<bool, Error>;
}

Extension trait for [EGraph] with convenience methods.

Required Methods

fn run_action(&mut self, action: Action) -> Result<(), Error>

Runs a single action on the e-graph.

fn run_actions(&mut self, actions: Actions) -> Result<(), Error>

Runs multiple actions on the e-graph.

fn check_equal(&mut self, lhs: Expr, rhs: Expr) -> Result<bool, Error>

Checks equality of two expressions in e-graph.

Implementations on Foreign Types

impl EGraphUtils for EGraph

fn run_action(&mut self, action: Action) -> Result<(), Error>

fn run_actions(&mut self, actions: Actions) -> Result<(), Error>

fn check_equal(&mut self, lhs: Expr, rhs: Expr) -> Result<bool, Error>

Implementors