diff options
Diffstat (limited to 'graph')
| -rw-r--r-- | graph/src/labelled/binary.rs | 4 |
1 files changed, 4 insertions, 0 deletions
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<T: GraphLabel> Graph for PLGraph<T> { 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", |