| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
UHC.Util.CHR.Solve.TreeTrie.Visualizer
- chrVisualize :: [C] -> SolveTrace' C (StoredCHR C G P P) S -> PP_Doc
Documentation
chrVisualize :: [C] -> SolveTrace' C (StoredCHR C G P P) S -> PP_Doc Source #
Creates a visualization for the given query and solve trace. Output is a PP_Doc containing a HTML file.