SAT::CNF_Manager::Varinfo Struct Reference

Information kept for each CNF variable. More...

Collaboration diagram for SAT::CNF_Manager::Varinfo:

Collaboration graph
List of all members.

Public Attributes

Detailed Description

Information kept for each CNF variable.

Definition at line 55 of file cnf_manager.h.

Member Data Documentation

CVCL::Expr SAT::CNF_Manager::Varinfo::expr

Definition at line 56 of file cnf_manager.h.

std::vector<Lit> SAT::CNF_Manager::Varinfo::fanins

Definition at line 57 of file cnf_manager.h.

std::vector<Var> SAT::CNF_Manager::Varinfo::fanouts

Definition at line 58 of file cnf_manager.h.

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