[−][src]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 |