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

Information kept for each CNF variable. More...

Collaboration diagram for SAT::CNF_Manager::CNF_Manager::Varinfo:

[legend]

List of all members.

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::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:

• cnf_manager.h