Information kept for each CNF variable. More...
Collaboration diagram for SAT::CNF_Manager::Varinfo:
Public Attributes | |
| CVC3::Expr | expr |
| std::vector< Lit > | fanins |
| std::vector< Var > | fanouts |
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:
