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

- a -

• a : cloudCacheEntry1, cloudCacheEntry2, cloudCacheEntry3, cube
• aArea : Cnf_Man_t_
• abs : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• abstraction() : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• abstractLevel() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• ac_decomposition_impl() : acd::ac_decomposition_impl
• accJscanSat : CbsP_Par_t_
• accJscanUndec : CbsP_Par_t_
• accJscanUnsat : CbsP_Par_t_
• accPropSat : CbsP_Par_t_
• accPropUndec : CbsP_Par_t_
• accPropUnsat : CbsP_Par_t_
• accRscanSat : CbsP_Par_t_
• accRscanUndec : CbsP_Par_t_
• accRscanUnsat : CbsP_Par_t_
• acd66_impl() : acd::acd66_impl
• acdXX_impl() : acd::acdXX_impl
• Act : xSAT_Clause_t_
• act : clause, Gluco2::Clause, Gluco::Clause, Minisat::Clause
• act_clas : sat_solver2_t, sat_solver3_t, sat_solver_t
• act_vars : sat_solver3_t, sat_solver_t
• ACTIVE : CaDiCaL::Flags
• active() : CaDiCaL::Flags, CaDiCaL::Internal, CaDiCaL::Solver, CaDiCaL::Stats, flags, kissat
• active_count : set_family
• activity() : Gluco2::Clause, Gluco2::Solver, Gluco2::Solver::VarOrderLt, Gluco::Clause, Gluco::Solver, Gluco::Solver::VarOrderLt, Minisat::Clause, Minisat::Solver, Minisat::Solver::VarOrderLt, sat_solver2_t, sat_solver3_t, sat_solver_t, sim_result, solver_t_
• activity2 : sat_solver2_t, sat_solver3_t, sat_solver_t
• activityInc : saucy
• adaRecycle : Cec5_Man_t_
• add() : CaDiCaL::External, CaDiCaL::Solver
• add_assumption() : CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::Proof, CaDiCaL::Tracer
• add_assumption_clause() : CaDiCaL::Checker, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::Proof, CaDiCaL::Tracer
• add_binary_clause() : CaDiCaL::Closure
• add_clause_to_chain() : CaDiCaL::Closure
• add_constraint() : CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::Proof, CaDiCaL::Tracer
• add_core() : CaDiCaL::Internal
• add_derived_clause() : CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::Tracer, CaDiCaL::VeripbTracer
• add_derived_empty_clause() : CaDiCaL::Proof
• add_derived_unit_clause() : CaDiCaL::Proof
• add_external_clause() : CaDiCaL::Internal
• add_external_original_clause() : CaDiCaL::Proof
• add_factored_divider() : CaDiCaL::Internal
• add_factored_quotient() : CaDiCaL::Internal
• add_ite_matching_proof_chain() : CaDiCaL::Closure
• add_ite_turned_and_binary_clauses() : CaDiCaL::Closure
• add_literal_to_environment() : CaDiCaL::Internal
• add_new_original_clause() : CaDiCaL::Internal
• add_observed_var() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• add_original_clause() : CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::Tracer, CaDiCaL::VeripbTracer
• add_original_lit() : CaDiCaL::Internal
• add_self_subsuming_factor() : CaDiCaL::Internal
• add_sweep_binary() : CaDiCaL::Internal
• add_tmp : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• add_tmp_binary_clause() : CaDiCaL::Closure
• add_xor_matching_proof_chain() : CaDiCaL::Closure
• add_xor_shrinking_proof_chain() : CaDiCaL::Closure
• AddAnd() : rrr::AndNetwork
• AddCallback() : rrr::AndNetwork
• AddCex() : rrr::Simulator< Ntk >
• addClause() : eSLIM::CadicalSolver, eSLIM::KissatSolver, Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
• addClause_() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
• added : CaDiCaL::Checker, CaDiCaL::Coveror, CaDiCaL::Flags, CaDiCaL::LratChecker, CaDiCaL::Stats
• addEmptyClause() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
• AddFanin() : rrr::AndNetwork
• addGateDeactivatedConstraint() : eSLIM::OneshotEngine
• additional_clauses : bounds
• addJwatch() : Gluco2::Solver
• AddPi() : rrr::AndNetwork
• AddPo() : rrr::AndNetwork
• addref() : Rewire::Miaig
• addVar() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver
• adj : saucy, saucy_graph
• adler : z_stream_s
• ael() : Gluco2::ClauseAllocator, Gluco2::RegionAllocator< T >, Gluco::ClauseAllocator, Gluco::RegionAllocator< T >, Minisat::ClauseAllocator, Minisat::RegionAllocator< T >
• aEstFanouts : Fpga_NodeStruct_t_
• aFlow : Fpga_CutStruct_t_
• aHistory : Abc_Frame_t_
• alarm() : CaDiCaL::Signal
• alas : CaDiCaL::Coveror
• Algo : Bmc_ParFf_t_, Gia_ParAbs_t_
• all : CaDiCaL::Stats
• all_clauses : solver_t_
• alloc() : Gluco2::ClauseAllocator, Gluco2::RegionAllocator< T >, Gluco::ClauseAllocator, Gluco::RegionAllocator< T >, Minisat::ClauseAllocator, Minisat::RegionAllocator< T >
• allocated : factoring, unsigned_fifo
• allow_xors : eSLIM::eSLIMConfig
• alpha : CaDiCaL::EMA, smooth
• already_solved() : CaDiCaL::Internal
• analyze() : CaDiCaL::Internal, Gluco2::Solver, Gluco::Solver, Minisat::Solver
• analyze_bumped_rank() : CaDiCaL::analyze_bumped_rank
• analyze_bumped_smaller() : CaDiCaL::analyze_bumped_smaller
• analyze_literal() : CaDiCaL::Internal
• analyze_reason() : CaDiCaL::Internal
• analyze_stack : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• analyze_toclear : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• analyze_trail_larger() : CaDiCaL::analyze_trail_larger
• analyze_trail_negative_rank() : CaDiCaL::analyze_trail_negative_rank
• analyzed : assigned, CaDiCaL::Internal, cadical_kitten, kissat, kitten
• analyzeFinal() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• Analyzer() : rrr::Analyzer< Ntk, Sim, Sol >
• anc : saucy
• anctar : saucy
• And() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• And2Delay : Gia_Man_t_
• AndGateDelay : Abc_Ntk_t_
• AndNetwork() : rrr::AndNetwork
• ands : CaDiCaL::Stats
• antecedent_size : kissat
• antecedents : cadical_kitten, kissat, kitten
• App : CaDiCaL::Solver
• append() : CaDiCaL::Format
• appendFanin() : Rewire::Miaig
• appendObj() : Rewire::Miaig
• apply_factoring() : CaDiCaL::Internal
• apply_inprocessing : eSLIM_ParamStruct_
• apply_strash : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
• applyeSLIM() : eSLIM::eSLIM_Man< SynthesisEngine, RelationEngine, SelectionEngine >
• approx : SC_Surface_
• approxLim : Cec5_Man_t_
• are_reasons_forgettable : CaDiCaL::ExternalPropagator
• Area : Amap_Mat_t_, If_Cut_t_, Jf_Par_t_, Map_SuperStruct_t_, Mio_Cell_t_, Pf_Obj_t_, Sfm_Fun_t_, Super_GateStruct_t_
• area : qps_problem, SC_Cell_
• AreaBase : Map_ManStruct_t_
• AreaBuf : Map_SuperLibStruct_t_
• AreaEst : Lpk_Res_t_
• AreaF : Mio_Cell2_t_
• AreaFinal : Map_ManStruct_t_
• AreaFlow : Map_MatchStruct_t_
• AreaGlo : If_Man_t_
• areaI : SC_Cell_
• AreaInv : Map_SuperLibStruct_t_, Sfm_Dec_t_
• AreaLimit : Fpga_ManStruct_t_
• AreaMffc : Sfm_Dec_t_
• AreaW : Mio_Cell2_t_
• Arena() : CaDiCaL::Arena
• arena : CaDiCaL::Internal, kissat
• arenaing() : CaDiCaL::Internal
• Arg0 : Abc_ZddEnt_
• Arg1 : _HashEntry_cof, _HashEntry_mint, _reo_hash, Abc_ZddEnt_
• Arg2 : _HashEntry_mint, _reo_hash, Abc_ZddEnt_
• Arg3 : _reo_hash
• argc : MvAlias
• argv : MvAlias
• arity() : CaDiCaL::Gate, gate
• arr1 : EState
• arr2 : EState
• Array : Wln_Vec_t_
• ask_decision() : CaDiCaL::Internal
• ask_external_clause() : CaDiCaL::Internal
• assign_original_unit() : CaDiCaL::Internal
• assign_unit() : CaDiCaL::Internal
• assigned : kissat
• assignment_level() : CaDiCaL::Internal
• AssignNetwork() : rrr::Analyzer< Ntk, Sim, Sol >, rrr::BddAnalyzer< Ntk >, rrr::BddMspfAnalyzer< Ntk >, rrr::LevelBasePartitioner< Ntk >, rrr::Optimizer< Ntk, Ana >, rrr::Optimizer< Ntk, Ana >::Stats, rrr::Partitioner< Ntk >, rrr::SatSolver< Ntk >, rrr::Simulator< Ntk >
• assigns : Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver2_t, sat_solver3_t, sat_solver_t, solver_t_
• assume() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver, eSLIM::CadicalSolver
• assume_analyze_literal() : CaDiCaL::Internal
• assume_analyze_reason() : CaDiCaL::Internal
• assumed : CaDiCaL::Flags, CaDiCaL::Internal
• assumptionPositions : Gluco2::Solver, Gluco::Solver
• assumptions : CaDiCaL::Checker, CaDiCaL::External, CaDiCaL::Internal, cadical_kitten, Gluco2::Solver, Gluco::Solver, kitten, Minisat::Solver, solver_t_
• assumptionsreused : CaDiCaL::Stats
• asymm() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• asymm_lits : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• asymmetric : CaDiCaL::Stats
• asymmetric_literal_addition() : CaDiCaL::Internal
• asymmVar() : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• asynch_interrupt : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• ATimeIn : Kit_ManDec_t_
• ATimeOut : Kit_ManDec_t_
• attachClause() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• Attr : Gluco2::Solver::JustKey
• attr() : Gluco2::Solver::JustKey
• attrAntecedents : antecedentConsequentVectorsStruct
• attrCandMonotone : monotoneVectorsStruct
• attrConsequentCandidates : antecedentConsequentVectorsStruct
• attrHintMonotone : monotoneVectorsStruct
• attrHintSingalBeginningMarker : aigPoIndices
• attrHintSingalEndMarker : aigPoIndices
• attrKnownMonotone : monotoneVectorsStruct
• attrPendingSignalIndex : aigPoIndices
• attrSafetyInvarIndex : aigPoIndices
• aux : klause
• avail_in : bz_stream, z_stream_s
• avail_in_expect : EState
• avail_out : bz_stream, z_stream_s
• AveFan : Amap_Mat_t_
• Averages() : CaDiCaL::Averages
• averages : CaDiCaL::Internal, kissat