Struct ShannonExpand 

pub struct ShannonExpand { /* private fields */ }

Available on crate feature dyn_decomp only.

A rewrite applier for expanding a LUT along its two cofactors in the most-significant operand.

Implementations

impl ShannonExpand

pub fn new(program: Var, vars: Vec<Var>, any_order: bool) -> Self

Create an applier that combines duplicated inputs to a LUT. The last two elements in vars must be the same.

Trait Implementations

impl Applier<LutLang, LutAnalysis> for ShannonExpand

fn apply_one( &self, egraph: &mut EGraph<LutLang, LutAnalysis>, eclass: Id, subst: &Subst, searcher_ast: Option<&PatternAst<LutLang>>, rule_name: Symbol, ) -> Vec<Id>

Apply a single substitution.

fn apply_matches( &self, egraph: &mut EGraph<L, N>, matches: &[SearchMatches<'_, L>], rule_name: GlobalSymbol, ) -> Vec<Id>

Apply many substitutions.

fn get_pattern_ast(&self) -> Option<&RecExpr<ENodeOrVar<L>>>

For patterns, get the ast directly as a reference.

fn vars(&self) -> Vec<Var>

Returns a list of variables that this Applier assumes are bound.

impl Clone for ShannonExpand

fn clone(&self) -> ShannonExpand

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShannonExpand

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

Formats the value using the given formatter.

impl PartialEq for ShannonExpand

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

impl StructuralPartialEq for ShannonExpand