We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f691e0e commit 9f399aeCopy full SHA for 9f399ae
src/DFAMin.hs
@@ -163,21 +163,16 @@ groupEquivStates DFA { dfa_states = statemap }
163
go r (a:q) = uncurry go $ List.foldl' go0 (a:r,q) xs
164
where
165
xs :: [EquivalenceClass]
166
-#if MIN_VERSION_containers(0, 6, 0)
167
xs =
168
[ x
169
| preimageMap <- IM.elems bigmap
+#if MIN_VERSION_containers(0, 6, 0)
170
, let x = IS.unions (IM.restrictKeys preimageMap a)
171
- , not (IS.null x)
172
- ]
173
#else
174
- xs =
175
- [ x
176
- | preimageMap <- IM.elems bigmap
177
, let x = IS.unions [IM.findWithDefault IS.empty s preimageMap | s <- IS.toList a]
+#endif
178
, not (IS.null x)
179
]
180
-#endif
181
182
refineWith
183
:: IntSet -- preimage set that bisects the input equivalence class
0 commit comments