Here is a list of all functions with links to the classes they belong to:
- g -
- garbage_collection() : CaDiCaL::Internal
- garbageCollect() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
- gate_sort_lrat_reasons() : CaDiCaL::Closure
- gateAddJwatch() : Gluco2::Solver
- gateClearJwatch() : Gluco2::Solver
- gateJustFanin() : Gluco2::Solver
- gatePropagate() : Gluco2::Solver
- gatePropagateCheck() : Gluco2::Solver
- gatePropagateCheckFanout() : Gluco2::Solver
- gatePropagateCheckThis() : Gluco2::Solver
- 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 >
- 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
- goccs() : CaDiCaL::Closure
- green() : CaDiCaL::Terminal
- green_code() : CaDiCaL::Terminal
- 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 >
