- s -

• S : kitPerm.c
• s1 : set.c
• s_1kPrimes : saigIsoSlow.c
• s_256Primes : giaIso.c , giaIso2.c
• s_AplAfter : reoCore.c
• s_AplBefore : reoCore.c
• s_BackTrackLimit : extraBddCas.c
• s_BackTracks : extraBddCas.c
• s_BlifTypes : cbaReadBlif.c
• s_CacheEntries : dsdProc.c
• s_Case4Calls : dsdProc.c
• s_Case4CallsSpecial : dsdProc.c
• s_CMasks6 : dauCanon.c
• s_Common : dsdProc.c
• s_CommonNo : dsdProc.c
• s_Count2 : ifDec16.c
• s_Count3 : ifDec16.c
• s_Counter : giaCSat.c
• s_Counter2 : giaCTas.c
• s_Counter3 : giaCTas.c
• s_Counter4 : giaCTas.c
• s_CutLevel : extraBddCas.c
• s_DarLib : darLib.c
• s_Data1 : darData.c
• s_Data2 : darData.c
• s_Data3 : darData.c , cnfData.c
• s_Data4 : cnfData.c
• s_ddmin : casCore.c
• s_DepthMax : dsdTree.c
• s_DsdClass6 : mpmDsd.c , extraUtilDsd.c
• s_EncComputeTime : casDec.c
• s_Encoded : extraBddCas.c
• s_EncodingTime : casDec.c
• s_EncodingVarsLevel : extraBddCas.c
• s_EncSearchTime : casDec.c
• s_Field : extraBddCas.c
• s_fInterrupt : utilMem.c , utilMem.h
• s_FraigPrimes : fraigInt.h , fraigPrime.c
• s_fVerbose : mvcDivide.c
• s_GateSizeMax : dsdTree.c
• s_GigNames : giaGig.c
• s_GlobalFrame : mainFrame.c
• s_HashPrimes : fpgaCut.c , mapperCut.c
• s_InitializerEnd : mainInit.c
• s_InitializerStart : mainInit.c
• s_KnownModules : cbaReadVer.c
• s_Loops1 : dsdProc.c
• s_Loops2 : dsdProc.c
• s_Loops3 : dsdProc.c
• s_LutSize : casDec.c
• s_MapFanoutLimits : mapperTree.c
• s_MappingMem : ivyFastMap.c , abcPrint.c , fpgaCore.c
• s_MappingTime : ifCore.c , ifSeq.c , ivyFastMap.c , abcPrint.c , fpgaCore.c
• s_Mark : dsdProc.c
• s_Masks : ivyDsd.c
• s_MaxDepth : extraBddCas.c
• s_MemoryPeak : fxu.c
• s_MemoryTotal : fxu.c
• s_MintOnes : casCore.c
• s_MultiStart : extraBddCas.c
• s_nBTLimitGlobal : ivyFraig.c
• s_nCalls : giaMf.c
• s_nCascades : dsdProc.c
• s_nDataSize1 : darData.c
• s_nDataSize2 : darData.c
• s_nDataSize3 : darData.c
• s_nDecBlocks : dsdProc.c
• s_nExorGates : dsdProc.c
• s_nFuncVars : casDec.c
• s_nInsLimitGlobal : ivyFraig.c
• s_nLiterals : dsdProc.c
• s_NodeTypes : cbaWriteVer.c
• s_NP3Names : cutPre22.c
• s_nPerms : abcAttach.c
• s_NPNe3 : cutPre22.c
• s_nPrimeBlocks : dsdProc.c
• s_nReusedBlocks : dsdProc.c
• s_nVarsBest : extraBddCas.c
• s_pbTemp : extraBddCas.c
• s_pCMan : cutPre22.c
• s_pCuddMan : cudd2.c
• s_pDd : abcRenode.c
• s_pFuncIsopCover : utilIsop.c
• s_Phases3 : extraUtilCanon.c
• s_pLeaves : abcLut.c
• s_pLits : fxuCreate.c
• s_pMan3 : abcRec3.c
• s_pManCnf : cnfCore.c
• s_pManRwrExp4 : rwrExp.c
• s_pManRwrExp5 : rwrExp.c
• s_pMap : rwtMan.c
• s_PMasks : utilTruth.h
• s_pNtk : ioWriteCnf.c
• s_pPerms : rwtMan.c , abcAttach.c
• s_pPhases : rwtMan.c
• s_pReo : abcRenode.c
• s_PrimeC : giaIso2.c
• s_Primes : fxuPair.c
• s_pRMan : aigCanon.c
• s_puCanons : rwtMan.c
• s_ResubTime : abcResub.c , abcPrint.c
• s_ResynTime : abcPrint.c , resCore.c
• s_RwrPracticalClasses : rwrUtil.c
• s_RwtAigSubgraphs : rwrUtil.c , rwtUtil.c
• s_RwtPracticalClasses : rwtUtil.c
• s_SdmMan : extraUtilDsd.c
• s_Signature : extraBddCas.c
• s_SuppSize : casCore.c
• s_Terminal : extraBddCas.c
• s_TimeComp : dauMerge.c
• s_Times : dauDsd.c
• s_Truth6 : giaTruth.c
• s_Truths3 : extraUtilCanon.c
• s_Truths6 : sfmSat.c , utilTruth.h , extraUtilEnum.c
• s_Truths6Neg : utilTruth.h
• s_TruthXors : utilTruth.h
• s_uMaskAll : superAnd.c
• s_uMaskBit : superAnd.c
• s_vAllocs : utilMem.c , utilMem.h
• s_VarAll : extraBddCas.c
• s_VarMasks : extraUtilTruth.c
• s_VarOrderBest : extraBddCas.c
• s_VarOrderCur : extraBddCas.c
• s_VerTypes : cbaReadVer.c
• s_vFrees : utilMem.c , utilMem.h
• s_vMemory : abcRenode.c
• s_vMemory2 : abcRenode.c
• s_vTtMem : giaMf.c
• s_XVars : extraBddKmap.c
• set_family_garbage : set.c
• SFmask : luckyFast16.c
• shuffleSelect : cuddUtil.c
• shuffleTable : cuddUtil.c
• single_expand : globals.c , espresso.h
• size : cuddSign.c
• skip_make_sparse : globals.c , espresso.h
• solver : MainSat.cpp , MainSimp.cpp
• solver_l_False : solver.h
• solver_l_True : solver.h
• solver_l_Undef : solver.h
• start_time : sharp.c
• startOfSuffixString : ltl_parser.c
• static_bl_desc : trees.c
• static_d_desc : trees.c
• static_dtree : trees.h , trees.c
• static_l_desc : trees.c
• static_ltree : trees.h , trees.c
• storedd : cuddGenetic.c
• summary : espresso.h , globals.c