SAT::CNF_Manager::Varinfo Struct Reference

Information kept for each CNF variable. More...

Collaboration diagram for SAT::CNF_Manager::Varinfo:

Collaboration graph
[legend]
List of all members.

Public Attributes


Detailed Description

Information kept for each CNF variable.

Definition at line 56 of file cnf_manager.h.


Member Data Documentation

CVC3::Expr SAT::CNF_Manager::Varinfo::expr

Definition at line 57 of file cnf_manager.h.

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

Definition at line 58 of file cnf_manager.h.

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

Definition at line 59 of file cnf_manager.h.


The documentation for this struct was generated from the following file:
Generated on Tue Jul 3 14:42:28 2007 for CVC3 by  doxygen 1.5.1