- _ -

• _addedUnitClauses : CSolver
• _antecedence : CVariable
• _assignment_hook : CSolver, Xchaff
• _assignment_hook_cookie : CSolver, Xchaff
• _assignment_stack : CSolver
• _assumptionIndex : CVCL::SVC_API_impl
• _assumptionStack : CVCL::SVC_API_impl
• _clauses : CDatabase
• _cmpFunc : CVCL::Dict< _Key, _Data >
• _cnfConverter : CVCL::SVC_API_impl
• _cnfFormula : CVCL::SVC_API_impl
• _conditionIndex : CVCL::SVC_API_impl
• _conditions : CVCL::SVC_API_impl
• _conditionVars : CVCL::SVC_API_impl
• _conflict_lits : CSolver
• _conflicts : CSolver
• _connectQueue : CVCL::SVC_API_impl
• _data : CVCL::Hash_Entry< _Key, _Data >, CVCL::Dict_Entry< _Key, _Data >
• _decision_hook : CSolver, Xchaff
• _decision_hook_cookie : CSolver, Xchaff
• _deduction_hook : CSolver
• _deduction_hook_cookie : CSolver
• _dlevel : CSolver, CVariable
• _dlevel_hook : CSolver
• _dlevel_hook_cookie : CSolver
• _first_lit : CClause
• _growFactor : CVCL::Hash_Table< _Key, _Data >
• _growThreshold : CVCL::Hash_Table< _Key, _Data >
• _hash : CVCL::Hash_Ptr< _Key, _Data >
• _hashEntry : CVCL::Hash_Ptr< _Key, _Data >
• _hashFunc : CVCL::Hash_Table< _Key, _Data >
• _hashTbl : CVCL::Hash_Table< _Key, _Data >
• _hooks : CSolver
• _ht_ptrs : CVariable
• _implication_queue : CSolver
• _in_new_cl : CVariable
• _in_use : CClause
• _index : CVCL::Hash_Ptr< _Key, _Data >
• _is_marked : CVariable
• _key : CVCL::Hash_Entry< _Key, _Data >, CVCL::Dict_Entry< _Key, _Data >
• _last_var_lits_count : CSolver
• _link : CVCL::Dict_Ptr< _Key, _Data >
• _list : CVCL::Dict< _Key, _Data >
• _lit_pool_end_storage : CDatabase
• _lit_pool_finish : CDatabase
• _lit_pool_start : CDatabase
• _lits_count : CVariable
• _M_cur : CVCL::_Hashtable_const_iterator< _Key, _Data >, CVCL::_Hashtable_iterator< _Key, _Data >
• _M_ht : CVCL::_Hashtable_const_iterator< _Key, _Data >, CVCL::_Hashtable_iterator< _Key, _Data >
• _matchFunc : CVCL::Hash_Table< _Key, _Data >
• _max_score_pos : CSolver
• _mem_limit : CDatabase
• _next : CVCL::Hash_Entry< _Key, _Data >, CVCL::Dict_Entry< _Key, _Data >
• _num_lits : CClause
• _num_marked : CSolver
• _num_var_in_new_cl : CDatabase
• _numEntries : CVCL::Hash_Table< _Key, _Data >, CVCL::Dict< _Key, _Data >
• _params : CSolver
• _patomifier : CVCL::SVC_API_impl
• _pem : CVCL::SVC_API_impl
• _pfanout_table : CVCL::SVC_API_impl
• _ppvm : CVCL::SVC_API_impl
• _psatapi : CVCL::SVC_API_impl
• _ready : CVCL::SVC_API_impl
• _scores : CVariable
• _size : CVCL::Hash_Table< _Key, _Data >
• _solver : Xchaff
• _splitterCacheTag : CVCL::SVC_API_impl
• _splitterCacheTag2 : CVCL::SVC_API_impl
• _stats : CSolver, CDatabase
• _unused_clause_idx_queue : CDatabase
• _val : CVCL::Hash_Entry< _Key, _Data >, CLitPoolElement
• _value : CVariable
• _var_order : CSolver
• _var_score_pos : CVariable
• _variables : CDatabase
• _vars : CVCL::SVC_API_impl
• _vecMap : CVCL::SVC_API_impl
• _verbosity : CVCL::SVC_API_impl

---