CVC3  2.4.1
Public Attributes | List of all members
SAT::CNF_Manager::Varinfo Struct Reference

Information kept for each CNF variable. More...

Public Attributes

CVC3::Expr expr
 
std::vector< Litfanins
 
std::vector< Varfanouts
 

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: