| categories: |
Logic Programming Control |
| dependencies: |
[Dependency "base" [[VGte "3.2.0",VLt "4.0.0"]],Dependency "random" [[VGte "3.0.0",VLt "4.0.0"]]] |
| documentation: |
searchtree-extra: Extra libraries to deal with search trees =========================================================== This package contains some extra libraries to deal with search trees which represent non-deterministic computations in data structures, as defined in the standard library `Control.Search.SearchTree`. In particular, it contains libraries for traversals through search trees and a library to generate search trees. -------------------------------------------------------------------------- |
| exportedmodules: |
Control.Search.SearchTree.Generators Control.Search.SearchTree.Traversal |
| modules: |
Control.Search.SearchTree.Generators Control.Search.SearchTree.Traversal |
| version: |
1.0.0 |