Implementation of the simple search engine.
More...
#include <search_simple.h>
Inheritance diagram for CVC3::SearchSimple:
[legend]Collaboration diagram for CVC3::SearchSimple:
[legend]List of all members.Public Member Functions
Private Member Functions
Private Attributes
Detailed Description
Implementation of the simple search engine.
Definition at line 41 of file search_simple.h.
The documentation for this class was generated from the following files:
Generated on Tue Jul 3 14:37:34 2007 for CVC3 by
1.5.1