Struct DebugAnalysis 

pub struct DebugAnalysis;

A specialized analysis for tracking debug information (Loc)

Trait Implementations

impl<L: Language> Analysis<L> for DebugAnalysis

type Data = DebugData

fn make(_egraph: &EGraph<L, Self>, _enode: &L) -> Self::Data

fn merge(&mut self, to: &mut Self::Data, from: Self::Data) -> bool

fn on_add(&self, data: &mut Self::Data, loc: Loc)

fn is_compatible(&self, _data1: &Self::Data, _data2: &Self::Data) -> bool

impl Default for DebugAnalysis

fn default() -> DebugAnalysis

Returns the “default value” for a type.