Struct BestProgram

pub struct BestProgram<C> { /* private fields */ }

Implementations

impl<C> BestProgram<C>

pub fn new(cost_fn: C, root: Id) -> Self

pub fn with_rebuild(self, rebuild: bool) -> Self

Trait Implementations

impl<L, N, C> Recorder<L, N> for BestProgram<C>

where L: Language, N: Analysis<L>, C: CostFunction<L> + Clone, <C as CostFunction<L>>::Cost: Display,

fn identifier(&self) -> Cow<'static, str>

fn record_before_rewrite( &self, _iteration: usize, egraph: &mut EGraph<L, N>, _rewrite: &Rewrite<L, N>, _matches: &[SearchMatches<'_, L>], ) -> Option<String>

fn record_after_rewrite( &self, _iteration: usize, egraph: &mut EGraph<L, N>, _rewrite: &Rewrite<L, N>, _n_matches: usize, ) -> Option<String>

fn record_before_search<'r>( &self, iteration: usize, egraph: &'r EGraph<L, N>, rewrite: &'r Rewrite<L, N>, ) -> Option<String>

fn record_after_search<'r>( &self, iteration: usize, egraph: &'r EGraph<L, N>, rewrite: &'r Rewrite<L, N>, matches: &[SearchMatches<'_, L>], ) -> Option<String>