Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
API Documentation of Package 'searchtree'
Modules:
Control.AllSolutions
Control.Findall
Control.SearchTree
Control.SearchTree.Generators
Control.SearchTree.Traversal
Control.ValueSequence
Explanations of the icons used in the documentation:
Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations
Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations