Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- e -

• echo_comments : espresso.h , globals.c
• echo_unknown_commands : globals.c , espresso.h
• ecvt() : stdlib_hack.h
• elim_lowering() : espresso.h , expand.c
• empty : cuddZddLin.c , cuddZddReord.c , cuddZddSymm.c
• enqueue() : satSolver.c
• entry : cuddZddGroup.c , cuddGroup.c , cuddLinear.c , cuddReorder.c , cuddSymmetry.c
• environ : stdlib_hack.h
• EPD_EXP_INF : epd.h
• EPD_MAX_BIN : epd.h
• EPD_MAX_DEC : epd.h
• 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.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.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.h , epd.c
• 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
• EpDouble : 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
• EQNTOTT_type : espresso.h
• equal : espresso.h
• EQUAL : st.c , stmm.c
• errno : stdlib_hack.h
• esp_opt_table : main.h
• espresso() : espresso.c , espresso.h
• ESSEN : espresso.h
• essen_cube() : espresso.h , essen.c
• essen_parts() : espresso.h , expand.c
• essen_raising() : espresso.h , expand.c
• ESSEN_TIME : espresso.h
• essential() : espresso.h , essen.c
• EvaluateEncodings_rec() : extraBddCas.c
• EXACT : espresso.h
• exact_minimum_cover() : espresso.h , unate.c
• EXC_PROB : cuddAnneal.c
• EXEC : espresso.h
• EXEC_S : espresso.h
• EXECUTE : espresso.h
• exit() : util_old.h , stdlib_hack.h
• EXIT_FAILURE : stdlib_hack.h
• EXIT_SUCCESS : stdlib_hack.h
• EXPAND : espresso.h
• expand() : espresso.h , expand.c
• EXPAND1 : espresso.h
• expand1() : espresso.h , expand.c
• expand1_gasp() : espresso.h , gasp.c
• expand_gasp() : espresso.h , gasp.c
• EXPAND_TIME : espresso.h
• EXPLICT_LEARNING : csat_apis.h
• explode() : espresso.h , map.c
• EXTERN : cudd.h , util_hack.h
• 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_BitMat_t : extra.h
• 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_BUFFER_SIZE : extraUtilReader.c
• EXTRA_CHAR_CLEAN : extraUtilReader.c
• EXTRA_CHAR_COMMENT : extraUtilReader.c
• EXTRA_CHAR_NORMAL : extraUtilReader.c
• EXTRA_CHAR_STOP : extraUtilReader.c
• Extra_CharType_t : extraUtilReader.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_FileReader_t : extra.h
• 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_Float2Int() : extra.h
• Extra_GetSoftDataLimit() : extra.h , extraUtilUtil.c , util_hack.h
• Extra_Int2Float() : extra.h
• EXTRA_MINIMUM : extraUtilReader.c
• Extra_MmFixed_t : 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_MmFlex_t : extra.h
• Extra_MmFlexEntryFetch() : extraUtilMemory.c , extra.h
• Extra_MmFlexPrint() : extra.h , extraUtilMemory.c
• Extra_MmFlexReadMemUsage() : extra.h , extraUtilMemory.c
• Extra_MmFlexStart() : extra.h , extraUtilMemory.c
• Extra_MmFlexStop() : extraUtilMemory.c , extra.h
• Extra_MmStep_t : extra.h
• 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_OFFSET_SIZE : extraUtilReader.c
• Extra_Permutations() : extraUtilMisc.c , extra.h
• Extra_Permutations_rec() : extraUtilMisc.c
• Extra_Power2() : extra.h , extraUtilMisc.c
• Extra_Power3() : extra.h , extraUtilMisc.c
• Extra_PrintBinary() : extra.h , extraUtilFile.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_PrintKMap() : extra.h , extraBddKmap.c
• Extra_PrintKMapRelation() : extra.h , extraBddKmap.c
• Extra_PrintSymbols() : extra.h , extraUtilFile.c
• Extra_ProfileWidth() : extra.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() : extra.h , extraUtilProgress.c
• Extra_ReadBinary() : extra.h , extraUtilFile.c
• Extra_ReadHexadecimal() : extra.h , extraUtilFile.c
• Extra_Reorder() : reo.h , reoApi.c
• 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_RLIMIT_DATA_DEFAULT : extraUtilUtil.c
• Extra_StopManager() : extra.h , extraBddMisc.c
• Extra_StringAppend() : extra.h , extraUtilFile.c
• Extra_SupportArray() : extra.h , extraBddMisc.c
• Extra_SymmInfo_t : extra.h
• Extra_SymmPairsAllocate() : extraBddSymm.c , extra.h
• 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() : extraUtilFile.c , extra.h
• Extra_TransferLevelByLevel() : extraBddMisc.c , extra.h
• Extra_TransferPermute() : extra.h , extraBddMisc.c
• Extra_Truth3VarN() : extraUtilMisc.c
• Extra_Truth4VarN() : extraUtilMisc.c , extra.h
• Extra_Truth4VarNPN() : extra.h , extraUtilMisc.c
• Extra_TruthAnd() : extra.h
• Extra_TruthAndPhase() : extra.h
• Extra_TruthCanonFastN() : extraUtilCanon.c , extra.h
• 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() : extra.h , extraUtilMisc.c
• Extra_TruthCanonP() : extra.h , extraUtilMisc.c
• Extra_TruthChangePhase() : extra.h , extraUtilTruth.c
• Extra_TruthClear() : extra.h
• Extra_TruthCofactor0() : extraUtilTruth.c , extra.h
• Extra_TruthCofactor1() : extraUtilTruth.c , extra.h
• Extra_TruthCopy() : extra.h
• Extra_TruthCountOnes() : extra.h
• Extra_TruthCountOnesInCofs() : extraUtilTruth.c , extra.h
• Extra_TruthElementary() : extraUtilTruth.c , extra.h
• Extra_TruthExist() : extra.h , extraUtilTruth.c
• Extra_TruthExpand() : extra.h , extraUtilMisc.c
• Extra_TruthExpandGeneratePermTable() : extraUtilMisc.c
• Extra_TruthFill() : extra.h
• Extra_TruthForall() : extraUtilTruth.c , extra.h
• 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() : 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() : extraUtilMisc.c , extra.h
• Extra_TruthPerm53() : extraUtilMisc.c , extra.h
• Extra_TruthPerm54() : extraUtilMisc.c , extra.h
• Extra_TruthPerm5One() : extraUtilMisc.c , extra.h
• Extra_TruthPerm63() : extraUtilMisc.c
• Extra_TruthPerm6One() : extraUtilMisc.c , extra.h
• Extra_TruthPermute() : extraUtilMisc.c , extra.h
• 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() : extraUtilTruth.c , extra.h
• Extra_TruthStretch() : extraUtilTruth.c , extra.h
• Extra_TruthSupport() : extra.h , extraUtilTruth.c
• Extra_TruthSupportSize() : extraUtilTruth.c , extra.h
• Extra_TruthSwapAdjacentVars() : extra.h , extraUtilTruth.c
• 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() : extraBddUnate.c , extra.h
• Extra_UnateComputeSlow() : extra.h , extraBddUnate.c
• Extra_UnateInfo_t : extra.h
• Extra_UnateInfoAllocate() : extraBddUnate.c , extra.h
• Extra_UnateInfoCreateFromZdd() : extraBddUnate.c , extra.h
• Extra_UnateInfoDissolve() : extraBddUnate.c , extra.h
• Extra_UnateInfoPrint() : extra.h , extraBddUnate.c
• Extra_UnateVar_t : extra.h
• Extra_UtilCheckFile() : extraUtilUtil.c
• Extra_UtilFileSearch() : extra.h , util_hack.h , extraUtilUtil.c
• Extra_UtilGetopt() : extraUtilUtil.c , util_hack.h , extra.h
• Extra_UtilGetoptReset() : extra.h , extraUtilUtil.c , util_hack.h
• Extra_UtilMMout_Of_Memory() : extraUtilUtil.c
• Extra_UtilMMoutOfMemory : extra.h , extraUtilUtil.c
• Extra_UtilPrintTime() : util_hack.h , extraUtilUtil.c , extra.h
• Extra_UtilStrsav() : extra.h , util_hack.h , extraUtilUtil.c
• Extra_UtilTildeExpand() : util_hack.h , extra.h , extraUtilUtil.c
• Extra_VectorSupportArray() : extra.h , extraBddMisc.c
• Extra_WordCountOnes() : extra.h
• Extra_zddGetSingletons() : extra.h , extraBddSymm.c
• Extra_zddGetSingletonsBoth() : extraBddUnate.c , extra.h
• Extra_zddGetSymmetricVars() : extra.h , extraBddSymm.c
• Extra_zddLitCountComb() : extraBddAuto.c
• Extra_zddPrimes() : extraBddMisc.c , extra.h
• Extra_zddSelectOneSubset() : extra.h , extraBddSymm.c
• Extra_zddSymmPairsCompute() : extra.h , extraBddSymm.c
• Extra_zddTuplesFromBdd() : extra.h , extraBddSymm.c
• Extra_zddUnateInfoCompute() : extra.h , extraBddUnate.c
• extraBddCheckVarsSymmetric() : extraBddSymm.c , extra.h
• extraBddMove() : extra.h , extraBddMisc.c
• extraBddReduceVarSet() : extraBddSymm.c , extra.h
• extraBddSpaceCanonVars() : extra.h , extraBddAuto.c
• extraBddSpaceEquationsNeg() : extraBddAuto.c , extra.h
• extraBddSpaceEquationsPos() : extraBddAuto.c , extra.h
• extraBddSpaceFromFunction() : extraBddAuto.c , extra.h
• extraBddSpaceFromFunctionNeg() : extra.h , extraBddAuto.c
• extraBddSpaceFromFunctionPos() : extra.h , extraBddAuto.c
• extraBddSpaceFromMatrixNeg() : extra.h , extraBddAuto.c
• extraBddSpaceFromMatrixPos() : extra.h , extraBddAuto.c
• extraCollectNodes() : extraBddCas.c
• extraComposeCover() : extraBddMisc.c
• extraDecomposeCover() : extraBddMisc.c , extra.h
• extraProfileUpdateTopLevel() : extraBddCas.c
• extraTransferPermute() : extraBddMisc.c
• extraTransferPermuteRecur() : extraBddMisc.c
• extraZddGetSingletons() : extra.h , extraBddSymm.c
• extraZddGetSingletonsBoth() : extraBddUnate.c , extra.h
• extraZddGetSymmetricVars() : extraBddSymm.c , extra.h
• extraZddPrimes() : extraBddMisc.c
• extraZddSelectOneSubset() : extra.h , extraBddSymm.c
• extraZddSymmPairsCompute() : extraBddSymm.c , extra.h
• extraZddTuplesFromBdd() : extra.h , extraBddSymm.c
• extraZddUnateInfoCompute() : extraBddUnate.c , extra.h