egg_sketches

Function eclass_extract_sketch

Source 
pub fn eclass_extract_sketch<L, A, CF>(
    s: &Sketch<L>,
    cost_f: CF,
    egraph: &EGraph<L, A>,
    id: Id,
) -> Option<(CF::Cost, RecExpr<L>)>
where
    L: Language,
    A: Analysis<L>,
    CF: CostFunction<L>,
    CF::Cost: 'static + Ord,
Expand description

Returns the best program satisfying s according to cost_f that is represented in the id e-class of egraph, if it exists.