CVC3
Public Attributes

SAT::CNF_Manager::Varinfo Struct Reference

Information kept for each CNF variable. More...

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

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: