- e -

• ecvt() : stdlib_hack.h
• elim_lowering() : espresso.h , expand.c
• enqueue() : satSolver.c
• EpdAdd() : epd.c , epd.h
• EpdAdd2() : epd.h , epd.c
• EpdAdd3() : epd.c , epd.h
• EpdAlloc() : epd.c , epd.h
• EpdCmp() : epd.c , epd.h
• EpdConvert() : epd.h , epd.c
• 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.h , epd.c
• 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.h , epd.c
• 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
• 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 , stdlib_hack.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_Base10Log() : extra.h , extraUtilMisc.c
• Extra_Base2Log() : extra.h , extraUtilMisc.c
• Extra_Base2LogDouble() : extra.h , extraUtilMisc.c
• Extra_bddBitsToCube() : extra.h , extraBddMisc.c
• Extra_bddCheckUnateNaive() : extra.h , extraBddUnate.c
• Extra_bddCheckVarsSymmetric() : extra.h , extraBddSymm.c
• Extra_bddCheckVarsSymmetricNaive() : extra.h , extraBddSymm.c
• Extra_bddComputeRangeCube() : extra.h , extraBddMisc.c
• Extra_bddCreateAnd() : extra.h , extraBddMisc.c
• Extra_bddCreateExor() : extra.h , extraBddMisc.c
• Extra_bddCreateOr() : extra.h , extraBddMisc.c
• Extra_bddEncodingBinary() : extra.h , extraBddCas.c
• Extra_bddEncodingNonStrict() : extra.h , extraBddCas.c
• Extra_bddFindOneCube() : extra.h , extraBddMisc.c
• Extra_bddGetOneCube() : extra.h , extraBddMisc.c
• Extra_bddIsVar() : extra.h , extraBddMisc.c
• Extra_bddMove() : extra.h , extraBddMisc.c
• Extra_bddNodePathsUnderCut() : extra.h , extraBddCas.c
• Extra_bddNodePathsUnderCutArray() : extra.h , extraBddCas.c
• Extra_bddNodePointedByCube() : dsdLocal.c
• Extra_bddPermuteArray() : extra.h , extraBddMisc.c
• Extra_bddPrint() : extra.h , extraBddMisc.c
• Extra_bddReduceVarSet() : extra.h , extraBddSymm.c
• Extra_bddRemapUp() : extra.h , extraBddMisc.c
• Extra_bddReorderTest() : reo.h , reoTest.c
• Extra_bddSpaceCanonVars() : extra.h , extraBddAuto.c
• Extra_bddSpaceEquations() : extra.h , extraBddAuto.c
• Extra_bddSpaceEquationsNeg() : extra.h , extraBddAuto.c
• Extra_bddSpaceEquationsPos() : extra.h , extraBddAuto.c
• Extra_bddSpaceExorGates() : extra.h , extraBddAuto.c
• Extra_bddSpaceFromFunction() : extra.h , extraBddAuto.c
• Extra_bddSpaceFromFunctionFast() : extra.h , extraBddAuto.c
• Extra_bddSpaceFromFunctionNeg() : extra.h , extraBddAuto.c
• Extra_bddSpaceFromFunctionPos() : extra.h , extraBddAuto.c
• Extra_bddSpaceFromMatrixNeg() : extra.h , extraBddAuto.c
• Extra_bddSpaceFromMatrixPos() : extra.h , extraBddAuto.c
• Extra_bddSpaceReduce() : extra.h , extraBddAuto.c
• Extra_bddSuppCheckContainment() : extra.h , extraBddMisc.c
• Extra_bddSuppContainVar() : extra.h , extraBddMisc.c
• Extra_bddSuppDifferentVars() : extra.h , extraBddMisc.c
• Extra_bddSupportNegativeCube() : extra.h , extraBddMisc.c
• Extra_bddSuppOverlapping() : extra.h , extraBddMisc.c
• Extra_bddSuppSize() : extra.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_CollectNodes() : extraBddCas.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_DeriveRadixCode() : extra.h , extraUtilMisc.c
• Extra_dsdRemap() : dsdLocal.c
• Extra_Factorial() : extra.h , extraUtilMisc.c
• Extra_FileGetSimilarName() : extra.h , extraUtilFile.c
• Extra_FileNameAppend() : extra.h , extraUtilFile.c
• Extra_FileNameExtension() : extra.h , extraUtilFile.c
• Extra_FileNameGeneric() : extra.h , extraUtilFile.c
• Extra_FileRead() : 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() : extraUtilReader.c , extra.h
• 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_Float2Int() : extra.h
• Extra_GetSoftDataLimit() : extra.h , extraUtilUtil.c , util_hack.h
• Extra_Int2Float() : extra.h
• Extra_MmFixedEntryFetch() : extra.h , extraUtilMemory.c
• Extra_MmFixedEntryRecycle() : extra.h , extraUtilMemory.c
• Extra_MmFixedPrint() : extraUtilMemory.c
• Extra_MmFixedReadMaxEntriesUsed() : extra.h , extraUtilMemory.c
• Extra_MmFixedReadMemUsage() : extra.h , extraUtilMemory.c
• Extra_MmFixedRestart() : extra.h , extraUtilMemory.c
• Extra_MmFixedStart() : extra.h , extraUtilMemory.c
• Extra_MmFixedStop() : extra.h , extraUtilMemory.c
• Extra_MmFlexEntryFetch() : extra.h , extraUtilMemory.c
• Extra_MmFlexPrint() : extra.h , extraUtilMemory.c
• Extra_MmFlexReadMemUsage() : extra.h , extraUtilMemory.c
• Extra_MmFlexStart() : extra.h , extraUtilMemory.c
• Extra_MmFlexStop() : extra.h , extraUtilMemory.c
• Extra_MmStepEntryFetch() : extra.h , extraUtilMemory.c
• Extra_MmStepEntryRecycle() : extra.h , extraUtilMemory.c
• Extra_MmStepReadMemUsage() : extra.h , extraUtilMemory.c
• Extra_MmStepStart() : extra.h , extraUtilMemory.c
• Extra_MmStepStop() : extra.h , extraUtilMemory.c
• Extra_NumCombinations() : extra.h , extraUtilMisc.c
• Extra_Permutations() : extra.h , extraUtilMisc.c
• Extra_Permutations_rec() : extraUtilMisc.c
• Extra_Power2() : extraUtilMisc.c , extra.h
• Extra_Power3() : extra.h , extraUtilMisc.c
• Extra_PrintBinary() : extraUtilFile.c , extra.h
• Extra_PrintBinary_() : pr.c
• Extra_PrintBinary__() : satInter.c
• Extra_PrintHex() : extraUtilFile.c , extra.h
• Extra_PrintHexadecimal() : extra.h , extraUtilFile.c
• Extra_PrintHexadecimalString() : extra.h , extraUtilFile.c
• Extra_PrintKMap() : extra.h , extraBddKmap.c
• Extra_PrintKMapRelation() : extraBddKmap.c , extra.h
• Extra_PrintSymbols() : extra.h , extraUtilFile.c
• Extra_ProfileWidth() : extraBddCas.c , extra.h
• 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() : extra.h , extraUtilProgress.c
• Extra_ReadBinary() : extra.h , extraUtilFile.c
• Extra_ReadHexadecimal() : extraUtilFile.c , extra.h
• Extra_Reorder() : reo.h , reoApi.c
• Extra_ReorderArray() : reoApi.c , reo.h
• Extra_ReorderCudd() : reo.h , reoTest.c
• Extra_ReorderInit() : reoApi.c , reo.h
• Extra_ReorderQuit() : reo.h , reoApi.c
• Extra_ReorderSetIterations() : reo.h , reoApi.c
• Extra_ReorderSetMinimizationType() : reo.h , reoApi.c
• Extra_ReorderSetRemapping() : reoApi.c , reo.h
• Extra_ReorderSetVerbosity() : reo.h , reoApi.c
• Extra_ReorderSetVerification() : reoApi.c , reo.h
• Extra_ReorderTest() : reo.h , reoTest.c
• Extra_ReorderTestArray() : reoTest.c
• Extra_StopManager() : extra.h , extraBddMisc.c
• Extra_StringAppend() : extra.h , extraUtilFile.c
• Extra_SupportArray() : extra.h , extraBddMisc.c
• Extra_SymmPairsAllocate() : extra.h , extraBddSymm.c
• Extra_SymmPairsCompute() : extra.h , extraBddSymm.c
• Extra_SymmPairsComputeNaive() : extra.h , extraBddSymm.c
• Extra_SymmPairsCreateFromZdd() : extra.h , extraBddSymm.c
• Extra_SymmPairsDissolve() : extra.h , extraBddSymm.c
• Extra_SymmPairsPrint() : extra.h , extraBddSymm.c
• Extra_TimeStamp() : extra.h , extraUtilFile.c
• Extra_TransferLevelByLevel() : extra.h , extraBddMisc.c
• Extra_TransferPermute() : extra.h , extraBddMisc.c
• Extra_Truth3VarN() : extraUtilMisc.c
• Extra_Truth4VarN() : extra.h , extraUtilMisc.c
• Extra_Truth4VarNPN() : extra.h , extraUtilMisc.c
• Extra_TruthAnd() : extra.h
• Extra_TruthAndPhase() : extra.h
• Extra_TruthCanonFastN() : extra.h , extraUtilCanon.c
• Extra_TruthCanonN() : extra.h , extraUtilMisc.c
• Extra_TruthCanonN_rec() : extraUtilCanon.c
• Extra_TruthCanonNN() : extra.h , extraUtilMisc.c
• Extra_TruthCanonNP() : extraUtilMisc.c , extra.h
• Extra_TruthCanonNPN() : extra.h , extraUtilMisc.c
• Extra_TruthCanonP() : extraUtilMisc.c , extra.h
• Extra_TruthChangePhase() : extraUtilTruth.c , extra.h
• 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() : extra.h , extraUtilMisc.c
• Extra_TruthExpandGeneratePermTable() : extraUtilMisc.c
• Extra_TruthFill() : extra.h
• Extra_TruthForall() : extra.h , extraUtilTruth.c
• Extra_TruthHasBit() : extra.h
• Extra_TruthHash() : extraUtilTruth.c , extra.h
• Extra_TruthIsConst0() : extra.h
• Extra_TruthIsConst1() : extra.h
• Extra_TruthIsEqual() : extra.h
• Extra_TruthIsImply() : extra.h
• Extra_TruthIsImplyWords() : ivyCutTrav.c
• Extra_TruthMinCofSuppOverlap() : extra.h , extraUtilTruth.c
• Extra_TruthMux() : extra.h , extraUtilTruth.c
• Extra_TruthNand() : extra.h
• Extra_TruthNot() : extra.h
• Extra_TruthOr() : extra.h
• Extra_TruthOrWords() : ivyCutTrav.c
• Extra_TruthPerm43() : extra.h , extraUtilMisc.c
• Extra_TruthPerm4One() : extra.h , extraUtilMisc.c
• Extra_TruthPerm53() : extraUtilMisc.c , extra.h
• Extra_TruthPerm54() : extra.h , extraUtilMisc.c
• Extra_TruthPerm5One() : extra.h , extraUtilMisc.c
• Extra_TruthPerm63() : extraUtilMisc.c
• Extra_TruthPerm6One() : extra.h , extraUtilMisc.c
• Extra_TruthPermute() : extra.h , extraUtilMisc.c
• Extra_TruthPermute_int() : extraUtilMisc.c
• Extra_TruthPolarize() : extra.h , extraUtilMisc.c
• Extra_Truths8() : extraUtilMisc.c
• Extra_TruthSemiCanonicize() : extraUtilTruth.c , extra.h
• Extra_TruthSetBit() : extra.h
• Extra_TruthSharp() : extra.h
• Extra_TruthShrink() : extra.h , extraUtilTruth.c
• Extra_TruthStretch() : extraUtilTruth.c , extra.h
• Extra_TruthSupport() : extraUtilTruth.c , extra.h
• Extra_TruthSupportSize() : extra.h , extraUtilTruth.c
• Extra_TruthSwapAdjacentVars() : extraUtilTruth.c , extra.h
• Extra_TruthSwapAdjacentVars2() : extraUtilTruth.c
• Extra_TruthVarInSupport() : extra.h , extraUtilTruth.c
• Extra_TruthVarsAntiSymm() : extraUtilTruth.c
• Extra_TruthVarsSymm() : extraUtilTruth.c
• Extra_TruthWordNum() : extra.h
• Extra_TruthXorBit() : extra.h
• Extra_UnateComputeFast() : extra.h , extraBddUnate.c
• Extra_UnateComputeSlow() : extra.h , extraBddUnate.c
• Extra_UnateInfoAllocate() : extra.h , extraBddUnate.c
• Extra_UnateInfoCreateFromZdd() : extraBddUnate.c , extra.h
• Extra_UnateInfoDissolve() : extra.h , extraBddUnate.c
• Extra_UnateInfoPrint() : extra.h , extraBddUnate.c
• Extra_UtilCheckFile() : extraUtilUtil.c
• Extra_UtilFileSearch() : util_hack.h , extraUtilUtil.c , extra.h
• Extra_UtilGetopt() : extraUtilUtil.c , extra.h , util_hack.h
• Extra_UtilGetoptReset() : extra.h , extraUtilUtil.c , util_hack.h
• Extra_UtilMMout_Of_Memory() : extraUtilUtil.c
• Extra_UtilPrintTime() : util_hack.h , extraUtilUtil.c , extra.h
• Extra_UtilStrsav() : util_hack.h , extraUtilUtil.c , extra.h
• Extra_UtilTildeExpand() : extra.h , extraUtilUtil.c , util_hack.h
• Extra_VectorSupportArray() : extraBddMisc.c , extra.h
• Extra_WordCountOnes() : extra.h
• Extra_zddGetSingletons() : extraBddSymm.c , extra.h
• Extra_zddGetSingletonsBoth() : extraBddUnate.c , extra.h
• Extra_zddGetSymmetricVars() : extraBddSymm.c , extra.h
• Extra_zddLitCountComb() : extraBddAuto.c
• Extra_zddPrimes() : extraBddMisc.c , extra.h
• Extra_zddSelectOneSubset() : extraBddSymm.c , extra.h
• Extra_zddSymmPairsCompute() : extra.h , extraBddSymm.c
• Extra_zddTuplesFromBdd() : extra.h , extraBddSymm.c
• Extra_zddUnateInfoCompute() : extra.h , extraBddUnate.c
• extraBddCheckVarsSymmetric() : extra.h , extraBddSymm.c
• extraBddMove() : extraBddMisc.c , extra.h
• extraBddReduceVarSet() : extraBddSymm.c , extra.h
• extraBddSpaceCanonVars() : extra.h , extraBddAuto.c
• extraBddSpaceEquationsNeg() : extra.h , extraBddAuto.c
• extraBddSpaceEquationsPos() : extraBddAuto.c , extra.h
• extraBddSpaceFromFunction() : extra.h , extraBddAuto.c
• extraBddSpaceFromFunctionNeg() : extra.h , extraBddAuto.c
• extraBddSpaceFromFunctionPos() : extra.h , extraBddAuto.c
• extraBddSpaceFromMatrixNeg() : extraBddAuto.c , extra.h
• extraBddSpaceFromMatrixPos() : extraBddAuto.c , extra.h
• extraCollectNodes() : extraBddCas.c
• extraComposeCover() : extraBddMisc.c
• extraDecomposeCover() : extra.h , extraBddMisc.c
• extraProfileUpdateTopLevel() : extraBddCas.c
• extraTransferPermute() : extraBddMisc.c
• extraTransferPermuteRecur() : extraBddMisc.c
• extraZddGetSingletons() : extra.h , extraBddSymm.c
• extraZddGetSingletonsBoth() : extra.h , extraBddUnate.c
• extraZddGetSymmetricVars() : extra.h , extraBddSymm.c
• extraZddPrimes() : extraBddMisc.c
• extraZddSelectOneSubset() : extraBddSymm.c , extra.h
• extraZddSymmPairsCompute() : extra.h , extraBddSymm.c
• extraZddTuplesFromBdd() : extra.h , extraBddSymm.c
• extraZddUnateInfoCompute() : extraBddUnate.c , extra.h