<< Prev
- Up -
11.3 Encapsulated Search
FirstSol = {Search
.
one Pred}
to be written.
What is a search predicate?
11.3.1 Stability
11.3.2 Global Variables
to be written.
11.3.3 Stateful Data Structures
<< Prev
- Up -
Denys Duchier
,
Claire Gardent
and
Joachim Niehren
Version 1.3.99 (20050412)