CVC3
Classes | Namespaces
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"
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  SAT::DPLLT
 
class  SAT::DPLLT::TheoryAPI
 
class  SAT::DPLLT::Decider
 

Namespaces

namespace  SAT
 

Detailed Description

Generic DPLL(T) module.

Author: Clark Barrett

Created: Mon Dec 12 16:28:08 2005

Definition in file dpllt.h.