Struct hydro_lang::rewrites::properties::PropertyDatabase

pub struct PropertyDatabase { /* private fields */ }

Structure for tracking expressions known to have particular algebraic properties.

Schema

Each field in this struct corresponds to an algebraic property, and contains the list of expressions that satisfy the property. Currently only commutative.

Interface

“Tag” an expression with a property and it will add it to that table. For example, Self::add_commutative_tag. Can also run a check to see if an expression satisfies a property.

Implementations

impl PropertyDatabase

pub fn add_commutative_tag<'a, I, A, F: Fn(&mut A, I), Ctx, Q: QuotedWithContext<'a, F, Ctx> + Clone>( &mut self, expr: Q, ctx: &Ctx, ) -> Q

Tags the expression as commutative.

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

Trait Implementations

impl Default for PropertyDatabase

fn default() -> PropertyDatabase

Returns the “default value” for a type.