From 0bf1d3d9d883d0b63792c68541b23404aae0ec8f Mon Sep 17 00:00:00 2001 From: JSDurand Date: Fri, 21 Jul 2023 19:14:51 +0800 Subject: Print graphs with edges in order * chain/src/item/default/mod.rs: * graph/src/labelled/binary.rs: * graph/src/labelled/double.rs: * graph/src/lib.rs: If we set the option "ordering" to be "out" in the declaration of nodes at the beginning, then GraphViz will not change the order of children out of nodes. This is much better looking in my opinion. * INSTALL: make insists in changing this file, so let it be. --- graph/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'graph/src/lib.rs') diff --git a/graph/src/lib.rs b/graph/src/lib.rs index 9e5b1cc..e27ace0 100644 --- a/graph/src/lib.rs +++ b/graph/src/lib.rs @@ -113,7 +113,7 @@ pub trait Graph: Default { fn print_viz(&self, filename: &str) -> Result<(), std::io::Error> { let preamble = "digraph nfa { fontname=\"Helvetica,Arial,sans-serif\" - node [fontname=\"Helvetica,Arial,sans-serif\"] + node [fontname=\"Helvetica,Arial,sans-serif\", ordering=out] edge [fontname=\"Helvetica,Arial,sans-serif\"] rankdir=LR;\n"; -- cgit v1.2.3-18-g5258