- _ -

• _addedUnitClauses : CSolver
• _antecedence : CVariable
• _assignment_hook : CSolver , Xchaff
• _assignment_hook_cookie : Xchaff , CSolver
• _assignment_stack : CSolver
• _clauses : CDatabase
• _conflict_lits : CSolver
• _conflicts : CSolver
• _decision_hook : CSolver , Xchaff
• _decision_hook_cookie : Xchaff , CSolver
• _deduction_hook : CSolver
• _deduction_hook_cookie : CSolver
• _dlevel : CVariable , CSolver
• _dlevel_hook : CSolver
• _dlevel_hook_cookie : CSolver
• _first_lit : CClause
• _hooks : CSolver
• _ht_ptrs : CVariable
• _implication_queue : CSolver
• _in_new_cl : CVariable
• _in_use : CClause
• _is_marked : CVariable
• _last_var_lits_count : CSolver
• _lit_pool_end_storage : CDatabase
• _lit_pool_finish : CDatabase
• _lit_pool_start : CDatabase
• _lits_count : CVariable
• _max_score_pos : CSolver
• _mem_limit : CDatabase
• _num_lits : CClause
• _num_marked : CSolver
• _num_var_in_new_cl : CDatabase
• _params : CSolver
• _scores : CVariable
• _solver : Xchaff
• _stats : CSolver , CDatabase
• _unused_clause_idx_queue : CDatabase
• _val : CLitPoolElement
• _value : CVariable
• _var_order : CSolver
• _var_score_pos : CVariable
• _variables : CDatabase

---