Here is a list of all class members with links to the classes they belong to:

- h -

• h : Rect
• Handle : Gli_Obj_t_, Lf_Plc_t_, Tru_One_t_
• handle : bzFile
• handle_external_clause() : CaDiCaL::Internal
• Handler() : CaDiCaL::Handler
• has() : CaDiCaL::Config, CaDiCaL::Options, Gluco2::CMap< T >, Gluco2::Map< K, D, H, E >, Gluco::CMap< T >, Gluco::Map< K, D, H, E >, Minisat::CMap< T >, Minisat::Map< K, D, H, E >
• has_extra : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• Hash() : CaDiCaL::Hash
• hash : CaDiCaL::CheckerClause, CaDiCaL::Gate, CaDiCaL::HashId, CaDiCaL::IdrupClause, CaDiCaL::LidrupClause, CaDiCaL::LratCheckerClause, closure, gate, hash_ref, st__table, stmm_table
• hash_bits : internal_state
• hash_mask : internal_state
• hash_shift : internal_state
• hash_size : internal_state
• HashFailure : _reo_man
• HashSuccess : _reo_man
• have : gz_state, inflate_state
• havedict : inflate_state
• hBinary : sat_solver3_t, sat_solver_t
• hbreds : CaDiCaL::Stats
• hbrs : CaDiCaL::Stats
• hbrsizes : CaDiCaL::Stats
• hbrsubs : CaDiCaL::Stats
• hcrc : gz_header_s
• Head : Amap_Item_t_, Scl_Item_t_
• head : inflate_state, internal_state, Ses_TruthEntry_t_
• Heap() : Gluco2::Heap< Comp >, Gluco::Heap< Comp >, Minisat::Heap< Comp >
• heap() : CaDiCaL::heap< C >, internal_state
• Heap2() : Gluco2::Heap2< Comp, Obj >
• heap_len : internal_state
• heap_max : internal_state
• heap_rescale : Gluco2::Solver
• height : avl_node_struct
• help() : Gluco2::BoolOption, Gluco2::DoubleOption, Gluco2::Int64Option, Gluco2::IntOption, Gluco2::Option, Gluco2::StringOption, Gluco::BoolOption, Gluco::DoubleOption, Gluco::Int64Option, Gluco::IntOption, Gluco::Option, Gluco::StringOption, Minisat::BoolOption, Minisat::DoubleOption, Minisat::IntOption, Minisat::Option, Minisat::StringOption
• hFan0 : Unr_Obj_t_
• hFan1 : Unr_Obj_t_
• hHandle : Emb_Obj_t_, Frc_Obj_t_
• hi : CaDiCaL::Option
• high_water : internal_state
• HintFirst : Gia_ParLlb_t_
• History : Gem_Obj_t_
• hIthVars : Tru_Man_t_
• hLearntLast : sat_solver2_t
• hLearnts : sat_solver3_t, sat_solver_t
• hNext : Mpm_Cut_t_
• HNum : FxuDouble, FxuSingle
• hold : inflate_state
• hops : factoring
• hOrder : xSAT_Solver_t_
• horn : CaDiCaL::Stats
• how : gz_state
• hProofLast : sat_solver2_t
• hProofPivot : sat_solver2_t, sat_solver3_t, sat_solver_t
• Hst : Abc_Frame_t_
• HTable : _reo_man
• htrs : CaDiCaL::Stats
• htrs2 : CaDiCaL::Stats
• htrs3 : CaDiCaL::Stats
• hyper : CaDiCaL::Clause, CaDiCaL::Stats
• hyper_binary_resolve() : CaDiCaL::Internal
• hyper_ternary_resolve() : CaDiCaL::Internal
• hyperunary : CaDiCaL::Stats