cnf.h File Reference

Basic classes for reasoning about formulas in CNF. More...

Go to the source code of this file.

Namespaces

• namespace SAT

Classes

• class SAT::Var
• class SAT::Lit
• class SAT::Clause
• class SAT::CNF_Formula
• class SAT::CNF_Formula_Impl
• class SAT::CD_CNF_Formula

---

Detailed Description

Basic classes for reasoning about formulas in CNF.

Author: Clark Barrett

Created: Mon Dec 12 20:32:33 2005

Definition in file cnf.h.

---