From fbaa420ed550e9c3e7cdc09d4a8ec22bfbd782a6 Mon Sep 17 00:00:00 2001 From: JSDurand Date: Mon, 27 Feb 2023 12:36:41 +0800 Subject: before a major refactor I decide to adopt a new approach of recording and updating item derivation forests. Since this affects a lot of things, I decide to commit before the refactor, so that I can create a branch for that refactor. --- graph/src/labelled/binary.rs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'graph') diff --git a/graph/src/labelled/binary.rs b/graph/src/labelled/binary.rs index ce3a867..3b96b92 100644 --- a/graph/src/labelled/binary.rs +++ b/graph/src/labelled/binary.rs @@ -214,6 +214,10 @@ impl Graph for PLGraph { let mut post = String::new(); + // FIXME: Find a way to print only used nodes. Maybe remove + // unwanted edges from unwanted nodes, so that we can print + // out only those used nodes. + for node in self.nodes() { post.push_str(&format!( " {node} [label = \"{}\"]\n", -- cgit v1.2.3-18-g5258