- s -

• s : cloudNode , cloudCacheEntry1 , cloudCacheEntry3
• S : Dsd_Node_t_
• s : cloudCacheEntry2
• sentinel : DdManager
• sError : Io_BlifMan_t_ , Io_MvMan_t_ , Ver_Man_t_ , Io_ReadBlif_t_
• sf_size : set_family
• sGroup : MvCommand
• shift : DdLevelQueue , DdLocalCache , DdHashTable , DdSubtable
• shiftCache : cloudManager
• shiftUnique : cloudManager
• siftMaxSwap : DdManager
• siftMaxVar : DdManager
• sign : IeeeDoubleStruct , IeeeNanStruct
• Sign : _reo_unit , _reo_hash , _HashEntry_cof
• Signature : _reo_man
• simpdb_assigns : sat_solver_t
• simpdb_props : sat_solver_t
• size : Move , DdLevelQueue , MtrNode , cube_struct , sat_solver_t , veci_t , vecp_t
• Size : ParseStackFnStruct , ParseStackOpStruct , Lpk_Set_t_
• size : ApproxInfo , DdHashTable , DdManager
• size_learnt : clause_t
• sizeZ : DdManager
• slots : DdLocalCache , DdSubtable , DdManager
• sName : MvCommand , MvAlias
• SortMode : If_Man_t_
• sp : DdGen
• sparse : cube_struct
• SRed : Lpk_Set_t_
• stack : DdManager , DdGen , sat_solver_t
• start_time : stats_struct
• starts : stats_t
• stash : DdManager
• Stats : Msat_Solver_t_
• stats : sat_solver_t
• statsApl : _reo_plane
• statsCost : _reo_plane
• statsCostAbove : _reo_plane
• statsCostBelow : _reo_plane
• statsNodes : _reo_plane
• statsWidth : _reo_plane
• status : DdGen , _CSAT_Target_ResultT
• stGen : DdGen
• Store : Cut_Cell_t_
• subtables : DdManager
• subtableZ : DdManager
• sVersion : Abc_Frame_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