Here is a list of all macros with links to the files they belong to:

- s -

• S_HOR_CROSS_D_VER : extraBddKmap.c
• S_JOINS_D_HOR_BOT : extraBddKmap.c
• S_JOINS_D_HOR_TOP : extraBddKmap.c
• S_JOINS_D_VER_LEFT : extraBddKmap.c
• S_JOINS_D_VER_RIGHT : extraBddKmap.c
• S_JOINS_S_HOR_BOT : extraBddKmap.c
• S_JOINS_S_HOR_TOP : extraBddKmap.c
• S_JOINS_S_VER_LEFT : extraBddKmap.c
• S_JOINS_S_VER_RIGHT : extraBddKmap.c
• S_VER_CROSS_D_HOR : extraBddKmap.c
• SAIG_DIFF_VALUES : saigSimMv.c
• Saig_ManForEachLi : saig.h
• Saig_ManForEachLiLo : saig.h
• Saig_ManForEachLo : saig.h
• Saig_ManForEachPi : saig.h
• Saig_ManForEachPo : saig.h
• Saig_MvManForEachObj : saigSimMv.c
• SAIG_ONE : absOldSim.c
• SAIG_ONE_NEW : absOldSim.c
• SAIG_ONE_OLD : absOldSim.c
• SAIG_TER_NON : bmcBmc3.c
• SAIG_TER_ONE : bmcBmc3.c
• SAIG_TER_UND : bmcBmc3.c
• SAIG_TER_ZER : bmcBmc3.c
• SAIG_UND : absOldSim.c
• SAIG_UNDEF_VALUE : saigSimMv.c
• SAIG_WORDS : saigStrSim.c
• SAIG_XVS0 : saigPhase.c
• SAIG_XVS1 : saigPhase.c
• SAIG_XVSX : saigPhase.c
• SAIG_ZER : absOldSim.c
• SAIG_ZER_NEW : absOldSim.c
• SAIG_ZER_OLD : absOldSim.c
• Sat_MemForEachClause : satClause.h
• Sat_MemForEachClause2 : satClause.h
• Sat_MemForEachLearned : satClause.h
• sat_solver : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_add_and : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_add_xor : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_addclause : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_addvar : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_conflictnum : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_jftr : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_mark_cone : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_read_cex : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_read_cex_varvalue : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_reset : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_set_conflict_budget : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_set_jftr : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_set_var_fanin_lit : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_solve : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_start : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_start_new_round : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_stop : cecSatG2.c, cecSatG3.c, cecSolveG.c
• sat_solver_varnum : cecSolveG.c
• SAT_USE_ANALYZE_FINAL : satSolver.c, satSolver3.c
• SAT_USE_PROOF_LOGGING : satSolver2.c
• satoko_alloc : mem.h
• satoko_calloc : mem.h
• satoko_free : mem.h
• satoko_realloc : mem.h
• SAVED : phases.h
• SBD_CUT_NO_LEAF : sbdCut.c, sbdCut2.c
• SBD_DIV_MAX : sbdInt.h
• Sbd_ForEachCut : sbdCut.c
• SBD_FVAR_MAX : sbdInt.h
• SBD_LUTS_MAX : sbdInt.h
• SBD_MAX_CUTNUM : sbdCut.c, sbdCut2.c
• SBD_MAX_CUTSIZE : sbdCut.c, sbdCut2.c
• SBD_MAX_LUTSIZE : sbdCore.c
• SBD_MAX_TT_WORDS : sbdCut.c
• SBD_SAT_SAT : sbdInt.h
• SBD_SAT_UNDEC : sbdInt.h
• SBD_SIZE_MAX : sbdInt.h
• SC_CellForEachPin : sclLib.h
• SC_CellForEachPinIn : sclLib.h
• SC_CellForEachPinOut : sclLib.h
• SC_LibForEachCell : sclLib.h
• SC_LibForEachCellClass : sclLib.h
• SC_LibForEachTempl : sclLib.h
• SC_LibForEachWireLoad : sclLib.h
• SC_LibForEachWireLoadSel : sclLib.h
• SC_PinForEachRTiming : sclLib.h
• SC_RingForEachCell : sclLib.h
• SC_RingForEachCellRev : sclLib.h
• SCL_DEF_DIRECTIVE : sclCon.h
• SCL_DIRECTIVE : sclCon.h
• SCL_INFINITY : sclCon.h
• SCL_INPUT_ARR : sclCon.h
• SCL_INPUT_CELL : sclCon.h
• SCL_INPUT_LOAD : sclCon.h
• SCL_INPUT_SLEW : sclCon.h
• Scl_ItemForEachChild : sclLiberty.c
• Scl_ItemForEachChildName : sclLiberty.c
• SCL_LUT_MAX : abcLut.c
• SCL_NODE_MAX : abcLut.c
• SCL_NUM : sclCon.h
• SCL_OUTPUT_LOAD : sclCon.h
• SCL_OUTPUT_REQ : sclCon.h
• SCL_VARS_MAX : abcLut.c
• SCORES : internal.h
• SDB_CUT_NO_LEAF : acec2Mult.c
• Sdb_ForEachCut : giaCut.c, acec2Mult.c
• SDB_MAX_CUTNUM : acec2Mult.c
• SDB_MAX_CUTSIZE : acec2Mult.c
• SDB_MAX_TT_WORDS : acec2Mult.c
• search_terminated_1 : terminate.h
• SECTION : message.hpp
• SEEK_CUR : zconf.h
• SEEK_END : zconf.h
• SEEK_SET : zconf.h
• SELECT_DYNAMICALLY : abcSaucy.c
• send_bits : trees.c
• send_code : trees.c
• SES_STORE_TABLE_SIZE : abcExact.c
• SET : espresso.h
• SET_BH : blocksort.c
• SET_BINARY_MODE : bzlib.c
• SET_EFFORT_LIMIT : limit.hpp, kimits.h
• SET_END_OF_ARRAY : array.h
• SET_END_OF_STACK : stack.h
• SET_END_OF_WATCHES : watch.h
• set_free : espresso.h
• set_full : espresso.h
• set_insert : espresso.h
• SET_LL : bzlib_private.h
• SET_LL4 : bzlib_private.h
• set_new : espresso.h
• set_remove : espresso.h
• set_save : espresso.h
• SET_SIZE : espresso.h
• SETMASK : blocksort.c
• SFM_DEC_MAX : sfmInt.h
• SFM_FANIN_MAX : sfmInt.h
• Sfm_LibForEachSuper : sfmLib.c
• SFM_MASK_FANIN : sfmDec.c
• SFM_MASK_INPUT : sfmDec.c
• SFM_MASK_MFFC : sfmDec.c
• SFM_MASK_PI : sfmDec.c
• SFM_MASK_PIVOT : sfmDec.c
• Sfm_NtkForEachNode : sfmInt.h
• Sfm_NtkForEachNodeReverse : sfmInt.h
• Sfm_NtkForEachPi : sfmInt.h
• Sfm_NtkForEachPo : sfmInt.h
• Sfm_ObjForEachFanin : sfmInt.h
• Sfm_ObjForEachFanout : sfmInt.h
• SFM_SAT_SAT : sfmInt.h
• SFM_SAT_UNDEC : sfmInt.h
• SFM_SIM_WORDS : sfmInt.h
• SFM_SUPP_MAX : sfmInt.h
• SFM_WIN_MAX : sfmInt.h
• SFM_WORD_MAX : sfmInt.h
• SFM_WORDS_MAX : sfmInt.h
• SHARE_NUM : abcExtract.c
• SHARP : espresso.h
• SHORTID : cadical_version.cpp
• SHORTIDSTR : cadical_version.cpp
• Shr_ObjForEachFanout : giaShrink6.c
• SHRINK_CLAUSE_IN_PROOF : proof.h
• SHRINK_STACK : stack.h
• SIG_ATOMIC_MAX : pstdint.h
• SIGNAL : cadical_signal.cpp, handle.h
• SIGNAL_FN : util_old.h
• SIGNAL_SIGBUS : handle.h
• SIGNALS : cadical_signal.cpp, handle.h
• Sim_HasBit : sim.h
• SIM_LAST_BITS : sim.h
• SIM_MASK_BEG : sim.h
• SIM_MASK_END : sim.h
• SIM_MASK_FULL : sim.h
• SIM_NUM_WORDS : sim.h
• SIM_RANDOM_UNSIGNED : sim.h
• SIM_RANDS : cecSim.c
• SIM_READ_SYMMS : simSymStr.c
• SIM_SET_0_FROM : sim.h
• SIM_SET_1_FROM : sim.h
• SIM_SET_SYMMS : simSymStr.c
• Sim_SetBit : sim.h
• Sim_SimInfoGet : sim.h
• Sim_SimInfoHasVar : sim.h
• Sim_SimInfoSetVar : sim.h
• Sim_SuppFunHasVar : sim.h
• Sim_SuppFunSetVar : sim.h
• Sim_SuppStrHasVar : sim.h
• Sim_SuppStrSetVar : sim.h
• Sim_XorBit : sim.h
• SIMPLE_kCS : kliveness.c
• SINGLE_BOT_LEFT : extraBddKmap.c
• SINGLE_BOT_RIGHT : extraBddKmap.c
• SINGLE_HORIZONTAL : extraBddKmap.c
• SINGLE_TOP_LEFT : extraBddKmap.c
• SINGLE_TOP_RIGHT : extraBddKmap.c
• SINGLE_VERTICAL : extraBddKmap.c
• SINGLES_CROSS : extraBddKmap.c
• SIZE : espresso.h
• SIZE_ARRAY : array.h
• SIZE_FIFO : fifo.h
• SIZE_MAX : pstdint.h
• SIZE_NONCES : congruence.c
• SIZE_OF_CLAUSE_HEADER : clause.h
• size_rephase_schedule : rephase.c
• SIZE_STACK : stack.h
• size_table : kptions.c
• SIZE_WATCHES : watch.h
• SIZEOF_INT : mtr.h
• SIZEOF_VOID_P : mtr.h
• Sle_ForEachCut : giaSatLE.c
• Sle_ForEachCut1 : giaSatLE.c
• Slv_ManForEachObj : gia.c
• Slv_ObjForEachFanout : gia.c
• sm_element_alloc : sparse_int.h
• sm_element_free : sparse_int.h
• sm_foreach_col : sparse.h
• sm_foreach_col_element : sparse.h
• sm_foreach_row : sparse.h
• sm_foreach_row_element : sparse.h
• sm_get : sparse.h
• sm_get_col : sparse.h
• sm_get_row : sparse.h
• sm_put : sparse.h
• SMALLER : bump.c
• smaller : trees.c
• SMALLER_LEVEL : analyze.c
• SMALLER_NEGATED_BIN_COUNT : congruence.c
• SMALLEST : trees.c
• SMT_GLO_SUFFIX : wlcReadSmt.c
• Smt_ManForEachDir : wlcReadSmt.c
• solver : kitten.c
• SORT : sort.h
• SORT_STACK : sort.h
• SORTER : sort.h
• SPARSE : espresso.h
• SQRT : kimits.h
• Ssw_ClassForEachNode : sswClass.c
• Ssw_ManForEachClass : sswClass.c
• st__count : st.h
• st__DEFAULT_GROW_FACTOR : st.h
• st__DEFAULT_INIT_TABLE_SIZE : st.h
• st__DEFAULT_MAX_DENSITY : st.h
• st__DEFAULT_REORDER_FLAG : st.h
• st__foreach_item : st.h
• st__foreach_item_int : st.h
• st__INCLUDED : st.h
• st__is_member : st.h
• st__NUMCMP : st.c
• st__NUMHASH : st.c
• st__OUT_OF_MEM : st.h
• st__PTRHASH : st.c
• STABLE_DEFAULT : options.h
• STABLE_UNSAT : options.h
• STACK : stack.h
• STACK_SIZE : avl.c
• STACKSIZE : parseCore.c
• START : profile.hpp, profile.h
• START_FIFO : fifo.h
• START_INNER_WALK : profile.hpp
• START_OUTER_WALK : profile.hpp
• START_SIMPLIFIER : profile.hpp
• STATE : cadical_solver.cpp
• STATIC_TREES : zutil.h
• STATISTIC : statistics.h
• STDINT_H_UINTPTR_T_DEFINED : pstdint.h
• stk_swap : misc.h
• stmm_count : stmm.h
• STMM_DEFAULT_GROW_FACTOR : stmm.h
• STMM_DEFAULT_INIT_TABLE_SIZE : stmm.h
• STMM_DEFAULT_MAX_DENSITY : stmm.h
• STMM_DEFAULT_REORDER_FLAG : stmm.h
• stmm_foreach_item : stmm.h
• stmm_foreach_item2 : stmm.h
• stmm_foreach_item_int : stmm.h
• stmm_is_member : stmm.h
• STMM_NUMCMP : stmm.c
• STMM_NUMHASH : stmm.c
• STMM_OUT_OF_MEM : stmm.h
• STMM_PTRHASH : stmm.c
• Sto_ManForEachClause : satStore.h
• Sto_ManForEachClauseRoot : satStore.h
• STO_MAX : satStore.h
• STOP : profile.hpp, profile.h
• STOP_AND_START : profile.h
• STOP_INNER_WALK : profile.hpp
• STOP_OUTER_WALK : profile.hpp
• STOP_SEARCH_AND_START_SIMPLIFIER : profile.h
• STOP_SIMPLIFIER : profile.hpp
• STOP_SIMPLIFIER_AND_RESUME_SEARCH : profile.h
• STORED_BLOCK : zutil.h
• Str_NtkManForEachObj : giaStr.c
• Str_NtkManForEachObjVec : giaStr.c
• STR_SUPER : giaStr.c
• STRIP : literal.h
• SUB : statistics.h
• substitute_terminated_1 : terminate.h
• Super2_IsComplement : superAnd.c
• Super2_LibForEachGate : superAnd.c
• Super2_LibForEachGate2 : superAnd.c
• Super2_Not : superAnd.c
• Super2_NotCond : superAnd.c
• Super2_Regular : superAnd.c
• SUPER_EPSILON : superGate.c
• SUPER_FULL : superAnd.c, superGate.c
• Super_ManForEachGate : superGate.c
• SUPER_MASK : superAnd.c, superGate.c
• SUPER_NO_VAR : superGate.c
• SWAP : utilities.h
• sweep_terminated_1 : terminate.h
• sweep_terminated_2 : terminate.h
• sweep_terminated_3 : terminate.h
• sweep_terminated_4 : terminate.h
• sweep_terminated_5 : terminate.h
• sweep_terminated_6 : terminate.h
• sweep_terminated_7 : terminate.h
• sweep_terminated_8 : terminate.h
• SYMBOL_DC : extraBddKmap.c
• SYMBOL_ONE : extraBddKmap.c
• SYMBOL_OVERLAP : extraBddKmap.c
• SYMBOL_ZERO : extraBddKmap.c
• SYMBOLIC_CONSTRAINTS_type : espresso.h