cnf_manager.h File Reference

Manager for conversion to and traversal of CNF formulas. More...

#include "cnf.h"
#include "expr.h"
#include "expr_map.h"
#include "cdmap.h"
#include "statistics.h"

Include dependency graph for cnf_manager.h:

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

Go to the source code of this file.

Namespaces

• namespace CVC3
• namespace SAT

Classes

• class SAT::CNF_Manager
• struct SAT::CNF_Manager::Varinfo

  Information kept for each CNF variable. More...
  

• class SAT::CNF_Manager::CNFCallback

  Abstract class for callbacks. More...
  

---

Detailed Description

Manager for conversion to and traversal of CNF formulas.

Author: Clark Barrett

Created: Thu Dec 15 13:53:16 2005

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file cnf_manager.h.

---