Struct EGraph 

pub struct EGraph<L: Language, A: Analysis<L> = ()> {
    pub union_find: UnionFind,
    pub classes: DashMap<Id, EClass<L, A::Data>>,
    pub memo: DashMap<L, Id>,
    pub analysis: RwLock<A>,
    pub next_id: AtomicUsize,
    pub dirty: DashMap<Id, ()>,
}

Fields

union_find: UnionFind

classes: DashMap<Id, EClass<L, A::Data>>

memo: DashMap<L, Id>

analysis: RwLock<A>

next_id: AtomicUsize

dirty: DashMap<Id, ()>

Implementations

impl<L: Language, A: Analysis<L>> EGraph<L, A>

pub fn get_class(&self, id: Id) -> Ref<'_, Id, EClass<L, A::Data>>

pub fn new() -> Self

pub fn add(&self, enode: L) -> Id

pub fn add_with_loc(&self, enode: L, loc: Loc) -> Id

pub fn union(&self, id1: Id, id2: Id) -> Id

pub fn rebuild(&self)

Trait Implementations

impl<L: Debug + Language, A: Debug + Analysis<L>> Debug for EGraph<L, A>

where A::Data: Debug,

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

Formats the value using the given formatter.