Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages | Search for 
TheoryCore::CoreSatAPI

TheoryCore::CoreSatAPI Class Reference

Interface class for callbacks to SAT from Core. More...

#include <theory_core.h>

Detailed Description

Interface class for callbacks to SAT from Core.

Author: Clark Barrett

Created: Mon Dec 5 18:42:15 2005

The documentation for this class was generated from the following file:
Generated on Thu Apr 13 16:57:47 2006 for CVC Lite by  doxygen 1.4.4