Commit 0f8709f4 authored by Bastian Kauschke's avatar Bastian Kauschke
Browse files

mark initial states in dot output

parent 239f2dbb
......@@ -77,7 +77,11 @@ dot config symbolTable encoding maybePartition =
foldMap
(uncurry (cluster config symbolTable (Encoding.structure encoding)))
(zip [0..] (Part.toBlocks partition))
withOrigin Nothing = ""
withOrigin (Just i) = " start[label=\"start\", shape=plaintext]\n" <>
" start -> s" <> Build.decimal i <> "\n"
in "digraph {\n" <> " compound=true;\n" <> clusters <>
withOrigin (Encoding.initState encoding) <>
transitions config (Encoding.edges encoding) <>
"}\n"
......
......@@ -320,7 +320,7 @@ graphOptions = do
<> showDefault
)
)
graphParseConfig <- parseConfig ForbidInitState
graphParseConfig <- parseConfig AllowInitState
graphDrawPartition <- switch
(long "draw-partition" <> short 'P' <> help
"Calculate partition (see refine) and group nodes accordingly."
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment