CVC3
2.4.1
|
Information kept for each CNF variable. More...
Information kept for each CNF variable.
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.