Here is a list of all variables with links to the classes they belong to:
- s -
- S : Dsd_Node_t_
- s : cloudCacheEntry1, cloudCacheEntry2, cloudCacheEntry3, cloudNode
- sane : inflate_state
- satCounterExamples : saucy
- save : CaDiCaL::Sweeper, sweeper
- save_alphaSize : DState
- save_curr : DState
- save_EOB : DState
- save_es : DState
- save_gBase : DState
- save_gLimit : DState
- save_gMinlen : DState
- save_gPerm : DState
- save_groupNo : DState
- save_groupPos : DState
- save_gSel : DState
- save_i : DState
- save_j : DState
- save_N : DState
- save_nblock : DState
- save_nblockMAX : DState
- save_nextSym : DState
- save_nGroups : DState
- save_nSelectors : DState
- save_t : DState
- save_zj : DState
- save_zn : DState
- save_zt : DState
- save_zvec : DState
- saved : CaDiCaL::Averages, CaDiCaL::Phases, phases
- saved_decisions : averages, CaDiCaL::Internal
- savedcare : Ttopt::TruthTableCare
- savedt : Ttopt::TruthTable
- sBinary : Abc_Frame_t_
- schedule : CaDiCaL::Closure, CaDiCaL::Eliminator, CaDiCaL::Factoring, closure, factoring, kissat
- schedule_irred : CaDiCaL::Vivifier
- schedule_tier1 : CaDiCaL::Vivifier
- schedule_tier2 : CaDiCaL::Vivifier
- schedule_tier3 : CaDiCaL::Vivifier
- scheduled : CaDiCaL::Closure, closure
- schedules : CaDiCaL::Vivifier
- scinc : kissat
- score : candidate, heap, scores
- score_inc : CaDiCaL::Internal
- scored : scores
- scores : CaDiCaL::Internal, CaDiCaL::Walker, factoring, kissat
- scoreshift : kissat
- search : CaDiCaL::Stats, cadical_kitten, kitten, queue
- searched : CaDiCaL::Stats, clause
- searches : CaDiCaL::Checker, CaDiCaL::LratChecker
- searching_lucky_phases : CaDiCaL::Internal
- second : CaDiCaL::lit_equivalence, CaDiCaL::lit_implication, Int_Pair_t_
- second_clause : CaDiCaL::lit_equivalence
- sections : CaDiCaL::Stats
- Seed : Bmc_EsPar_t_
- seed : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
- seek : gz_state
- seen : CaDiCaL::Flags, CaDiCaL::Level, Gluco2::Solver, Gluco::Solver, Minisat::Solver, solver_t_
- select_decomposition : saucy
- selector : DState, EState
- selectorMtf : DState, EState
- seq : SC_Cell_
- seqToUnseq : DState
- sError : Io_BlifMan_t_, Io_MvMan_t_, Io_ReadBlif_t_, Ver_Man_t_, Wlc_Prs_t_
- sf_size : set_family
- sGroup : MvCommand
- shadow : kissat
- shiftCache : cloudManager
- shiftUnique : cloudManager
- showModel : Gluco2::Solver, Gluco::Solver
- shrinkable : assigned, CaDiCaL::Flags, CaDiCaL::Internal, kissat
- shrunken : CaDiCaL::Gate, CaDiCaL::Stats, clause, gate
- shuffled : CaDiCaL::Stats
- Sign : _HashEntry_cof, _reo_hash, _reo_unit, Bal_Cut_t_, Gia_Cut_t_, Jf_Cut_t_, Lf_Cut_t_, Mf_Cut_t_, Nf_Cut_t_, Of_Cut_t_, Pdr_Set_t_, Pf_Cut_t_, Rfn_Obj_t_, Sbd_Cut_t_, Sdb_Cut_t_
- sign : IeeeDoubleStruct, IeeeNanStruct
- sign_marked : CaDiCaL::Internal
- Signature : _reo_man
- Signed : Wlc_Obj_t_
- simBatchFactor : Cec5_Man_t_
- simBound : Cec5_Man_t_
- simGlobalTop : Cec5_Man_t_
- simp_garbage_frac : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- simpDB_assigns : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- simpdb_assigns : sat_solver3_t, sat_solver_t
- simpDB_props : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- simpdb_props : sat_solver3_t, sat_solver_t
- simplified : CaDiCaL::Stats
- simplified_ands : CaDiCaL::Stats
- simplified_ites : CaDiCaL::Stats
- simplified_xors : CaDiCaL::Stats
- simStart : Cec5_Man_t_
- simTravId : Cec5_Man_t_
- sinduce : saucy
- Size : Fxch_SCHashTable_Entry_t_, Lpk_Set_t_, ParseStackFnStruct, ParseStackOpStruct
- size : b_queue_t_, CaDiCaL::Averages, CaDiCaL::CheckerClause, CaDiCaL::CheckerWatch, CaDiCaL::Clause, CaDiCaL::ClauseSize, CaDiCaL::IdrupClause, CaDiCaL::LratCheckerClause, CaDiCaL::vivify_ref, CaDiCaL::Watch, cadical_kitten, cdb, clause, clause_t, countref, cube_struct, factoring, Gluco2::Clause, Gluco::Clause, gz_state, heap, kissat, kitten, klause, Minisat::Clause, MtrNode, offsetsize, refsize, sat_solver2_t, sat_solver3_t, sat_solver_t, SC_DontUse_, vec_char_t_, vec_flt_t_, vec_int_t_, vec_sdbl_t_, vec_uint_t_, vec_wl_t_, veci_t, vecp_t, vector, vi_, watch_list
- sizeInitToOrig : MinRegMan_t_
- sizeLBDQueue : Gluco2::Solver, Gluco::Solver
- SizeMask : Fxch_Man_t_, Fxch_SCHashTable_t_, Tab_Man_t_, Tab_Tab_t_
- sizeTrailQueue : Gluco2::Solver, Gluco::Solver
- skip : CaDiCaL::Flags, gz_state
- skipQuant : Odc_Man_t_
- Slew : SC_BusPars_
- Slice0 : Rtl_Ntk_t_
- Slice1 : Rtl_Ntk_t_
- slope : SC_WireLoad_
- slow : CaDiCaL::Averages
- slow_glue : averages
- small : classification
- smallDecompress : DState
- sName : MvAlias, MvCommand
- solution : CaDiCaL::External
- solution_size : CaDiCaL::External
- solver : CaDiCaL::Wrapper, closure, definition_extractor, factoring, sweeper
- SolverType : Cec_ParSat_t_, Gluco2::Solver, Gluco::Solver
- solves : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- SopMap : Bbl_Man_t_
- sort : Gluco2::Solver::NodeData
- sorted : CaDiCaL::Vivifier
- sorter : kissat
- SortMode : If_Man_t_
- sparse : cube_struct
- specialIncReduceDB : Gluco2::Solver, Gluco::Solver
- specmin : saucy
- split : saucy
- splitfrom : saucy
- splitlev : saucy
- splitvar : saucy
- splitwho : saucy
- src : CaDiCaL::Rewrite
- SRed : Lpk_Set_t_
- stab : CaDiCaL::Internal
- stabconflicts : CaDiCaL::Stats
- stabilize : CaDiCaL::Inc, CaDiCaL::Last, CaDiCaL::Limit
- stable : CaDiCaL::Internal, kissat
- stabphases : CaDiCaL::Stats
- stack : heap, sat_solver2_t, sat_solver3_t, sat_solver_t, solver_t_, vectors
- stamp : cadical_kitten, kink, kitten, links, queue
- stamps : solver_t_
- start : CaDiCaL::Arena, gz_state, saucy, unsigned_fifo
- start_time : stats_struct
- StartId : Gia_MapLut_t_
- starts : Gluco2::Solver, Gluco::Solver, Minisat::Solver, stats_t
- stat_desc : tree_desc_s
- stat_tracers : CaDiCaL::Internal
- state : bz_stream, CaDiCaL::Wrapper, DState, EState, termination, z_stream_s
- state_in_ch : EState
- state_in_len : EState
- state_out_ch : DState
- state_out_len : DState
- state_out_pos : EState
- static_len : internal_state
- static_tree : static_tree_desc_s
- statistics : cadical_kitten
- statistics_ : kissat
- Stats : Msat_Solver_t_, xSAT_Solver_t_
- stats : CaDiCaL::Internal, rrr::Scheduler< Ntk, Opt, Par >::Job, sat_solver2_t, sat_solver3_t, sat_solver_t, saucy, solver_t_
- statsApl : _reo_plane
- statsCost : _reo_plane
- statsCostAbove : _reo_plane
- statsCostBelow : _reo_plane
- statsNodes : _reo_plane
- statsWidth : _reo_plane
- Status : Abc_Frame_t_, Gia_ParAbs_t_
- status : _CSAT_Target_ResultT, CaDiCaL::CubesWithStatus, CaDiCaL::Flags, CaDiCaL::Solver::CubesWithStatus, cadical_kitten, internal_state, kitten, solver_t_
- Store : Cut_Cell_t_
- storedBlockCRC : DState
- storedCombinedCRC : DState
- str : kormat
- strash_intervall : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
- strategy : gz_state, internal_state
- strengthened : CaDiCaL::Stats
- strm : bzFile, DState, EState, gz_state, internal_state
- strstart : internal_state
- stuff : saucy
- subchecks : CaDiCaL::Stats
- subchecks2 : CaDiCaL::Stats
- subcircuit_size_bound : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
- subcircuits_with_forbidden_pairs : eSLIM::eSLIMLog
- subirr : CaDiCaL::Stats
- subIteration : MinRegMan_t_
- subred : CaDiCaL::Stats
- substituted : CaDiCaL::Stats
- subsume : CaDiCaL::Clause, CaDiCaL::Flags, CaDiCaL::Stats, clause, flags, limits
- subsumed : CaDiCaL::Stats
- subsumephases : CaDiCaL::Last, CaDiCaL::Stats
- subsumerounds : CaDiCaL::Stats
- subsumption_lim : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- subsumption_queue : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
- subtried : CaDiCaL::Stats
- succeeded : CaDiCaL::Stats
- sum : b_queue_t_
- sum_lbd : solver_t_
- SumArea : SC_Man_, SC_Time_
- SumArea0 : SC_Man_, SC_Time_
- sumAssumptions : Gluco2::Solver, Gluco::Solver
- sumLBD : Gluco2::Solver, Gluco::Solver
- support : acd::ac_decomposition_result, saucy_stats
- support_reducing_only : acd::ac_decomposition_params
- sVersion : Abc_Frame_t_
- swapArray : permInfo
- swapCtr : permInfo
- swapmask : Ttopt::TruthTable
- swapped : CaDiCaL::Averages
- sweep : CaDiCaL::Flags, CaDiCaL::Last, CaDiCaL::Stats, delays, flags
- sweep_clauses : CaDiCaL::Stats
- sweep_completed : CaDiCaL::Stats
- sweep_depth : CaDiCaL::Stats
- sweep_environment : CaDiCaL::Stats
- sweep_equivalences : CaDiCaL::Stats
- sweep_fixed_backbone : CaDiCaL::Stats
- sweep_flip_backbone : CaDiCaL::Stats
- sweep_flip_equivalences : CaDiCaL::Stats
- sweep_flipped_backbone : CaDiCaL::Stats
- sweep_flipped_equivalences : CaDiCaL::Stats
- sweep_id : CaDiCaL::sweep_proof_clause
- sweep_incomplete : CaDiCaL::Internal, kissat
- sweep_sat : CaDiCaL::Stats
- sweep_sat_backbone : CaDiCaL::Stats
- sweep_sat_equivalences : CaDiCaL::Stats
- sweep_schedule : CaDiCaL::Internal, kissat
- sweep_solved : CaDiCaL::Stats
- sweep_solved_backbone : CaDiCaL::Stats
- sweep_solved_equivalences : CaDiCaL::Stats
- sweep_units : CaDiCaL::Stats
- sweep_unknown_backbone : CaDiCaL::Stats
- sweep_unknown_equivalences : CaDiCaL::Stats
- sweep_unsat : CaDiCaL::Stats
- sweep_unsat_backbone : CaDiCaL::Stats
- sweep_unsat_equivalences : CaDiCaL::Stats
- sweep_variables : CaDiCaL::Stats
- swept : CaDiCaL::Clause, clause
- Switches : Lf_Man_t_
- Switching : Fpga_NodeStruct_t_, Map_NodeStruct_t_
- symbolic : PLA_t
- symbolic_label : symbolic_struct
- symbolic_label_length : symbolic_struct
- symbolic_list : symbolic_struct
- symbolic_list_length : symbolic_struct
- symbolic_output : PLA_t
- symLink : Abc_TgMan_t_
- symPhase : Abc_TgMan_t_
- synthesis_time : eSLIM::eSLIMLog
- sz_lbd_bqueue : satoko_opts
- sz_trail_bqueue : satoko_opts
- szDBName : Ses_Store_t_
- szWithoutSelectors : Gluco2::Clause, Gluco::Clause
