- s -

• s1 : set.c
• s_AplAfter : reoCore.c
• s_AplBefore : reoCore.c
• s_BackTrackLimit : extraBddCas.c
• s_BackTracks : extraBddCas.c
• s_CacheEntries : dsdProc.c
• s_Case4Calls : dsdProc.c
• s_Case4CallsSpecial : dsdProc.c
• s_Case5 : dsdProc.c
• s_Common : dsdProc.c
• s_CommonNo : dsdProc.c
• s_CounterBlocks : dsdTree.c
• s_CounterNeg : dsdTree.c
• s_CounterNo : dsdTree.c
• s_CounterPos : dsdTree.c
• s_CutLevel : extraBddCas.c
• s_DarLib : darLib.c
• s_Data1 : darData.c
• s_Data2 : darData.c
• s_Data3 : cnfData.c , darData.c
• s_Data4 : cnfData.c
• s_ddmin : casCore.c
• s_DecNodesTotal : dsdProc.c
• s_DecNodesUsed : dsdProc.c
• s_DepthMax : dsdTree.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_FraigPrimes : fraigInt.h , fraigPrime.c
• s_fVerbose : mvcDivide.c
• s_GateSizeMax : dsdTree.c
• s_GlobalFrame : mainFrame.c
• s_HashPrimes : fpgaCut.c , mapperCut.c
• s_Loops1 : dsdProc.c
• s_Loops2 : dsdProc.c
• s_Loops2Useless : dsdProc.c
• s_Loops3 : dsdProc.c
• s_LutSize : casDec.c
• s_MapFanoutLimits : mapperTree.c
• s_MappingMem : ivyFastMap.c , abcPrint.c , fpgaCore.c
• s_MappingTime : ivyFastMap.c , abcPrint.c , fpgaCore.c , ifCore.c , ifSeq.c
• s_Mark : dsdProc.c
• s_Masks : ivyDsd.c
• s_MaxDelay : dsdProc.c
• s_MaxDepth : extraBddCas.c
• s_MemoryPeak : fxu.c
• s_MemoryTotal : fxu.c
• s_MintOnes : casCore.c
• s_MultiStart : extraBddCas.c
• s_nArea : dsdProc.c
• s_nBTLimitGlobal : ivyFraig.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_nInvertors : dsdProc.c
• s_nLiterals : dsdProc.c
• s_NP3 : cutPre22.c
• s_NP3Names : cutPre22.c
• s_NP3VarNums : cutPre22.c
• s_nPerms : abcAttach.c
• s_NPNe3 : cutPre22.c
• s_NPNe3p : cutPre22.c
• s_NPNe3s : 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_Phases3 : extraUtilCanon.c
• s_Pivot : dsdProc.c
• s_PivotNo : dsdProc.c
• s_pLeaves : abcLut.c
• s_pLits : fxuCreate.c
• s_pMan : abcRec.c , fpgaUtils.c , mapperUtils.c
• s_pManCnf : cnfCore.c
• s_pManRwrExp4 : rwrExp.c
• s_pManRwrExp5 : rwrExp.c
• s_pMap : rwtMan.c
• s_pNtk : ioWriteCnf.c
• s_pPerms : abcAttach.c , rwtMan.c
• s_pPhases : rwtMan.c
• s_pReo : abcRenode.c
• s_Primes : fxuPair.c
• s_puCanons : rwtMan.c
• s_ResubTime : abcPrint.c , abcResub.c
• s_ResynTime : abcPrint.c , resCore.c
• s_RwrPracticalClasses : rwrUtil.c
• s_RwtAigSubgraphs : rwtUtil.c , rwrUtil.c
• s_RwtPracticalClasses : rwtUtil.c
• s_Show : dsdProc.c
• s_Signature : extraBddCas.c
• s_SuppSize : casCore.c
• s_Terminal : extraBddCas.c
• s_Time : dsdProc.c
• s_Truths3 : extraUtilCanon.c
• s_uMaskAll : superAnd.c
• s_uMaskBit : superAnd.c
• s_VarAll : extraBddCas.c
• s_VarMasks : extraUtilTruth.c
• s_VarOrderBest : extraBddCas.c
• s_VarOrderCur : extraBddCas.c
• s_vMemory : abcRenode.c
• s_vMemory2 : abcRenode.c
• s_XVars : extraBddKmap.c
• set_family_garbage : set.c
• shuffleSelect : cuddUtil.c
• shuffleTable : cuddUtil.c
• single_expand : globals.c , espresso.h
• size : cuddSign.c
• skip_make_sparse : espresso.h , globals.c
• ST_PFSR : st.h
• start_time : sharp.c
• STMM_PFSR : stmm.h
• storedd : cuddGenetic.c
• summary : globals.c , espresso.h