CVC3 2.4.1
Public Member Functions
CVC3::SearchEngineRules Class Reference

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

#include <search_rules.h>

Inheritance diagram for CVC3::SearchEngineRules:
CVC3::SearchEngineTheoremProducer

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: