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. --- chain/src/item/default/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'chain/src/item/default') diff --git a/chain/src/item/default/mod.rs b/chain/src/item/default/mod.rs index 0dc613b..b84d4ea 100644 --- a/chain/src/item/default/mod.rs +++ b/chain/src/item/default/mod.rs @@ -1095,7 +1095,7 @@ impl DefaultForest> { 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