Here is a list of all class members 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_collection() : CaDiCaL::Internal
• garbage_frac : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• garbage_max_ratio : satoko_opts
• garbageCollect() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
• Gate : Nf_Mat_t_, Pf_Obj_t_
• gate : CaDiCaL::Clause
• gate_eliminated : kissat
• gate_sort_lrat_reasons() : CaDiCaL::Closure
• gateAddJwatch() : Gluco2::Solver
• GateAnd : Sfm_Dec_t_
• GateBuffer : Sfm_Dec_t_
• gateClearJwatch() : Gluco2::Solver
• GateConst0 : Sfm_Dec_t_
• GateConst1 : Sfm_Dec_t_
• GateInvert : Sfm_Dec_t_
• gateJustFanin() : Gluco2::Solver
• GateOr : Sfm_Dec_t_
• gatePropagate() : Gluco2::Solver
• gatePropagateCheck() : Gluco2::Solver
• gatePropagateCheckFanout() : Gluco2::Solver
• gatePropagateCheckThis() : Gluco2::Solver
• gates : CaDiCaL::Eliminator, CaDiCaL::Stats, kissat
• GatesTable : CaDiCaL::Closure
• gatetype : CaDiCaL::Eliminator
• gatherTouchedClauses() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• Gbc() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• generate() : CaDiCaL::Random
• generate_bool() : CaDiCaL::Random
• generate_cubes() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• generate_double() : CaDiCaL::Random
• generate_int() : CaDiCaL::Random
• generate_probes() : CaDiCaL::Internal
• GenerateAig() : Transduction::Transduction< Man, Param, lit, LitMax >
• generator : cadical_kitten, kitten
• gens : saucy_stats
• get() : CaDiCaL::File, CaDiCaL::Options, CaDiCaL::Solver
• get_clause() : CaDiCaL::Internal
• get_decomposition() : acd::ac_decomposition_impl, acd::acd66_impl, acd::acdXX_impl
• get_new_extension_variable() : CaDiCaL::Internal
• get_num_edges() : acd::acd66_impl, acd::acdXX_impl
• get_parent_reason_literal() : CaDiCaL::Internal
• get_probehbr_lrat() : CaDiCaL::Internal
• get_profile() : acd::ac_decomposition_impl, acd::acd66_impl, acd::acdXX_impl
• get_ternary_clause() : CaDiCaL::Internal
• getAuxilaryVariableCountDerived() : eSLIM::OneshotEngine
• getavg() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• getavgDouble() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• getAvgExp() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• getbit() : CaDiCaL::Internal
• GetCare() : Ttopt::TruthTableCare
• GetCex() : rrr::SatSolver< Ntk >
• getCex() : Gluco2::Solver, Gluco::Solver
• getCircuit() : eSLIM::CadicalEngine, eSLIM::CadicalEngineOneShot, eSLIM::KissatCmdEngine, eSLIM::KissatEngineOneShot, eSLIM::OneshotManager< T >
• GetCompl() : rrr::AndNetwork
• getConfClause() : Gluco2::Solver
• GetConst0() : rrr::AndNetwork
• GetExtendedFanins() : rrr::AndNetwork
• getfact() : CaDiCaL::Internal
• GetFanin() : rrr::AndNetwork
• getFaninC0() : Gluco2::Solver
• getFaninC1() : Gluco2::Solver
• getFaninLit0() : Gluco2::Solver
• getFaninLit1() : Gluco2::Solver
• getFaninPlt0() : Gluco2::Solver
• getFaninPlt1() : Gluco2::Solver
• getFaninVar0() : Gluco2::Solver
• getFaninVar1() : Gluco2::Solver
• getGateEnablingLiteralImpl() : eSLIM::OneshotEngine
• getHelpPrefixString() : Gluco2::Option, Gluco::Option, Minisat::Option
• GetInners() : rrr::AndNetwork
• GetIntIndex() : rrr::AndNetwork
• GetInts() : rrr::AndNetwork
• getModelVec() : eSLIM::CadicalSolver, eSLIM::KissatSolver
• GetNeighbors() : rrr::AndNetwork
• GetNodeType() : rrr::AndNetwork
• GetNumFanins() : rrr::AndNetwork
• GetNumFanouts() : rrr::AndNetwork
• GetNumInts() : rrr::AndNetwork
• GetNumLevels() : rrr::AndNetwork
• GetNumNodes() : rrr::AndNetwork
• GetNumPis() : rrr::AndNetwork
• GetNumPos() : rrr::AndNetwork
• GetNumTotalCreatedNodes() : rrr::NewBdd::Man
• GetNumVars() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• getOptionList() : Gluco2::Option, Gluco::Option, Minisat::Option
• GetOrdering() : NewBdd::Man, rrr::NewBdd::Man
• GetPi() : rrr::AndNetwork
• GetPiIndex() : rrr::AndNetwork
• GetPis() : rrr::AndNetwork
• GetPisInts() : rrr::AndNetwork
• GetPo() : rrr::AndNetwork
• GetPoIndex() : rrr::AndNetwork
• GetPos() : rrr::AndNetwork
• getRandomBool() : eSLIM::SelectionStrategy< T >
• getRunTime() : eSLIM::CadicalSolver
• GetStatsSummary() : rrr::Analyzer< Ntk, Sim, Sol >, rrr::BddAnalyzer< Ntk >, rrr::BddMspfAnalyzer< Ntk >, rrr::Optimizer< Ntk, Ana >, rrr::Optimizer< Ntk, Ana >::Stats, rrr::SatSolver< Ntk >, rrr::Simulator< Ntk >
• getStatus() : eSLIM::SelectionStrategy< T >
• GetString() : rrr::Optimizer< Ntk, Ana >::Stats
• getSubcircuit() : eSLIM::SelectionStrategy< T >
• getSubcircuitIO() : eSLIM::SelectionStrategy< T >
• getsum() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• GetTimesSummary() : rrr::Analyzer< Ntk, Sim, Sol >, rrr::BddAnalyzer< Ntk >, rrr::BddMspfAnalyzer< Ntk >, rrr::Optimizer< Ntk, Ana >, rrr::Optimizer< Ntk, Ana >::Stats, rrr::SatSolver< Ntk >, rrr::Simulator< Ntk >
• getUniformRandomNumber() : eSLIM::SelectionStrategy< T >
• getUsageString() : Gluco2::Option, Gluco::Option, Minisat::Option
• GetValue() : Ttopt::TruthTable
• 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
• goccs() : CaDiCaL::Closure
• good_length : config_s
• good_match : internal_state
• green() : CaDiCaL::Terminal
• green_code() : CaDiCaL::Terminal
• Group : If_Hte_t_
• Groups : Gem_Obj_t_
• grow : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• grow_factor : st__table, stmm_table
• growTo() : Gluco2::bqueue< T >, Gluco2::CMap< T >, Gluco2::vec< T >, Gluco::bqueue< T >, Gluco::CMap< T >, Gluco::vec< T >, Minisat::CMap< T >, Minisat::vec< T >
• growTo_() : Gluco2::vec< T >
• grpsize_base : saucy_stats
• grpsize_exp : saucy_stats
• gtab : CaDiCaL::Closure, CaDiCaL::Internal
• gzhead : internal_state
• gzindex : internal_state