next up previous contents
Next: Managing the Search Tree Up: Details of the Implementation Previous: Branching   Contents


The Tree Manager Module


Subsections
Ted Ralphs 2002-10-23