Struct egg::egraph::AddResult

pub struct AddResult {
    pub was_there: bool,
    pub id: Id,
}

Struct that tells you whether or not an add modified the EGraph

let mut egraph = EGraph::<TestLang, ()>::default();
let x1 = egraph.add(var("x"));
let x2 = egraph.add(var("x"));

assert_eq!(x1.id, x2.id);
assert!(!x1.was_there);
assert!(x2.was_there);

Fields

was_there: bool

id: Id

Trait Implementations

impl Debug for AddResult

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

Formats the value using the given formatter.