SAT::CNF_Manager::CNF_Manager::Varinfo Struct Reference

Information kept for each CNF variable. More...

Collaboration diagram for SAT::CNF_Manager::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::CNF_Manager::Varinfo::expr

Definition at line 57 of file cnf_manager.h.

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

Definition at line 58 of file cnf_manager.h.

std::vector<Var> SAT::CNF_Manager::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 Thu Oct 15 22:27:44 2009 for CVC3 by  doxygen 1.5.8