Module egg::dot

EGraph visualization with GraphViz

Use the Dot struct to visualize an EGraph

use egg::{
  expr::tests::{TestLang, var, op},
  egraph::EGraph,
  dot::Dot,
};

// make an egraph
let mut egraph = EGraph::<TestLang, ()>::default();
let x = egraph.add(var("x"));
let y = egraph.add(var("y"));
egraph.add(op("+", vec![x.id, y.id]));

// create a `Dot` so we can visualize it
let dot = Dot::new(&egraph);
let output = format!("{}", dot);

Structs

Dot	A wrapper for an EGraph that implements Display so you can print it.