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

- e -

• eat_pair() : abcSaucy.c
• echo_comments : espresso.h , globals.c
• echo_unknown_commands : espresso.h , globals.c
• elim_lowering() : espresso.h , expand.c
• else : sparse_int.h
• Emb_Dat_t : giaEmbed.c
• Emb_DumpGraphIntoFile() : giaEmbed.c
• Emb_Man_t : 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_ManForEachNode : giaEmbed.c
• Emb_ManForEachObj : giaEmbed.c
• Emb_ManForEachObjVec : 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_Obj_t : giaEmbed.c
• Emb_ObjAddFanin() : giaEmbed.c
• Emb_ObjFanin() : giaEmbed.c
• Emb_ObjFaninNum() : giaEmbed.c
• Emb_ObjFanout() : giaEmbed.c
• Emb_ObjFanoutNum() : giaEmbed.c
• Emb_ObjForEachFanin : giaEmbed.c
• Emb_ObjForEachFanout : 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
• Emb_Par_t : gia.h
• empty : cuddZddLin.c , cuddZddReord.c , cuddZddSymm.c
• emptyClauseSet() : cuddEssent.c
• END_BLOCK : trees.c
• ENOUGH : inftrees.h
• ENOUGH_DISTS : inftrees.h
• ENOUGH_LENS : inftrees.h
• entry : cuddGroup.c , cuddLinear.c , cuddReorder.c , cuddSymmetry.c , cuddZddGroup.c
• Eolp : cuddEssent.c
• Eolv : cuddEssent.c
• 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.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.h , epd.c
• 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
• 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
• EpType : epd.h
• eqn_output() : cvrout.c , espresso.h
• EQNTOTT_type : espresso.h
• equal : espresso.h
• EQUAL : st.c , stmm.c , deflate.c
• equalp() : cuddEssent.c
• ERR_MSG : zutil.h
• ERR_RETURN : zutil.h
• esp_opt_table : misc/espresso/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
• EVENTUALLY : ltl_parser.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
• EXLEN : inflate.h
• Exp_And() : exp.h
• Exp_Const0() : exp.h
• EXP_CONST0 : exp.h
• Exp_Const1() : 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() : 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 : avl.h , st.h , stmm.h
• EXTRA : inflate.h
• 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_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_blbits : trees.c
• Extra_BubbleSort() : extra.h , extraUtilMisc.c
• EXTRA_BUFFER_SIZE : extraUtilReader.c
• Extra_BuildTreeNode() : extraBddImage.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_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_dbits : trees.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() : extraUtilFile.c , extra.h
• Extra_FileRead2() : extra.h , extraUtilFile.c
• Extra_FileReadContents() : extraUtilFile.c , extra.h
• Extra_FileReadContents2() : 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_FileSort() : extraUtilFile.c
• Extra_FindBestPartitions() : extraBddImage.c
• Extra_FindBestVariable() : extraBddImage.c
• Extra_GetSoftDataLimit() : extra.h , extraUtilUtil.c , util_hack.h
• Extra_GreyCodeSchedule() : extra.h , extraUtilMisc.c
• Extra_ImageNode_t : extraBddImage.c
• Extra_ImagePart_t : extraBddImage.c
• Extra_ImageTree2_t : extraBdd.h
• Extra_ImageTree_t : extraBdd.h
• Extra_ImageVar_t : extraBddImage.c
• extra_lbits : trees.c
• Extra_MemTest() : extraUtilUtil.c
• Extra_MergeTopNodes() : extraBddImage.c
• 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() : extraUtilMemory.c , extra.h
• Extra_MmFixedRestart() : extra.h , extraUtilMemory.c
• Extra_MmFixedStart() : extraUtilMemory.c , extra.h
• Extra_MmFixedStop() : extra.h , extraUtilMemory.c
• Extra_MmFlex_t : extra.h
• Extra_MmFlexEntryFetch() : extra.h , extraUtilMemory.c
• Extra_MmFlexPrint() : extra.h , extraUtilMemory.c
• Extra_MmFlexReadMemUsage() : extraUtilMemory.c , extra.h
• 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_NpnRead() : extraUtilMisc.c
• Extra_NpnTest() : extraUtilMisc.c
• Extra_NpnTest1() : extraUtilMisc.c
• Extra_NpnTest2() : extraUtilMisc.c
• Extra_NumCombinations() : extra.h , extraUtilMisc.c
• EXTRA_OFFSET_SIZE : extraUtilReader.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() : ifDec07.c , ifDec08.c , ifDec16.c , extraUtilFile.c , extraUtilSupp.c , extra.h
• 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() : reo.h , reoApi.c
• Extra_ReorderArray() : reo.h , reoApi.c
• Extra_ReorderCudd() : reoTest.c , reo.h
• Extra_ReorderInit() : reo.h , reoApi.c
• Extra_ReorderQuit() : reo.h , reoApi.c
• Extra_ReorderSetIterations() : reoApi.c , reo.h
• Extra_ReorderSetMinimizationType() : reo.h , reoApi.c
• Extra_ReorderSetRemapping() : reo.h , reoApi.c
• Extra_ReorderSetVerbosity() : reoApi.c , reo.h
• Extra_ReorderSetVerification() : reoApi.c , reo.h
• Extra_ReorderTest() : reo.h , reoTest.c
• Extra_ReorderTestArray() : reoTest.c
• EXTRA_RLIMIT_DATA_DEFAULT : extraUtilUtil.c
• Extra_ShuffleTest() : reoShuffle.c
• EXTRA_STATE : deflate.h
• Extra_StopManager() : extraBddMisc.c , extraBdd.h
• Extra_StringAppend() : extra.h , extraUtilFile.c
• Extra_StringClean() : extraUtilFile.c , extra.h
• Extra_StringCompare() : extraUtilFile.c
• Extra_SupportArray() : extraBdd.h , extraBddMisc.c
• Extra_SymmInfo_t : 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() : extraBddMisc.c , extraBdd.h
• 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 , mpmPre.c , extraUtilMisc.c
• Extra_Truth6MinimumExact() : extraUtilMisc.c , extra.h
• Extra_Truth6MinimumHeuristic() : extraUtilMisc.c , extra.h
• 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 , mpmPre.c , 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() : extraUtilMisc.c , extra.h
• 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() : 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() : 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() : extra.h , extraUtilMisc.c
• Extra_TruthPerm4One() : extra.h , extraUtilMisc.c
• Extra_TruthPerm53() : extra.h , extraUtilMisc.c
• Extra_TruthPerm54() : extra.h , extraUtilMisc.c
• Extra_TruthPerm5One() : extra.h , extraUtilMisc.c
• 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() : extraUtilTruth.c , extra.h
• Extra_TruthSupport() : extra.h , extraUtilTruth.c
• Extra_TruthSupportSize() : extra.h , extraUtilTruth.c
• 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 , nwkBidec.c
• Extra_TruthXorBit() : extra.h
• Extra_UnateComputeFast() : extraBddUnate.c , extraBdd.h
• Extra_UnateComputeSlow() : extraBdd.h , extraBddUnate.c
• Extra_UnateInfo_t : extraBdd.h
• Extra_UnateInfoAllocate() : extraBddUnate.c , extraBdd.h
• Extra_UnateInfoCreateFromZdd() : extraBdd.h , extraBddUnate.c
• Extra_UnateInfoDissolve() : extraBddUnate.c , extraBdd.h
• Extra_UnateInfoPrint() : extraBdd.h , extraBddUnate.c
• Extra_UnateVar_t : extraBdd.h
• Extra_UtilCheckFile() : extraUtilUtil.c
• Extra_UtilFileSearch() : extra.h , extraUtilUtil.c
• Extra_UtilGetopt() : extraUtilUtil.c , extra.h
• Extra_UtilGetoptReset() : extra.h , extraUtilUtil.c
• Extra_UtilMMout_Of_Memory() : extraUtilUtil.c
• Extra_UtilMMoutOfMemory : util_hack.h , extraUtilUtil.c , extra.h
• Extra_UtilPrintTime() : extraUtilUtil.c , extra.h
• Extra_UtilStrsav() : extraUtilUtil.c , extra.h
• Extra_UtilTildeExpand() : extraUtilUtil.c , extra.h
• Extra_VectorSupportArray() : extraBddMisc.c , extraBdd.h
• Extra_WordCountOnes() : extra.h
• Extra_zddCreateSubsets() : extraZddTrunc.c
• Extra_zddGetSingletons() : extraBdd.h , extraBddSymm.c
• Extra_zddGetSingletonsBoth() : extraBddUnate.c , extraBdd.h
• Extra_zddGetSymmetricVars() : extraBdd.h , extraBddSymm.c
• Extra_zddLitCountComb() : extraBddAuto.c
• Extra_zddPrimes() : extraBdd.h , extraBddMisc.c
• Extra_zddPrintSubsets() : extraZddTrunc.c
• Extra_zddSelectOneSubset() : extraBddSymm.c , extraBdd.h
• Extra_zddSymmPairsCompute() : extraBdd.h , extraBddSymm.c
• Extra_zddTruncate() : extraZddTrunc.c
• Extra_zddTruncate_rec() : extraZddTrunc.c
• Extra_zddTruncateTest() : extraZddTrunc.c
• Extra_zddTuplesFromBdd() : extraBdd.h , extraBddSymm.c
• Extra_zddUnateInfoCompute() : extraBddUnate.c , extraBdd.h
• Extra_zddVariable() : extraZddTrunc.c
• extraBddAndPermute() : extraBddMisc.c
• extraBddChangePolarity() : extraBdd.h , extraBddMisc.c
• extraBddCheckVarsSymmetric() : extraBdd.h , extraBddSymm.c
• extraBddMove() : extraBdd.h , extraBddMisc.c
• extraBddReduceVarSet() : extraBdd.h , extraBddSymm.c
• extraBddSpaceCanonVars() : extraBdd.h , extraBddAuto.c
• extraBddSpaceEquationsNeg() : extraBddAuto.c , extraBdd.h
• extraBddSpaceEquationsPos() : extraBdd.h , extraBddAuto.c
• extraBddSpaceFromFunction() : extraBddAuto.c , extraBdd.h
• extraBddSpaceFromFunctionNeg() : extraBddAuto.c , extraBdd.h
• extraBddSpaceFromFunctionPos() : extraBddAuto.c , extraBdd.h
• extraBddSpaceFromMatrixNeg() : extraBdd.h , extraBddAuto.c
• extraBddSpaceFromMatrixPos() : extraBddAuto.c , extraBdd.h
• extraCollectNodes() : extraBddCas.c
• extraComposeCover() : extraBddMisc.c
• extraDecomposeCover() : extraBdd.h , extraBddMisc.c
• extraProfileUpdateTopLevel() : extraBddCas.c
• extraTransferPermute() : extraBddMisc.c
• extraTransferPermuteRecur() : extraBddMisc.c
• extraTransferPermuteRecurTime() : extraBddTime.c
• extraTransferPermuteTime() : extraBddTime.c
• extraZddGetSingletons() : extraBdd.h , extraBddSymm.c
• extraZddGetSingletonsBoth() : extraBddUnate.c , extraBdd.h
• extraZddGetSymmetricVars() : extraBdd.h , extraBddSymm.c
• extraZddPrimes() : extraBddMisc.c
• extraZddSelectOneSubset() : extraBddSymm.c , extraBdd.h
• extraZddSymmPairsCompute() : extraBdd.h , extraBddSymm.c
• extraZddTuplesFromBdd() : extraBddSymm.c , extraBdd.h
• extraZddUnateInfoCompute() : extraBdd.h , extraBddUnate.c