CVC3::SearchEngine Class Reference
[Search Engine]
API to to a generic proof search engine.
More...
#include <search.h>
List of all members.
Public Member Functions
Protected Member Functions
Protected Attributes
Detailed Description
API to to a generic proof search engine.
Definition at line 50 of file search.h.
The documentation for this class was generated from the following files: