CVC3::SearchEngineRules Class Reference
[Proof Rules for the Search Engines]

API to the proof rules for the Search Engines. More...

#include <search_rules.h>

Inheritance diagram for CVC3::SearchEngineRules:

Inheritance graph
[legend]
List of all members.

Public Member Functions


Detailed Description

API to the proof rules for the Search Engines.

Definition at line 35 of file search_rules.h.


The documentation for this class was generated from the following file:
Generated on Wed Nov 18 16:17:51 2009 for CVC3 by  doxygen 1.5.2