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

- g -

• G : Dsd_Node_t_
• Gain : Lpk_Cut_t_
• gain : FM_cell
• GainBest : Dar_Man_t_, Ref_Man_t_
• GainRatio : SC_BusPars_
• gamma : saucy
• garbage : CaDiCaL::Clause, CaDiCaL::Closure, CaDiCaL::Gate, CaDiCaL::LratCheckerClause, CaDiCaL::Stats, clause, closure, gate
• garbage_frac : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• garbage_max_ratio : satoko_opts
• Gate : Nf_Mat_t_, Pf_Obj_t_
• gate : CaDiCaL::Clause
• gate_eliminated : kissat
• GateAnd : Sfm_Dec_t_
• GateBuffer : Sfm_Dec_t_
• GateConst0 : Sfm_Dec_t_
• GateConst1 : Sfm_Dec_t_
• GateInvert : Sfm_Dec_t_
• GateOr : Sfm_Dec_t_
• gates : CaDiCaL::Eliminator, CaDiCaL::Stats, kissat
• gatetype : CaDiCaL::Eliminator
• generator : cadical_kitten, kitten
• gens : saucy_stats
• gFile : saucy
• Ghost : Aig_Man_t_, Hop_Man_t_, Ivy_Man_t_
• gia_man : eSLIM::SelectionStrategy< T >
• gimpel : stats_struct
• gimpel_count : stats_struct
• glargecounts : CaDiCaL::Closure
• GloArea : Mpm_Man_t_
• GloEdge : Mpm_Man_t_
• GloRequired : Mpm_Man_t_
• glue : CaDiCaL::Averages, CaDiCaL::Clause, clause, limits, statistics
• gnew_largecounts : CaDiCaL::Closure
• good_length : config_s
• good_match : internal_state
• Group : If_Hte_t_
• Groups : Gem_Obj_t_
• grow : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• grow_factor : st__table, stmm_table
• grpsize_base : saucy_stats
• grpsize_exp : saucy_stats
• gtab : CaDiCaL::Closure, CaDiCaL::Internal
• gzhead : internal_state
• gzindex : internal_state