CVC3  2.4.1
Public Member Functions | Private Member Functions | Private Attributes
CVC3::SearchSimple Class Reference

Implementation of the simple search engine. More...

#include <search_simple.h>

Inheritance diagram for CVC3::SearchSimple:
CVC3::SearchImplBase CVC3::SearchEngine

List of all members.

Public Member Functions

Private Member Functions

Private Attributes


Detailed Description

Implementation of the simple search engine.


The documentation for this class was generated from the following files: