Here is a list of all struct and union fields with links to the structures/unions they belong to:

- s -

• s : cloudCacheEntry1 , cloudCacheEntry2 , cloudCacheEntry3 , cloudNode
• S : Dsd_Node_t_
• sane : inflate_state
• satCounterExamples : saucy
• satisfied() : Minisat::Solver
• 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
• sBinary : Abc_Frame_t_
• search() : Minisat::Solver
• seek : gz_state
• seen : Minisat::Solver
• select_decomposition : saucy
• selector : DState , EState
• selectorMtf : DState , EState
• sentinel : DdManager
• seq : SC_Cell_
• seqToUnseq : DState
• sError : Io_BlifMan_t_ , Io_MvMan_t_ , Io_ReadBlif_t_ , Ver_Man_t_ , Wlc_Prs_t_
• setConfBudget() : Minisat::Solver
• setDecisionVar() : Minisat::Solver
• setFrozen() : Minisat::SimpSolver
• setHelpPrefixStr : Minisat::Option
• setPolarity() : Minisat::Solver
• setPropBudget() : Minisat::Solver
• setUsageHelp : Minisat::Option
• sf_size : set_family
• sGroup : MvCommand
• shift : DdHashTable , DdLevelQueue , DdLocalCache , DdSubtable
• shiftCache : cloudManager
• shiftUnique : cloudManager
• shrink() : Minisat::Clause , Minisat::vec< T >
• shrink_() : Minisat::vec< T >
• siftMaxSwap : DdManager
• siftMaxVar : DdManager
• Sign : _HashEntry_cof , _reo_hash , _reo_unit , Bal_Cut_t_
• sign : IeeeDoubleStruct , IeeeNanStruct
• Sign : Jf_Cut_t_ , Lf_Cut_t_ , Mf_Cut_t_ , Nf_Cut_t_ , Pdr_Set_t_ , Rfn_Obj_t_
• Signature : _reo_man
• Signed : Wlc_Obj_t_
• simp_garbage_frac : Minisat::SimpSolver
• simpDB_assigns : Minisat::Solver
• simpdb_assigns : sat_solver_t
• simpDB_props : Minisat::Solver
• simpdb_props : sat_solver_t
• simplify() : Minisat::Solver
• SimpSolver() : Minisat::SimpSolver
• sinduce : saucy
• size : ApproxInfo , clause_t , cube_struct , DdGen , DdHashTable , DdLevelQueue , DdManager , gz_state
• Size : Lpk_Set_t_
• size : Minisat::Clause , Minisat::CMap< T > , Minisat::Heap< Comp > , Minisat::Map< K, D, H, E > , Minisat::Queue< T > , Minisat::RegionAllocator< T > , Minisat::StreamBuffer , Minisat::vec< T > , Move , MtrNode
• Size : ParseStackFnStruct , ParseStackOpStruct
• size : sat_solver2_t , sat_solver_t , veci_t , vecp_t
• sizeZ : DdManager
• skip : gz_state
• Slew : SC_BusPars_
• slope : SC_WireLoad_
• slots : DdLocalCache , DdManager , DdSubtable
• smallDecompress : DState
• smudge() : Minisat::OccLists< Idx, Vec, Deleted >
• sName : MvAlias , MvCommand
• solve() : Minisat::SimpSolver , Minisat::Solver
• solve_() : Minisat::SimpSolver , Minisat::Solver
• solveLimited() : Minisat::SimpSolver , Minisat::Solver
• Solver() : Minisat::Solver
• solves : Minisat::Solver
• SopMap : Bbl_Man_t_
• SortMode : If_Man_t_
• sp : DdGen
• sparse : cube_struct
• specmin : saucy
• split : saucy
• splitfrom : saucy
• splitlev : saucy
• splitvar : saucy
• splitwho : saucy
• SRed : Lpk_Set_t_
• stack : DdGen , DdManager , sat_solver2_t , sat_solver_t
• start : gz_state , saucy
• start_time : stats_struct
• starts : Minisat::Solver , stats_t
• stash : DdManager
• stat_desc : tree_desc_s
• state : bz_stream , DState , EState , 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
• Stats : Msat_Solver_t_
• stats : sat_solver2_t , sat_solver_t , saucy
• statsApl : _reo_plane
• statsCost : _reo_plane
• statsCostAbove : _reo_plane
• statsCostBelow : _reo_plane
• statsNodes : _reo_plane
• statsWidth : _reo_plane
• status : _CSAT_Target_ResultT
• Status : Abc_Frame_t_
• status : DdGen
• Status : Gia_ParAbs_t_
• status : internal_state
• Store : Cut_Cell_t_
• storedBlockCRC : DState
• storedCombinedCRC : DState
• strategy : gz_state , internal_state
• StreamBuffer() : Minisat::StreamBuffer
• strengthen() : Minisat::Clause
• strengthenClause() : Minisat::SimpSolver
• StringOption() : Minisat::StringOption
• strm : bzFile , DState , EState , gz_state , internal_state
• strstart : internal_state
• stuff : saucy
• substitute() : Minisat::SimpSolver
• subsumes() : Minisat::Clause
• subsumption_lim : Minisat::SimpSolver
• subsumption_queue : Minisat::SimpSolver
• subtables : DdManager
• subtableZ : DdManager
• SumArea : SC_Man_ , SC_Time_
• SumArea0 : SC_Man_ , SC_Time_
• support : saucy_stats
• sVersion : Abc_Frame_t_
• swapArray : permInfo
• swapCtr : permInfo
• 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
• symmviolation : DdManager
• sz : Minisat::RegionAllocator< T > , Minisat::vec< T >