CVC3  2.4.1
Public Attributes
SAT::CNF_Manager::Varinfo Struct Reference

Information kept for each CNF variable. More...

List of all members.

Public Attributes


Detailed Description

Information kept for each CNF variable.


Member Data Documentation

Definition at line 57 of file cnf_manager.h.

Definition at line 58 of file cnf_manager.h.

Definition at line 59 of file cnf_manager.h.


The documentation for this struct was generated from the following file: