From 00fec180f0f0b7fb8bc7d89f8750694d66034dff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Merlin=20G=C3=B6ttlinger?= <megoettlinger@gmail.com>
Date: Sat, 13 May 2017 16:25:44 +0200
Subject: [PATCH] Color epsilon edges blue in dot file
---
src/Search/Dot.hs | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/Search/Dot.hs b/src/Search/Dot.hs
index 2cc3c01..9655630 100644
--- a/src/Search/Dot.hs
+++ b/src/Search/Dot.hs
@@ -3,6 +3,7 @@
-- TODO Document
module Search.Dot (graph2dot) where
+import Compare.SSEGraph
import Data.Monoid
import qualified Data.Graph.Inductive as G
@@ -36,4 +37,6 @@ dotEdges = foldMap formatEdge . G.labEdges . graph
where
formatEdge (from, to, label) =
B.fromString (show from) <> " -> " <> B.fromString (show to)
- <> " [label=\"" <> B.fromText label <> "\"];\n"
+ <> " [label=\"" <> B.fromText label <> "\", color=" <> color label <> "];\n"
+ color label = if isEpsilon $ SSEEdgeLabel label then "blue" else "black"
+
--
GitLab