- s -

• seg : BlockStruct , block_
• sentinel : DdManager
• shift : DdLocalCache , DdHashTable , DdSubtable , DdLevelQueue
• siftMaxSwap : DdManager
• siftMaxVar : DdManager
• sign : IeeeDoubleStruct , IeeeNanStruct
• size : ApproxInfo , DdGen , DdHashTable , DdManager , Move , DdLevelQueue , rec_mgr_ , MtrNode , Cal_RecMgrStruct , cache_ , var_table_ , hash_table_
• size_index : cache_ , var_table_ , hash_table_ , block_
• sizeIndex : CalCacheTableStruct , CalHashTableStruct , BlockStruct
• sizeZ : DdManager
• slot : cache_entry_
• slots : DdLocalCache , DdSubtable , DdManager , Heap
• sp : CalBddGenStruct , cmu_bdd_gen , DdGen
• space : array_t
• stack : CalBddGenStruct , DdManager , DdGen , cmu_bdd_gen
• startNode : CalHashTableStruct
• stash : DdManager
• status : DdGen , mvar_type , mdd_gen , cmu_bdd_gen , CalBddGenStruct
• subtables : DdManager
• subtableZ : DdManager
• super_block : bdd_manager_
• superBlock : Cal_BddManagerStruct
• symmviolation : DdManager