Struct AstSize

pub struct AstSize;

A simple CostFunction that counts total AST size.

let e: RecExpr<SymbolLang> = "(do_it foo bar baz)".parse().unwrap();
assert_eq!(AstSize.cost_rec(&e), 4);

Trait Implementations

impl<L: Language> CostFunction<L> for AstSize

type Cost = usize

The Cost type. It only requires PartialOrd so you can use floating point types, but failed comparisons (NaNs) will result in a panic.

fn cost<C>(&mut self, enode: &L, costs: C) -> Self::Cost

where C: FnMut(Id) -> Self::Cost,

Calculates the cost of an enode whose children are Costs.

fn cost_rec(&mut self, expr: &RecExpr<L>) -> Self::Cost

Calculates the total cost of a RecExpr.

impl Debug for AstSize

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

Formats the value using the given formatter.

impl<L: Language, N: Analysis<L>> LpCostFunction<L, N> for AstSize

Available on crate feature lp only.

fn node_cost(&mut self, _egraph: &EGraph<L, N>, _eclass: Id, _enode: &L) -> f64

Returns the cost of the given e-node.