Trait egg::LpCostFunction
source · [−]pub trait LpCostFunction<L: Language, N: Analysis<L>> {
fn node_cost(&mut self, egraph: &EGraph<L, N>, eclass: Id, enode: &L) -> f64;
}
Expand description
A cost function to be used by an LpExtractor
.