Skip to content
Snippets Groups Projects
Commit 8d6723e7 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Expect Int instead of Text in node ids of SSEGraph

Following the recent change in dOSEK
parent 2098f203
No related branches found
No related tags found
No related merge requests found
......@@ -15,10 +15,11 @@ import Compare.Types.Lenses
import Compare.SSEGraph
import Search.EpsilonElimination
preprocess :: Graph Text SSEEdgeLabel -> Graph Text Text
preprocess :: Graph Int SSEEdgeLabel -> Graph Text Text
preprocess g = g & eliminateEpsilons
& _graph %~ (G.emap _unSSEEdgeLabel)
& _graph %~ (G.emap (renameIdle . renameStartOS . stripArgument))
& _graph %~ (G.nmap (T.pack . show))
& renameIdleKickoff
-- | Rename the startOSEdge from "ABBx/StartOS" to "StartOS"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment