Struct Extractor 

pub struct Extractor<'a> { /* private fields */ }

Extracts the best plan from an e-graph class.

Implementations

impl<'a> Extractor<'a>

pub fn new(egraph: &'a mut EGraph) -> Self

Creates a new extractor for the given e-graph.

pub fn extract(&mut self, root: EClassId) -> (PlanDag, ExtractionCertificate)

Extracts the best plan for a class and returns it as a PlanDag.

The extraction is deterministic: given the same e-graph structure, it always produces the same PlanDag.

Trait Implementations

impl<'a> Debug for Extractor<'a>

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

Formats the value using the given formatter.