- e -

• eat_pair() : abcSaucy.c
• elim_lowering() : espresso.h , expand.c
• Emb_DumpGraphIntoFile() : giaEmbed.c
• Emb_ManCi() : giaEmbed.c
• Emb_ManCiNum() : giaEmbed.c
• Emb_ManCleanTravId() : giaEmbed.c
• Emb_ManCo() : giaEmbed.c
• Emb_ManCollectSuper() : giaEmbed.c
• Emb_ManCollectSuper_rec() : giaEmbed.c
• Emb_ManComputeCovariance() : giaEmbed.c
• Emb_ManComputeDimensions() : giaEmbed.c
• Emb_ManComputeDistance_old() : giaEmbed.c
• Emb_ManComputeEigenvectors() : giaEmbed.c
• Emb_ManComputeHPWL() : giaEmbed.c
• Emb_ManComputeSolutions() : giaEmbed.c
• Emb_ManConnectedComponents() : giaEmbed.c
• Emb_ManCoNum() : giaEmbed.c
• Emb_ManCreateRefsSpecial() : giaEmbed.c
• Emb_ManDerivePlacement() : giaEmbed.c
• Emb_ManDumpGnuplot() : giaEmbed.c
• Emb_ManDumpGnuplotPrepare() : giaEmbed.c
• Emb_ManFindDistances() : giaEmbed.c
• Emb_ManIncrementTravId() : giaEmbed.c
• Emb_ManMatrAlloc() : giaEmbed.c
• Emb_ManNodeNum() : giaEmbed.c
• Emb_ManObj() : giaEmbed.c
• Emb_ManObjNum() : giaEmbed.c
• Emb_ManPerformBfs() : giaEmbed.c
• Emb_ManPiNum() : giaEmbed.c
• Emb_ManPlacementRefine() : giaEmbed.c
• Emb_ManPoNum() : giaEmbed.c
• Emb_ManPrintFanio() : giaEmbed.c
• Emb_ManPrintSolutions() : giaEmbed.c
• Emb_ManPrintStats() : giaEmbed.c
• Emb_ManRandomVertex() : giaEmbed.c
• Emb_ManRegNum() : giaEmbed.c
• Emb_ManResetTravId() : giaEmbed.c
• Emb_ManSetValue() : giaEmbed.c
• Emb_ManSol() : giaEmbed.c
• Emb_ManStart() : giaEmbed.c
• Emb_ManStartSimple() : giaEmbed.c
• Emb_ManStop() : giaEmbed.c
• Emb_ManTransformRefs() : giaEmbed.c
• Emb_ManVec() : giaEmbed.c
• Emb_ManVecCopyOne() : giaEmbed.c
• Emb_ManVecMultiply() : giaEmbed.c
• Emb_ManVecMultiplyOne() : giaEmbed.c
• Emb_ManVecNormal() : giaEmbed.c
• Emb_ManVecOrthogonolizeOne() : giaEmbed.c
• Emb_ManVecRandom() : giaEmbed.c
• Emb_ObjAddFanin() : giaEmbed.c
• Emb_ObjFanin() : giaEmbed.c
• Emb_ObjFaninNum() : giaEmbed.c
• Emb_ObjFanout() : giaEmbed.c
• Emb_ObjFanoutNum() : giaEmbed.c
• Emb_ObjIsCi() : giaEmbed.c
• Emb_ObjIsCo() : giaEmbed.c
• Emb_ObjIsNode() : giaEmbed.c
• Emb_ObjIsTerm() : giaEmbed.c
• Emb_ObjIsTravIdCurrent() : giaEmbed.c
• Emb_ObjIsTravIdPrevious() : giaEmbed.c
• Emb_ObjSetTravId() : giaEmbed.c
• Emb_ObjSetTravIdCurrent() : giaEmbed.c
• Emb_ObjSetTravIdPrevious() : giaEmbed.c
• Emb_ObjSize() : giaEmbed.c
• emptyClauseSet() : cuddEssent.c
• EpdAdd() : epd.c , epd.h
• EpdAdd2() : epd.c , epd.h
• EpdAdd3() : epd.c , epd.h
• EpdAlloc() : epd.c , epd.h
• EpdCmp() : epd.c , epd.h
• EpdConvert() : epd.c , epd.h
• EpdCopy() : epd.c , epd.h
• EpdDivide() : epd.c , epd.h
• EpdDivide2() : epd.c , epd.h
• EpdDivide3() : epd.c , epd.h
• EpdFree() : epd.c , epd.h
• EpdGetExponent() : epd.c , epd.h
• EpdGetExponentDecimal() : epd.c , epd.h
• EpdGetString() : epd.c , epd.h
• EpdGetValueAndDecimalExponent() : epd.c , epd.h
• EpdIsInf() : epd.c , epd.h
• EpdIsNan() : epd.c , epd.h
• EpdIsNanOrInf() : epd.c , epd.h
• EpdIsZero() : epd.c , epd.h
• EpdMakeInf() : epd.c , epd.h
• EpdMakeNan() : epd.c , epd.h
• EpdMakeZero() : epd.c , epd.h
• EpdMultiply() : epd.c , epd.h
• EpdMultiply2() : epd.c , epd.h
• EpdMultiply2Decimal() : epd.c , epd.h
• EpdMultiply3() : epd.c , epd.h
• EpdMultiply3Decimal() : epd.c , epd.h
• EpdNormalize() : epd.c , epd.h
• EpdNormalizeDecimal() : epd.c , epd.h
• EpdPow2() : epd.c , epd.h
• EpdPow2Decimal() : epd.c , epd.h
• EpdSubtract() : epd.c , epd.h
• EpdSubtract2() : epd.c , epd.h
• EpdSubtract3() : epd.c , epd.h
• eqn_output() : cvrout.c , espresso.h
• equalp() : cuddEssent.c
• espresso() : espresso.c , espresso.h
• essen_cube() : espresso.h , essen.c
• essen_parts() : espresso.h , expand.c
• essen_raising() : espresso.h , expand.c
• essential() : espresso.h , essen.c
• EvaluateEncodings_rec() : extraBddCas.c
• exact_minimum_cover() : espresso.h , unate.c
• exit() : util_old.h
• Exp_And() : exp.h
• Exp_Const0() : exp.h
• Exp_Const1() : exp.h
• Exp_IsConst() : exp.h
• Exp_IsConst0() : exp.h
• Exp_IsConst1() : exp.h
• Exp_IsLit() : exp.h
• Exp_LitShift() : exp.h
• Exp_NodeNum() : exp.h
• Exp_Not() : exp.h
• Exp_Or() : exp.h
• Exp_Print() : exp.h
• Exp_PrintLit() : exp.h
• Exp_PrintReverse() : exp.h
• Exp_Reverse() : exp.h
• Exp_Truth() : exp.h
• Exp_Truth6() : exp.h
• Exp_Truth6Lit() : exp.h
• Exp_TruthLit() : exp.h
• Exp_Var() : exp.h
• Exp_Xor() : exp.h
• expand() : espresso.h , expand.c
• expand1() : espresso.h , expand.c
• expand1_gasp() : espresso.h , gasp.c
• expand_gasp() : espresso.h , gasp.c
• explode() : espresso.h , map.c
• Extra_addReorderTest() : reo.h , reoTest.c
• Extra_ArrayAlloc() : extra.h , extraUtilMisc.c
• Extra_Base2LogDouble() : extra.h , extraUtilMisc.c
• Extra_bddAndAbstractTime() : extraBdd.h , extraBddTime.c
• Extra_bddAndPermute() : extraBdd.h , extraBddMisc.c
• Extra_bddAndTime() : extraBdd.h , extraBddTime.c
• Extra_bddBitsToCube() : extraBdd.h , extraBddMisc.c
• Extra_bddChangePolarity() : extraBdd.h , extraBddMisc.c
• Extra_bddCheckUnateNaive() : extraBdd.h , extraBddUnate.c
• Extra_bddCheckVarsSymmetric() : extraBdd.h , extraBddSymm.c
• Extra_bddCheckVarsSymmetricNaive() : extraBdd.h , extraBddSymm.c
• Extra_bddComputeCube() : extraBdd.h , extraBddMisc.c
• Extra_bddComputeRangeCube() : extraBdd.h , extraBddMisc.c
• Extra_bddComputeSum() : abcDsd.c
• Extra_bddCreateAnd() : extraBdd.h , extraBddMisc.c
• Extra_bddCreateExor() : extraBdd.h , extraBddMisc.c
• Extra_bddCreateOr() : extraBdd.h , extraBddMisc.c
• Extra_bddEncodingBinary() : extraBdd.h , extraBddCas.c
• Extra_bddEncodingNonStrict() : extraBdd.h , extraBddCas.c
• Extra_bddFindOneCube() : extraBdd.h , extraBddMisc.c
• Extra_bddGetOneCube() : extraBdd.h , extraBddMisc.c
• Extra_bddImageCompute() : extraBdd.h , extraBddImage.c
• Extra_bddImageCompute2() : extraBdd.h , extraBddImage.c
• Extra_bddImageCompute_rec() : extraBddImage.c
• Extra_bddImagePrintLatchDependency() : extraBddImage.c
• Extra_bddImagePrintLatchDependencyOne() : extraBddImage.c
• Extra_bddImagePrintTree() : extraBddImage.c
• Extra_bddImagePrintTree_rec() : extraBddImage.c
• Extra_bddImageRead() : extraBdd.h , extraBddImage.c
• Extra_bddImageRead2() : extraBdd.h , extraBddImage.c
• Extra_bddImageStart() : extraBdd.h , extraBddImage.c
• Extra_bddImageStart2() : extraBdd.h , extraBddImage.c
• Extra_bddImageTreeDelete() : extraBdd.h , extraBddImage.c
• Extra_bddImageTreeDelete2() : extraBdd.h , extraBddImage.c
• Extra_bddImageTreeDelete_rec() : extraBddImage.c
• Extra_bddIsVar() : extraBdd.h , extraBddMisc.c
• Extra_bddMove() : extraBdd.h , extraBddMisc.c
• Extra_bddNodePathsUnderCut() : extraBdd.h , extraBddCas.c
• Extra_bddNodePathsUnderCutArray() : extraBdd.h , extraBddCas.c
• Extra_bddNodePointedByCube() : dsdLocal.c
• Extra_bddPermuteArray() : extraBdd.h , extraBddMisc.c
• Extra_bddPrint() : extraBdd.h , extraBddMisc.c
• Extra_bddPrintSupport() : extraBdd.h , extraBddMisc.c
• Extra_bddReduceVarSet() : extraBdd.h , extraBddSymm.c
• Extra_bddRemapUp() : extraBdd.h , extraBddMisc.c
• Extra_bddReorderTest() : reo.h , reoTest.c
• Extra_bddSpaceCanonVars() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceEquations() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceEquationsNeg() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceEquationsPos() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceExorGates() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceFromFunction() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceFromFunctionFast() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceFromFunctionNeg() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceFromFunctionPos() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceFromMatrixNeg() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceFromMatrixPos() : extraBdd.h , extraBddAuto.c
• Extra_bddSpaceReduce() : extraBdd.h , extraBddAuto.c
• Extra_bddSuppCheckContainment() : extraBdd.h , extraBddMisc.c
• Extra_bddSuppContainVar() : extraBdd.h , extraBddMisc.c
• Extra_bddSuppDifferentVars() : extraBdd.h , extraBddMisc.c
• Extra_bddSupportNegativeCube() : extraBdd.h , extraBddMisc.c
• Extra_bddSuppOverlapping() : extraBdd.h , extraBddMisc.c
• Extra_bddSuppSize() : extraBdd.h , extraBddMisc.c
• Extra_bddVarIsInCube() : extraBdd.h , extraBddMisc.c
• Extra_BitMatrixClean() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixCountOnesUpper() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixDelete1() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixDelete2() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixInsert1() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixInsert2() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixIsClique() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixIsDisjoint() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixLookup1() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixLookup2() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixOr() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixOrTwo() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixPrint() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixReadSize() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixStart() : extra.h , extraUtilBitMatrix.c
• Extra_BitMatrixStop() : extra.h , extraUtilBitMatrix.c
• Extra_BitWordNum() : extra.h
• Extra_BubbleSort() : extra.h , extraUtilMisc.c
• Extra_BuildTreeNode() : extraBddImage.c
• Extra_CollectNodes() : extraBddCas.c
• Extra_CombineTwoNodes() : extraBddImage.c
• Extra_CountCofactorMinterms() : extraBddCas.c
• Extra_CountMintermsSimple() : extraBddCas.c
• Extra_CountOnes() : extra.h , extraUtilMisc.c
• Extra_CpuTime() : extra.h , extraUtilUtil.c , util_hack.h
• Extra_CpuTimeDouble() : extra.h , extraUtilUtil.c
• Extra_CreateNodes() : extraBddImage.c
• Extra_CreateParts() : extraBddImage.c
• Extra_CreateVars() : extraBddImage.c
• Extra_DeleteParts_rec() : extraBddImage.c
• Extra_DeriveRadixCode() : extra.h , extraUtilMisc.c
• Extra_dsdRemap() : dsdLocal.c
• Extra_Factorial() : extra.h , extraUtilMisc.c
• Extra_FileCheck() : extra.h , extraUtilFile.c
• Extra_FileDesignName() : extra.h , extraUtilFile.c
• Extra_FileGetSimilarName() : extra.h , extraUtilFile.c
• Extra_FileIsType() : extra.h , extraUtilFile.c
• Extra_FileLineNumAdd() : extraUtilFile.c
• Extra_FileNameAppend() : extra.h , extraUtilFile.c
• Extra_FileNameCorrectPath() : extra.h , extraUtilFile.c
• Extra_FileNameExtension() : extra.h , extraUtilFile.c
• Extra_FileNameGeneric() : extra.h , extraUtilFile.c
• Extra_FileNameGenericAppend() : extra.h , extraUtilFile.c
• Extra_FileNameWithoutPath() : extra.h , extraUtilFile.c
• Extra_FilePathWithoutName() : extra.h , extraUtilFile.c
• Extra_FileRead() : extra.h , extraUtilFile.c
• Extra_FileRead2() : extra.h , extraUtilFile.c
• Extra_FileReadContents() : extra.h , extraUtilFile.c
• Extra_FileReadContents2() : extra.h , extraUtilFile.c
• Extra_FileReaderAlloc() : extra.h , extraUtilReader.c
• Extra_FileReaderFree() : extra.h , extraUtilReader.c
• Extra_FileReaderGetCurPosition() : extra.h , extraUtilReader.c
• Extra_FileReaderGetFileName() : extra.h , extraUtilReader.c
• Extra_FileReaderGetFileSize() : extra.h , extraUtilReader.c
• Extra_FileReaderGetLineNumber() : extra.h , extraUtilReader.c
• Extra_FileReaderGetTokens() : extra.h , extraUtilReader.c
• Extra_FileReaderGetTokens_int() : extraUtilReader.c
• Extra_FileReaderReload() : extraUtilReader.c
• Extra_FileSize() : extra.h , extraUtilFile.c
• Extra_FileSort() : extraUtilFile.c
• Extra_FindBestPartitions() : extraBddImage.c
• Extra_FindBestVariable() : extraBddImage.c
• Extra_GetSoftDataLimit() : extraUtilUtil.c , extra.h , util_hack.h
• Extra_GreyCodeSchedule() : extra.h , extraUtilMisc.c
• Extra_MemTest() : extraUtilUtil.c
• Extra_MergeTopNodes() : extraBddImage.c
• Extra_MmFixedEntryFetch() : extra.h , extraUtilMemory.c
• Extra_MmFixedEntryRecycle() : extra.h , extraUtilMemory.c
• Extra_MmFixedPrint() : extraUtilMemory.c
• Extra_MmFixedReadMaxEntriesUsed() : extraUtilMemory.c , extra.h
• Extra_MmFixedReadMemUsage() : extra.h , extraUtilMemory.c
• Extra_MmFixedRestart() : extraUtilMemory.c , extra.h
• Extra_MmFixedStart() : extra.h , extraUtilMemory.c
• Extra_MmFixedStop() : extra.h , extraUtilMemory.c
• Extra_MmFlexEntryFetch() : extra.h , extraUtilMemory.c
• Extra_MmFlexPrint() : extraUtilMemory.c , extra.h
• Extra_MmFlexReadMemUsage() : extra.h , extraUtilMemory.c
• Extra_MmFlexStart() : extraUtilMemory.c , extra.h
• Extra_MmFlexStop() : extra.h , extraUtilMemory.c
• Extra_MmStepEntryFetch() : extraUtilMemory.c , extra.h
• Extra_MmStepEntryRecycle() : extra.h , extraUtilMemory.c
• Extra_MmStepReadMemUsage() : extra.h , extraUtilMemory.c
• Extra_MmStepStart() : extra.h , extraUtilMemory.c
• Extra_MmStepStop() : extraUtilMemory.c , extra.h
• Extra_NpnRead() : extraUtilMisc.c
• Extra_NpnTest() : extraUtilMisc.c
• Extra_NpnTest1() : extraUtilMisc.c
• Extra_NpnTest2() : extraUtilMisc.c
• Extra_NumCombinations() : extra.h , extraUtilMisc.c
• Extra_PermSchedule() : extraUtilMisc.c , extra.h
• Extra_Permutations() : extra.h , extraUtilMisc.c
• Extra_Permutations_rec() : extraUtilMisc.c
• Extra_Power2() : extra.h , extraUtilMisc.c
• Extra_Power3() : extra.h , extraUtilMisc.c
• Extra_PrintBinary() : extraUtilFile.c , ifDec07.c , ifDec08.c , ifDec16.c , extra.h , extraUtilSupp.c
• Extra_PrintBinary_() : pr.c
• Extra_PrintBinary__() : satInter.c
• Extra_PrintHex() : extra.h , extraUtilFile.c
• Extra_PrintHexadecimal() : extra.h , extraUtilFile.c
• Extra_PrintHexadecimalString() : extra.h , extraUtilFile.c
• Extra_PrintHexReverse() : extra.h , extraUtilFile.c
• Extra_PrintKMap() : extraBdd.h , extraBddKmap.c
• Extra_PrintKMapRelation() : extraBdd.h , extraBddKmap.c
• Extra_PrintSymbols() : extra.h , extraUtilFile.c
• Extra_ProfileWidth() : extraBdd.h , extraBddCas.c
• Extra_ProgressBarClean() : extraUtilProgress.c
• Extra_ProgressBarShow() : extraUtilProgress.c
• Extra_ProgressBarStart() : extra.h , extraUtilProgress.c
• Extra_ProgressBarStop() : extra.h , extraUtilProgress.c
• Extra_ProgressBarUpdate() : extra.h
• Extra_ProgressBarUpdate_int() : extraUtilProgress.c , extra.h
• Extra_ReadBinary() : extra.h , extraUtilFile.c
• Extra_ReadHex() : extraUtilFile.c , extra.h
• Extra_ReadHexadecimal() : extra.h , extraUtilFile.c
• Extra_Reorder() : reoApi.c , reo.h
• Extra_ReorderArray() : reo.h , reoApi.c
• Extra_ReorderCudd() : reo.h , reoTest.c
• Extra_ReorderInit() : reo.h , reoApi.c
• Extra_ReorderQuit() : reo.h , reoApi.c
• Extra_ReorderSetIterations() : reo.h , reoApi.c
• Extra_ReorderSetMinimizationType() : reo.h , reoApi.c
• Extra_ReorderSetRemapping() : reo.h , reoApi.c
• Extra_ReorderSetVerbosity() : reo.h , reoApi.c
• Extra_ReorderSetVerification() : reo.h , reoApi.c
• Extra_ReorderTest() : reo.h , reoTest.c
• Extra_ReorderTestArray() : reoTest.c
• Extra_ShuffleTest() : reoShuffle.c
• Extra_StopManager() : extraBdd.h , extraBddMisc.c
• Extra_StringAppend() : extra.h , extraUtilFile.c
• Extra_StringClean() : extraUtilFile.c , extra.h
• Extra_StringCompare() : extraUtilFile.c
• Extra_SupportArray() : extraBddMisc.c , extraBdd.h
• Extra_SymmPairsAllocate() : extraBdd.h , extraBddSymm.c
• Extra_SymmPairsCompute() : extraBdd.h , extraBddSymm.c
• Extra_SymmPairsComputeNaive() : extraBddSymm.c , extraBdd.h
• Extra_SymmPairsCreateFromZdd() : extraBddSymm.c , extraBdd.h
• Extra_SymmPairsDissolve() : extraBddSymm.c , extraBdd.h
• Extra_SymmPairsPrint() : extraBddSymm.c , extraBdd.h
• Extra_TestAndPerm() : extraBddMisc.c
• Extra_ThreshCheck() : extraUtilThresh.c
• Extra_ThreshCheckTest() : extraUtilThresh.c
• Extra_ThreshComputeChow() : extraUtilThresh.c
• Extra_ThreshPrintChow() : extraUtilThresh.c
• Extra_ThreshSelectWeights() : extraUtilThresh.c
• Extra_ThreshSelectWeights3() : extraUtilThresh.c
• Extra_ThreshSelectWeights4() : extraUtilThresh.c
• Extra_ThreshSelectWeights5() : extraUtilThresh.c
• Extra_ThreshSelectWeights6() : extraUtilThresh.c
• Extra_ThreshSelectWeights7() : extraUtilThresh.c
• Extra_ThreshSelectWeights8() : extraUtilThresh.c
• Extra_ThreshSortByChow() : extraUtilThresh.c
• Extra_ThreshWeightedSum() : extraUtilThresh.c
• Extra_TimeStamp() : extraUtilFile.c , extra.h
• Extra_TransferLevelByLevel() : extraBddMisc.c , extraBdd.h
• Extra_TransferPermute() : extraBdd.h , extraBddMisc.c
• Extra_TransferPermuteTime() : extraBddTime.c , extraBdd.h
• Extra_Truth3VarN() : extraUtilMisc.c
• Extra_Truth4VarN() : extra.h , extraUtilMisc.c
• Extra_Truth4VarNPN() : extra.h , extraUtilMisc.c
• Extra_Truth6AllConfigs() : mpmPre.c
• Extra_Truth6AllConfigs2() : mpmPre.c
• Extra_Truth6ChangePhase() : luckyFast6.c , extraUtilMisc.c , mpmPre.c
• Extra_Truth6MinimumExact() : extraUtilMisc.c , extra.h
• Extra_Truth6MinimumHeuristic() : extra.h , extraUtilMisc.c
• Extra_Truth6MinimumHeuristicTest() : extraUtilMisc.c
• Extra_Truth6MinimumRoundMany() : luckyFast6.c , extraUtilMisc.c
• Extra_Truth6MinimumRoundMany1() : luckyFast6.c
• Extra_Truth6MinimumRoundMany_noEBFC() : luckyFast6.c
• Extra_Truth6MinimumRoundOne() : luckyFast6.c , extraUtilMisc.c
• Extra_Truth6MinimumRoundOne_noEBFC() : luckyFast6.c
• Extra_Truth6Ones() : extraUtilMisc.c
• Extra_Truth6SwapAdjacent() : luckyFast6.c , extraUtilMisc.c , mpmPre.c
• Extra_TruthAnd() : extra.h
• Extra_TruthAndPhase() : extra.h
• Extra_TruthCanonFastN() : extra.h , extraUtilCanon.c
• Extra_TruthCanonN() : extraUtilMisc.c , extra.h
• Extra_TruthCanonN_rec() : extraUtilCanon.c
• Extra_TruthCanonNN() : extra.h , extraUtilMisc.c
• Extra_TruthCanonNP() : extra.h , extraUtilMisc.c
• Extra_TruthCanonNPN() : extraUtilMisc.c , extra.h
• Extra_TruthCanonP() : extra.h , extraUtilMisc.c
• Extra_TruthChangePhase() : extra.h , extraUtilTruth.c
• Extra_TruthClear() : extra.h
• Extra_TruthCofactor0() : extra.h , extraUtilTruth.c
• Extra_TruthCofactor1() : extraUtilTruth.c , extra.h
• Extra_TruthCopy() : extra.h
• Extra_TruthCountOnes() : extra.h
• Extra_TruthCountOnesInCofs() : extraUtilTruth.c , extra.h
• Extra_TruthElementary() : extra.h , extraUtilTruth.c
• Extra_TruthExist() : extraUtilTruth.c , extra.h
• Extra_TruthExpand() : extraUtilMisc.c , extra.h
• Extra_TruthExpandGeneratePermTable() : extraUtilMisc.c
• Extra_TruthFill() : extra.h
• Extra_TruthForall() : extra.h , extraUtilTruth.c
• Extra_TruthHasBit() : extra.h
• Extra_TruthHash() : extra.h , extraUtilTruth.c
• Extra_TruthIsConst0() : extra.h
• Extra_TruthIsConst1() : extra.h
• Extra_TruthIsEqual() : extra.h
• Extra_TruthIsImply() : extra.h
• Extra_TruthIsImplyWords() : ivyCutTrav.c
• Extra_TruthMinCofSuppOverlap() : extraUtilTruth.c , extra.h
• Extra_TruthMux() : extraUtilTruth.c , extra.h
• Extra_TruthNand() : extra.h
• Extra_TruthNot() : extra.h , nwkBidec.c
• Extra_TruthOr() : extra.h , nwkBidec.c
• Extra_TruthOrWords() : ivyCutTrav.c
• Extra_TruthPerm43() : extraUtilMisc.c , extra.h
• Extra_TruthPerm4One() : extraUtilMisc.c , extra.h
• Extra_TruthPerm53() : extraUtilMisc.c , extra.h
• Extra_TruthPerm54() : extra.h , extraUtilMisc.c
• Extra_TruthPerm5One() : extraUtilMisc.c , extra.h
• Extra_TruthPerm63() : extraUtilMisc.c
• Extra_TruthPerm6One() : extraUtilMisc.c , extra.h
• Extra_TruthPermute() : extra.h , extraUtilMisc.c
• Extra_TruthPermute_int() : extraUtilMisc.c
• Extra_TruthPolarize() : extra.h , extraUtilMisc.c
• Extra_Truths8() : extraUtilMisc.c
• Extra_TruthSemiCanonicize() : extra.h , extraUtilTruth.c
• Extra_TruthSetBit() : extra.h
• Extra_TruthSharp() : extra.h , nwkBidec.c
• Extra_TruthShrink() : extra.h , extraUtilTruth.c
• Extra_TruthStretch() : extra.h , extraUtilTruth.c
• Extra_TruthSupport() : extra.h , extraUtilTruth.c
• Extra_TruthSupportSize() : extraUtilTruth.c , extra.h
• Extra_TruthSwapAdjacentVars() : extra.h , extraUtilTruth.c
• Extra_TruthSwapAdjacentVars2() : extraUtilTruth.c
• Extra_TruthVarInSupport() : extraUtilTruth.c , extra.h
• Extra_TruthVarsAntiSymm() : extraUtilTruth.c
• Extra_TruthVarsSymm() : extraUtilTruth.c
• Extra_TruthWordNum() : extra.h , nwkBidec.c
• Extra_TruthXorBit() : extra.h
• Extra_UnateComputeFast() : extraBdd.h , extraBddUnate.c
• Extra_UnateComputeSlow() : extraBddUnate.c , extraBdd.h
• Extra_UnateInfoAllocate() : extraBddUnate.c , extraBdd.h
• Extra_UnateInfoCreateFromZdd() : extraBdd.h , extraBddUnate.c
• Extra_UnateInfoDissolve() : extraBddUnate.c , extraBdd.h
• Extra_UnateInfoPrint() : extraBddUnate.c , extraBdd.h
• Extra_UtilCheckFile() : extraUtilUtil.c
• Extra_UtilFileSearch() : extraUtilUtil.c , extra.h
• Extra_UtilGetopt() : extraUtilUtil.c , extra.h
• Extra_UtilGetoptReset() : extra.h , extraUtilUtil.c
• Extra_UtilMMout_Of_Memory() : extraUtilUtil.c
• Extra_UtilPrintTime() : extraUtilUtil.c , extra.h
• Extra_UtilStrsav() : extraUtilUtil.c , extra.h
• Extra_UtilTildeExpand() : extra.h , extraUtilUtil.c
• Extra_VectorSupportArray() : extraBdd.h , extraBddMisc.c
• Extra_WordCountOnes() : extra.h
• Extra_zddCreateSubsets() : extraZddTrunc.c
• Extra_zddGetSingletons() : extraBddSymm.c , extraBdd.h
• Extra_zddGetSingletonsBoth() : extraBddUnate.c , extraBdd.h
• Extra_zddGetSymmetricVars() : extraBddSymm.c , extraBdd.h
• Extra_zddLitCountComb() : extraBddAuto.c
• Extra_zddPrimes() : extraBddMisc.c , extraBdd.h
• Extra_zddPrintSubsets() : extraZddTrunc.c
• Extra_zddSelectOneSubset() : extraBdd.h , extraBddSymm.c
• Extra_zddSymmPairsCompute() : extraBddSymm.c , extraBdd.h
• Extra_zddTruncate() : extraZddTrunc.c
• Extra_zddTruncate_rec() : extraZddTrunc.c
• Extra_zddTruncateTest() : extraZddTrunc.c
• Extra_zddTuplesFromBdd() : extraBddSymm.c , extraBdd.h
• Extra_zddUnateInfoCompute() : extraBdd.h , extraBddUnate.c
• Extra_zddVariable() : extraZddTrunc.c
• extraBddAndPermute() : extraBddMisc.c
• extraBddChangePolarity() : extraBddMisc.c , extraBdd.h
• extraBddCheckVarsSymmetric() : extraBdd.h , extraBddSymm.c
• extraBddMove() : extraBddMisc.c , extraBdd.h
• extraBddReduceVarSet() : extraBddSymm.c , extraBdd.h
• extraBddSpaceCanonVars() : extraBddAuto.c , extraBdd.h
• extraBddSpaceEquationsNeg() : extraBdd.h , extraBddAuto.c
• extraBddSpaceEquationsPos() : extraBdd.h , extraBddAuto.c
• extraBddSpaceFromFunction() : extraBdd.h , extraBddAuto.c
• extraBddSpaceFromFunctionNeg() : extraBddAuto.c , extraBdd.h
• extraBddSpaceFromFunctionPos() : extraBddAuto.c , extraBdd.h
• extraBddSpaceFromMatrixNeg() : extraBddAuto.c , extraBdd.h
• extraBddSpaceFromMatrixPos() : extraBdd.h , extraBddAuto.c
• extraCollectNodes() : extraBddCas.c
• extraComposeCover() : extraBddMisc.c
• extraDecomposeCover() : extraBddMisc.c , extraBdd.h
• extraProfileUpdateTopLevel() : extraBddCas.c
• extraTransferPermute() : extraBddMisc.c
• extraTransferPermuteRecur() : extraBddMisc.c
• extraTransferPermuteRecurTime() : extraBddTime.c
• extraTransferPermuteTime() : extraBddTime.c
• extraZddGetSingletons() : extraBddSymm.c , extraBdd.h
• extraZddGetSingletonsBoth() : extraBdd.h , extraBddUnate.c
• extraZddGetSymmetricVars() : extraBdd.h , extraBddSymm.c
• extraZddPrimes() : extraBddMisc.c
• extraZddSelectOneSubset() : extraBddSymm.c , extraBdd.h
• extraZddSymmPairsCompute() : extraBddSymm.c , extraBdd.h
• extraZddTuplesFromBdd() : extraBddSymm.c , extraBdd.h
• extraZddUnateInfoCompute() : extraBdd.h , extraBddUnate.c