dpllt.h File Reference

Generic DPLL(T) module. More...

#include "queryresult.h"
#include "cnf.h"
#include "cnf_manager.h"
#include "proof.h"
#include "theory_core.h"

Include dependency graph for dpllt.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

Classes


Detailed Description

Generic DPLL(T) module.

Author: Clark Barrett

Created: Mon Dec 12 16:28:08 2005

Definition in file dpllt.h.


Generated on Wed Nov 18 16:13:46 2009 for CVC3 by  doxygen 1.5.2