Here is a list of all variables with links to the classes they belong to:
- h -
- h : Rect
- Handle : Gli_Obj_t_, Lf_Plc_t_, Tru_One_t_
- handle : bzFile
- has_extra : Gluco2::Clause, Gluco::Clause, Minisat::Clause
- 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 : internal_state
- heap_len : internal_state
- heap_max : internal_state
- heap_rescale : Gluco2::Solver
- height : avl_node_struct
- 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
- hyperunary : CaDiCaL::Stats
