- f -

• fatal() : cvrmisc.c , espresso.h
• fcube_is_covered() : irred.c
• fcvt() : stdlib_hack.h
• feasibly_covered() : espresso.h , expand.c
• find_all_minimal_covers_petrick() : espresso.h
• find_all_primes() : espresso.h , expand.c
• find_average_fitness() : cuddGenetic.c
• find_best() : cuddGenetic.c
• find_best_cost() : espresso.h , pair.c
• find_covers() : espresso.h
• find_dc_inputs() : espresso.h
• find_equiv_outputs() : equiv.c , espresso.h
• find_inputs() : espresso.h , hack.c
• find_optimal_pairing() : espresso.h , pair.c
• find_pairing_cost() : espresso.h , pair.c
• find_phase() : espresso.h , opo.c
• fixVarTree() : cuddAPI.c
• fmt_cost() : cvrmisc.c , espresso.h
• fmt_cube() : cvrout.c , espresso.h
• fmt_expanded_cube() : espresso.h
• force_lower() : espresso.h , setc.c
• foreach_output_function() : cvrm.c , espresso.h
• form_bitvector() : espresso.h , hack.c
• form_cover_table() : espresso.h
• Fpga_CollectNodeTfo() : fpga.h , fpgaUtils.c
• Fpga_CollectNodeTfo_rec() : fpgaUtils.c
• Fpga_CommandPrintLibrary() : fpga.c
• Fpga_CommandReadLibrary() : fpga.c
• Fpga_CompareNodesByLevelDecreasing() : fpgaUtils.c
• Fpga_CompareNodesByLevelIncreasing() : fpgaUtils.c
• Fpga_CountLevels() : fpgaInt.h
• Fpga_CutAlloc() : fpgaCut.c , fpgaCutUtils.c , fpgaInt.h
• Fpga_CutArray2List() : fpgaCut.c
• Fpga_CutBelongsToList() : fpgaCut.c
• Fpga_CutCompute() : fpgaCut.c
• Fpga_CutCountAll() : fpgaCut.c , fpgaInt.h
• Fpga_CutCreateFromNode() : fpga.h
• Fpga_CutCreateSimple() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutDeref() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutDerefSwitch() : fpgaInt.h , fpgaSwitch.c
• Fpga_CutDup() : fpgaInt.h , fpgaCutUtils.c
• Fpga_CutFilter() : fpgaCut.c
• Fpga_CutFree() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutGetAreaDerefed() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutGetAreaFlow() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutGetAreaRefed() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutGetParameters() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutGetRootArea() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutGetSwitchDerefed() : fpgaInt.h , fpgaSwitch.c
• Fpga_CutInsertFanouts() : fpgaInt.h
• Fpga_CutList2Array() : fpgaCut.c
• Fpga_CutListAppend() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutListCount() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutListPrint() : fpgaCut.c
• Fpga_CutListPrint2() : fpgaCut.c
• Fpga_CutListRecycle() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutMergeLists() : fpgaCut.c
• Fpga_CutMergeLists2() : fpgaCut.c
• Fpga_CutMergeTwo() : fpgaCut.c
• Fpga_CutPrint() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutPrint_() : fpgaCut.c
• Fpga_CutReadLeaves() : fpga.h , fpgaCreate.c
• Fpga_CutReadLeavesNum() : fpga.h , fpgaCreate.c
• Fpga_CutRef() : fpgaCutUtils.c , fpgaInt.h
• Fpga_CutRefSwitch() : fpgaInt.h , fpgaSwitch.c
• Fpga_CutRemoveFanouts() : fpgaInt.h
• Fpga_CutsCleanSign() : fpga.h , fpgaCut.c
• Fpga_CutSortCuts() : fpgaCut.c
• Fpga_CutSortCutsCompare() : fpgaCut.c
• Fpga_CutTableConsider() : fpgaCut.c
• Fpga_CutTableHash() : fpgaCut.c
• Fpga_CutTableLookup() : fpgaCut.c
• Fpga_CutTableRestart() : fpgaCut.c
• Fpga_CutTableStart() : fpgaCut.c
• Fpga_CutTableStop() : fpgaCut.c
• Fpga_CutUnionLists() : fpgaCut.c
• Fpga_CutVolume() : fpga.h , fpgaTruth.c
• Fpga_CutVolume_rec() : fpgaTruth.c
• Fpga_DfsLim() : fpgaInt.h , fpgaUtils.c
• Fpga_DfsLim_rec() : fpgaUtils.c
• Fpga_End() : mainInit.c , fpga.c
• Fpga_FindBestNode() : fpgaMatch.c
• Fpga_FloatEqual() : fpgaInt.h
• Fpga_FloatLessThan() : fpgaInt.h
• Fpga_FloatMoreThan() : fpgaInt.h
• Fpga_HashKey2() : fpgaCreate.c
• Fpga_Init() : mainInit.c , fpga.c
• Fpga_LibReadLutMax() : fpga.h , fpgaCreate.c
• Fpga_LutLibCreate() : fpgaInt.h , fpgaLib.c
• Fpga_LutLibDelaysAreDiscrete() : fpgaInt.h , fpgaLib.c
• Fpga_LutLibDup() : fpga.h , fpgaLib.c
• Fpga_LutLibFree() : fpgaInt.h , fpgaLib.c
• Fpga_LutLibPrint() : fpgaInt.h , fpgaLib.c
• Fpga_LutLibReadLutArea() : fpga.h , fpgaLib.c
• Fpga_LutLibReadLutAreas() : fpga.h , fpgaLib.c
• Fpga_LutLibReadLutDelay() : fpga.h
• Fpga_LutLibReadLutDelays() : fpga.h
• Fpga_LutLibReadVarMax() : fpga.h , fpgaLib.c
• Fpga_ManCheckConsistency() : fpga.h , fpgaUtils.c
• Fpga_ManCleanData0() : fpga.h , fpgaUtils.c
• Fpga_ManCreate() : fpga.h , fpgaCreate.c
• Fpga_ManFree() : fpga.h , fpgaCreate.c
• Fpga_ManPrintTimeStats() : fpga.h , fpgaCreate.c
• Fpga_ManReadConst1() : fpga.h , fpgaCreate.c
• Fpga_ManReadFanoutViolations() : fpga.h
• Fpga_ManReadInputArrivals() : fpga.h , fpgaCreate.c
• Fpga_ManReadInputNum() : fpga.h , fpgaCreate.c
• Fpga_ManReadInputs() : fpga.h , fpgaCreate.c
• Fpga_ManReadLutAreas() : fpga.h , fpgaCreate.c
• Fpga_ManReadOutputNum() : fpga.h , fpgaCreate.c
• Fpga_ManReadOutputs() : fpga.h , fpgaCreate.c
• Fpga_ManReadVerbose() : fpga.h , fpgaCreate.c
• Fpga_ManReportChoices() : fpgaInt.h , fpgaUtils.c
• Fpga_ManSetAreaLimit() : fpga.h , fpgaCreate.c
• Fpga_ManSetAreaRecovery() : fpga.h , fpgaCreate.c
• Fpga_ManSetChoiceNodeNum() : fpga.h , fpgaCreate.c
• Fpga_ManSetChoiceNum() : fpga.h , fpgaCreate.c
• Fpga_ManSetDelayLimit() : fpga.h , fpgaCreate.c
• Fpga_ManSetDelayTarget() : fpga.h , fpgaCreate.c
• Fpga_ManSetFanoutViolations() : fpga.h
• Fpga_ManSetInputArrivals() : fpga.h , fpgaCreate.c
• Fpga_ManSetLatchNum() : fpga.h , fpgaCreate.c
• Fpga_ManSetLatchPaths() : fpga.h , fpgaCreate.c
• Fpga_ManSetName() : fpga.h , fpgaCreate.c
• Fpga_ManSetNumIterations() : fpga.h
• Fpga_ManSetObeyFanoutLimits() : fpga.h
• Fpga_ManSetOutputNames() : fpga.h , fpgaCreate.c
• Fpga_ManSetSwitching() : fpga.h , fpgaCreate.c
• Fpga_ManSetTimeLimit() : fpga.h , fpgaCreate.c
• Fpga_ManSetTimeToMap() : fpga.h , fpgaCreate.c
• Fpga_ManSetTimeToNet() : fpga.h , fpgaCreate.c
• Fpga_ManSetTimeTotal() : fpga.h , fpgaCreate.c
• Fpga_ManSetVerbose() : fpga.h , fpgaCreate.c
• Fpga_ManStats() : fpga.h , fpgaCreate.c
• Fpga_Mapping() : fpga.h , fpgaCore.c
• Fpga_MappingArea() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingArea_rec() : fpgaUtils.c
• Fpga_MappingAreaTrav() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingAreaWithoutNode() : fpgaMatch.c
• Fpga_MappingCompareOutputDelay() : fpgaUtils.c
• Fpga_MappingCreatePiCuts() : fpga.h , fpgaCut.c , fpgaInt.h
• Fpga_MappingCuts() : fpgaCut.c , fpgaInt.h
• Fpga_MappingDfs() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingDfs_rec() : fpgaUtils.c
• Fpga_MappingDfsCuts_rec() : fpgaUtils.c
• Fpga_MappingDfsNodes() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingFindLatest() : fpgaUtils.c
• Fpga_MappingGetAreaFlow() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingGetSwitching() : fpgaInt.h , fpgaSwitch.c
• Fpga_MappingLevelize() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingMatches() : fpgaInt.h , fpgaMatch.c
• Fpga_MappingMatchesArea() : fpgaInt.h , fpgaMatch.c
• Fpga_MappingMatchesAreaArray() : fpgaMatch.c
• Fpga_MappingMatchesSwitch() : fpgaInt.h , fpgaMatch.c
• Fpga_MappingMaxLevel() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingOrderCosByLevel() : fpgaUtils.c
• Fpga_MappingPostProcess() : fpgaCore.c
• Fpga_MappingPrintOutputArrivals() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingSetChoiceLevels() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingSetRefsAndArea() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingSetRefsAndArea_rec() : fpgaUtils.c
• Fpga_MappingSetupMask() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingSetupTruthTables() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingSetUsedCuts() : fpga.h , fpgaCutUtils.c
• Fpga_MappingShow() : fpgaInt.h
• Fpga_MappingShowNodes() : fpgaInt.h
• Fpga_MappingSortByLevel() : fpgaInt.h , fpgaUtils.c
• Fpga_MappingUpdateLevel_rec() : fpgaUtils.c
• Fpga_MatchNode() : fpgaMatch.c
• Fpga_MatchNodeArea() : fpgaMatch.c
• Fpga_MatchNodeSwitch() : fpgaMatch.c
• Fpga_NodeAddFaninFanout() : fpgaInt.h
• Fpga_NodeAnd() : fpga.h , fpgaCreate.c
• Fpga_NodeComparePhase() : fpga.h , fpgaCreate.c
• Fpga_NodeCreate() : fpga.h , fpgaCreate.c
• Fpga_NodeExor() : fpga.h , fpgaCreate.c
• Fpga_NodeGetFanoutNum() : fpgaInt.h
• Fpga_NodeIsAnd() : fpga.h , fpgaCreate.c
• Fpga_NodeIsConst() : fpga.h , fpgaCreate.c
• Fpga_NodeIsVar() : fpga.h , fpgaCreate.c
• Fpga_NodeMux() : fpga.h , fpgaCreate.c
• Fpga_NodeOr() : fpga.h , fpgaCreate.c
• Fpga_NodeReadCutBest() : fpga.h , fpgaCreate.c
• Fpga_NodeReadCuts() : fpga.h , fpgaCreate.c
• Fpga_NodeReadData0() : fpga.h , fpgaCreate.c
• Fpga_NodeReadData1() : fpga.h , fpgaCreate.c
• Fpga_NodeReadLevel() : fpga.h , fpgaCreate.c
• Fpga_NodeReadNum() : fpga.h , fpgaCreate.c
• Fpga_NodeReadOne() : fpga.h , fpgaCreate.c
• Fpga_NodeReadRefs() : fpga.h , fpgaCreate.c
• Fpga_NodeReadTwo() : fpga.h , fpgaCreate.c
• Fpga_NodeRemoveFaninFanout() : fpgaInt.h
• Fpga_NodeSetArrival() : fpga.h
• Fpga_NodeSetChoice() : fpga.h , fpgaCreate.c
• Fpga_NodeSetData0() : fpga.h , fpgaCreate.c
• Fpga_NodeSetData1() : fpga.h , fpgaCreate.c
• Fpga_NodeSetLevel() : fpga.h
• Fpga_NodeSetNextE() : fpga.h , fpgaCreate.c
• Fpga_NodeSetRepr() : fpga.h , fpgaCreate.c
• Fpga_NodeSetSwitching() : fpga.h , fpgaCreate.c
• Fpga_NodeVecAlloc() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecClear() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecCompareArrivals() : fpgaVec.c
• Fpga_NodeVecCompareLevels() : fpgaVec.c
• Fpga_NodeVecFree() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecGrow() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecPop() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecPush() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecPushOrder() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecPushUnique() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecReadArray() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecReadEntry() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecReadSize() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecReverse() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecShrink() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecSortByLevel() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecUnion() : fpgaInt.h , fpgaVec.c
• Fpga_NodeVecWriteEntry() : fpgaInt.h , fpgaVec.c
• Fpga_SetSimpleLutLib() : fpga.c , fpga.h
• Fpga_SortNodesByArrivalTimes() : fpgaInt.h , fpgaVec.c
• Fpga_TableCreate() : fpgaCreate.c
• Fpga_TableLookup() : fpgaCreate.c
• Fpga_TableResize() : fpgaCreate.c
• Fpga_TimeComputeArrivalMax() : fpgaInt.h , fpgaTime.c
• Fpga_TimeComputeRequired() : fpgaInt.h , fpgaTime.c
• Fpga_TimeComputeRequiredGlobal() : fpgaInt.h , fpgaTime.c
• Fpga_TimeCutComputeArrival() : fpgaInt.h , fpgaTime.c
• Fpga_TimeCutComputeArrival_rec() : fpgaInt.h , fpgaTime.c
• Fpga_TimePropagateArrival() : fpgaInt.h , fpgaTime.c
• Fpga_TimePropagateRequired() : fpgaInt.h , fpgaTime.c
• Fpga_TruthsCutBdd() : fpga.h , fpgaTruth.c
• Fpga_TruthsCutBdd_rec() : fpgaTruth.c
• fpr_header() : cvrout.c , espresso.h
• fprint_pla() : cvrout.c , espresso.h
• Fra_AddClausesMux() : fraCnf.c
• Fra_AddClausesSuper() : fraCnf.c
• Fra_BmcFilterImplications() : fraBmc.c
• Fra_BmcFrames() : fraBmc.c
• Fra_BmcNodeIsConst() : fra.h , fraBmc.c
• Fra_BmcNodesAreEqual() : fra.h , fraBmc.c
• Fra_BmcPerform() : fra.h , fraBmc.c
• Fra_BmcStart() : fraBmc.c
• Fra_BmcStop() : fra.h , fraBmc.c
• Fra_ClassCount() : fraClass.c
• Fra_ClassesCopyReprs() : fra.h , fraClass.c
• Fra_ClassesCountLits() : fra.h , fraClass.c
• Fra_ClassesCountPairs() : fra.h , fraClass.c
• Fra_ClassesDeriveAig() : fra.h , fraClass.c
• Fra_ClassesDeriveNode() : fraClass.c
• Fra_ClassesLatchCorr() : fra.h , fraClass.c
• Fra_ClassesPostprocess() : fra.h , fraClass.c
• Fra_ClassesPrepare() : fra.h , fraClass.c
• Fra_ClassesPrint() : fra.h , fraClass.c
• Fra_ClassesRefine() : fra.h , fraClass.c
• Fra_ClassesRefine1() : fra.h , fraClass.c
• Fra_ClassesSelectRepr() : fra.h , fraClass.c
• Fra_ClassesStart() : fra.h , fraClass.c
• Fra_ClassesStop() : fra.h , fraClass.c
• Fra_ClassesTest() : fra.h , fraClass.c
• Fra_ClassNodesMark() : fraLcr.c
• Fra_ClassNodesUnmark() : fraLcr.c
• Fra_ClassObjRepr() : fra.h
• Fra_ClassObjSetRepr() : fra.h
• Fra_CnfNodeAddToSolver() : fra.h , fraCnf.c
• Fra_CollectSuper() : fraCnf.c
• Fra_CollectSuper_rec() : fraCnf.c
• Fra_FraigChoice() : fra.h , fraCore.c
• Fra_FraigEquivence() : fra.h , fraCore.c
• Fra_FraigInduction() : fra.h , fraInd.c
• Fra_FraigInductionRewrite() : fraInd.c
• Fra_FraigLatchCorrespondence() : fra.h , fraLcr.c
• Fra_FraigMiterStatus() : fra.h , fraCore.c
• Fra_FraigNode() : fraCore.c
• Fra_FraigNodeSpeculate() : fraCore.c
• Fra_FraigPerform() : fra.h , fraCore.c
• Fra_FraigSec() : fra.h , fraSec.c
• Fra_FraigSec2() : fraSec.c
• Fra_FraigSweep() : fra.h , fraCore.c
• Fra_FraigVerifyCounterEx() : fraCore.c
• Fra_FramesAddMore() : fraInd.c
• Fra_FramesConstrainNode() : fraInd.c
• Fra_FramesWithClasses() : fraInd.c
• Fra_ImpAddToSolver() : fra.h , fraImp.c
• Fra_ImpCheckForNode() : fra.h , fraImp.c
• Fra_ImpCompactArray() : fra.h , fraImp.c
• Fra_ImpComputeStateSpaceRatio() : fra.h , fraImp.c
• Fra_ImpCreate() : fra.h
• Fra_ImpDerive() : fra.h , fraImp.c
• Fra_ImpLeft() : fra.h
• Fra_ImpRecordInManager() : fra.h , fraImp.c
• Fra_ImpRefineUsingCex() : fra.h , fraImp.c
• Fra_ImpRight() : fra.h
• Fra_ImpVerifyUsingSimulation() : fra.h , fraImp.c
• Fra_LcrAigPrepare() : fraLcr.c
• Fra_LcrAigPrepareTwo() : fraLcr.c
• Fra_LcrCreatePart() : fraLcr.c
• Fra_LcrCreatePart_rec() : fraLcr.c
• Fra_LcrDeriveAigForPartitioning() : fraLcr.c
• Fra_LcrNodeIsConst() : fraLcr.c
• Fra_LcrNodesAreEqual() : fraLcr.c
• Fra_LcrRemapPartitions() : fraLcr.c
• Fra_ManClean() : fra.h , fraMan.c
• Fra_ManFinalizeComb() : fra.h , fraMan.c
• Fra_ManPartitionTest() : fraPart.c
• Fra_ManPartitionTest2() : fraPart.c
• Fra_ManPrepareComb() : fra.h , fraMan.c
• Fra_ManPrint() : fra.h , fraMan.c
• Fra_ManStart() : fra.h , fraMan.c
• Fra_ManStop() : fra.h , fraMan.c
• Fra_NodeIsConst() : fra.h , fraSat.c
• Fra_NodesAreEquiv() : fraSat.c , fra.h
• Fra_NodesAreImp() : fra.h , fraSat.c
• Fra_ObjAddToFrontier() : fraCnf.c
• Fra_ObjChild0Equ() : fraClass.c
• Fra_ObjChild0Fra() : fra.h
• Fra_ObjChild1Equ() : fraClass.c
• Fra_ObjChild1Fra() : fra.h
• Fra_ObjEqu() : fraClass.c
• Fra_ObjFaninVec() : fra.h
• Fra_ObjFraig() : fra.h
• Fra_ObjNext() : fraClass.c
• Fra_ObjRandomSim() : fra.h
• Fra_ObjSatNum() : fra.h
• Fra_ObjSetEqu() : fraClass.c
• Fra_ObjSetFaninVec() : fra.h
• Fra_ObjSetFraig() : fra.h
• Fra_ObjSetNext() : fraClass.c
• Fra_ObjSetSatNum() : fra.h
• Fra_ObjSim() : fra.h
• Fra_ParamsDefault() : fra.h , fraMan.c
• Fra_ParamsDefaultSeq() : fra.h , fraMan.c
• Fra_PrintClass() : fraClass.c
• Fra_RefineClassLastIter() : fraClass.c
• Fra_RefineClassOne() : fraClass.c
• Fra_SetActivityFactors() : fraSat.c
• Fra_SetActivityFactors_rec() : fraSat.c
• Fra_SmlAssignConst() : fraSim.c
• Fra_SmlAssignDist1() : fraSim.c
• Fra_SmlAssignRandom() : fraSim.c
• Fra_SmlCheckNonConstOutputs() : fraSim.c
• Fra_SmlCheckOutput() : fra.h , fraSim.c
• Fra_SmlCheckOutputSavePattern() : fraSim.c
• Fra_SmlCountOnes() : fraImp.c
• Fra_SmlCountOnesOne() : fraImp.c
• Fra_SmlInitialize() : fraSim.c
• Fra_SmlNodeCopyFanin() : fraSim.c
• Fra_SmlNodeHash() : fra.h , fraSim.c
• Fra_SmlNodeIsConst() : fra.h , fraSim.c
• Fra_SmlNodeIsZero() : fraSim.c
• Fra_SmlNodeNotEquWeight() : fra.h , fraSim.c
• Fra_SmlNodesAreEqual() : fra.h , fraSim.c
• Fra_SmlNodeSimulate() : fraSim.c
• Fra_SmlNodeTransferNext() : fraSim.c
• Fra_SmlResimulate() : fra.h , fraSim.c
• Fra_SmlSavePattern() : fra.h , fraSim.c
• Fra_SmlSavePattern0() : fraSim.c
• Fra_SmlSavePattern1() : fraSim.c
• Fra_SmlSelectMaxCost() : fraImp.c
• Fra_SmlSimulate() : fra.h , fraSim.c
• Fra_SmlSimulateComb() : fra.h , fraSim.c
• Fra_SmlSimulateOne() : fraSim.c
• Fra_SmlSimulateSeq() : fra.h , fraSim.c
• Fra_SmlSortUsingOnes() : fraImp.c
• Fra_SmlStart() : fra.h , fraSim.c
• Fra_SmlStop() : fra.h , fraSim.c
• Fraig_BitStringCountOnes() : fraigUtil.c , fraigInt.h
• Fraig_CancelCoveredColumns() : fraigFeed.c
• Fraig_CheckTfi() : fraig.h , fraigUtil.c
• Fraig_CheckTfi2() : fraigUtil.c
• Fraig_CheckTfi_rec() : fraigUtil.c
• Fraig_CollectSupergate() : fraigUtil.c , fraig.h , fraigInt.h
• Fraig_CollectSupergate_rec() : fraigUtil.c
• Fraig_CollectXors() : fraigInt.h , fraigTable.c
• Fraig_CompareSimInfo() : fraigInt.h , fraigTable.c
• Fraig_CompareSimInfoUnderMask() : fraigInt.h , fraigTable.c
• Fraig_CountLevels() : fraig.h
• Fraig_CountNodes() : fraig.h , fraigUtil.c
• Fraig_CountPis() : fraigUtil.c , fraigInt.h
• Fraig_DetectFanoutFreeCone_rec() : fraigSat.c
• Fraig_DetectFanoutFreeConeMux() : fraigSat.c
• Fraig_DetectFanoutFreeConeMux_rec() : fraigSat.c
• Fraig_Dfs() : fraig.h , fraigUtil.c
• Fraig_Dfs_rec() : fraigUtil.c
• Fraig_DfsNodes() : fraig.h , fraigUtil.c
• Fraig_DfsOne() : fraig.h , fraigUtil.c
• Fraig_DfsReverse() : fraig.h
• Fraig_FeedBack() : fraigFeed.c , fraigInt.h
• Fraig_FeedBackCheckTable() : fraigFeed.c
• Fraig_FeedBackCheckTableF0() : fraigFeed.c
• Fraig_FeedBackCompress() : fraigFeed.c , fraigInt.h
• Fraig_FeedBackCovering() : fraigFeed.c
• Fraig_FeedBackCoveringStart() : fraigFeed.c
• Fraig_FeedBackInit() : fraigFeed.c , fraigInt.h
• Fraig_FeedBackInsert() : fraigFeed.c
• Fraig_FeedBackPrepare() : fraigFeed.c
• Fraig_FeedBackTest() : fraigInt.h
• Fraig_FeedBackVerify() : fraigFeed.c
• Fraig_FindFirstDiff() : fraigInt.h , fraigTable.c
• Fraig_GetHittingPattern() : fraigFeed.c
• Fraig_GetMaxLevel() : fraig.h , fraigUtil.c
• Fraig_GetSmallestColumn() : fraigFeed.c
• Fraig_HashTableCreate() : fraigInt.h , fraigTable.c
• Fraig_HashTableFree() : fraigInt.h , fraigTable.c
• Fraig_HashTableInsertF0() : fraigTable.c , fraigInt.h
• Fraig_HashTableLookupF() : fraigInt.h , fraigTable.c
• Fraig_HashTableLookupF0() : fraigInt.h , fraigTable.c
• Fraig_HashTableLookupS() : fraigInt.h , fraigTable.c
• Fraig_ManAddChoices() : fraigChoice.c
• Fraig_ManAddClause() : fraig.h , fraigMan.c
• Fraig_ManAllocCounterExample() : fraigFeed.c , fraigInt.h
• Fraig_ManCheckClauseUsingSat() : fraig.h , fraigSat.c
• Fraig_ManCheckClauseUsingSimInfo() : fraig.h , fraigMan.c
• Fraig_ManCheckConsistency() : fraig.h , fraigUtil.c
• Fraig_ManCheckMiter() : fraig.h , fraigSat.c
• Fraig_ManCountExors() : fraigInt.h , fraigUtil.c
• Fraig_ManCountMuxes() : fraigInt.h , fraigUtil.c
• Fraig_ManCreate() : fraig.h , fraigMan.c
• Fraig_ManCreateSolver() : fraigInt.h , fraigMan.c
• Fraig_ManFree() : fraig.h , fraigMan.c
• Fraig_ManGetSimInfo() : fraig.h , fraigMan.c
• Fraig_ManIncrementTravId() : fraigInt.h , fraigUtil.c
• Fraig_ManMarkRealFanouts() : fraig.h , fraigUtil.c
• Fraig_ManPrintRefs() : fraigUtil.c
• Fraig_ManPrintStats() : fraig.h , fraigMan.c
• Fraig_ManProveMiter() : fraigSat.c , fraig.h
• Fraig_ManReadChoicing() : fraig.h , fraigApi.c
• Fraig_ManReadConflicts() : fraigApi.c , fraig.h
• Fraig_ManReadConst1() : fraig.h , fraigApi.c
• Fraig_ManReadDoSparse() : fraigApi.c , fraig.h
• Fraig_ManReadFeedBack() : fraig.h , fraigApi.c
• Fraig_ManReadFuncRed() : fraig.h , fraigApi.c
• Fraig_ManReadInputNames() : fraig.h , fraigApi.c
• Fraig_ManReadInputNum() : fraigApi.c , fraig.h
• Fraig_ManReadInputs() : fraig.h , fraigApi.c
• Fraig_ManReadInspects() : fraigApi.c , fraig.h
• Fraig_ManReadIthNode() : fraig.h , fraigApi.c
• Fraig_ManReadIthVar() : fraigApi.c , fraig.h
• Fraig_ManReadModel() : fraig.h , fraigApi.c
• Fraig_ManReadNodeNum() : fraig.h , fraigApi.c
• Fraig_ManReadNodes() : fraig.h , fraigApi.c
• Fraig_ManReadOutputNames() : fraigApi.c , fraig.h
• Fraig_ManReadOutputNum() : fraig.h , fraigApi.c
• Fraig_ManReadOutputs() : fraigApi.c , fraig.h
• Fraig_ManReadPatternNumDynamic() : fraig.h , fraigApi.c
• Fraig_ManReadPatternNumDynamicFiltered() : fraigApi.c , fraig.h
• Fraig_ManReadPatternNumRandom() : fraig.h , fraigApi.c
• Fraig_ManReadSat() : fraig.h , fraigApi.c
• Fraig_ManReadSatFails() : fraig.h , fraigApi.c
• Fraig_ManReadVarsInt() : fraigApi.c , fraig.h
• Fraig_ManReadVecInputs() : fraig.h , fraigApi.c
• Fraig_ManReadVecNodes() : fraigApi.c , fraig.h
• Fraig_ManReadVecOutputs() : fraig.h , fraigApi.c
• Fraig_ManReadVerbose() : fraigApi.c , fraig.h
• Fraig_ManReportChoices() : fraig.h , fraigUtil.c
• Fraig_ManSaveCounterExample() : fraigFeed.c , fraigInt.h
• Fraig_ManSelectBestChoice() : fraigInt.h
• Fraig_ManSetChoicing() : fraig.h , fraigApi.c
• Fraig_ManSetDoSparse() : fraig.h , fraigApi.c
• Fraig_ManSetFeedBack() : fraig.h , fraigApi.c
• Fraig_ManSetFuncRed() : fraig.h , fraigApi.c
• Fraig_ManSetInputNames() : fraig.h , fraigApi.c
• Fraig_ManSetOutputNames() : fraig.h , fraigApi.c
• Fraig_ManSetPo() : fraig.h , fraigApi.c
• Fraig_ManSetTimeToGraph() : fraig.h , fraigApi.c
• Fraig_ManSetTimeToNet() : fraig.h , fraigApi.c
• Fraig_ManSetTimeTotal() : fraig.h , fraigApi.c
• Fraig_ManSetTryProve() : fraigApi.c , fraig.h
• Fraig_ManSetVerbose() : fraig.h , fraigApi.c
• Fraig_ManSimulateBitNode() : fraigFeed.c
• Fraig_ManSimulateBitNode_rec() : fraigFeed.c
• Fraig_MappingSetChoiceLevels() : fraig.h , fraigUtil.c
• Fraig_MappingUpdateLevel_rec() : fraigUtil.c
• Fraig_MarkTfi2_rec() : fraigSat.c
• Fraig_MarkTfi3_rec() : fraigSat.c
• Fraig_MarkTfi_rec() : fraigSat.c
• Fraig_MemFixedEntryFetch() : fraigMem.c , fraigInt.h
• Fraig_MemFixedEntryRecycle() : fraigInt.h , fraigMem.c
• Fraig_MemFixedReadMemUsage() : fraigMem.c , fraigInt.h
• Fraig_MemFixedRestart() : fraigInt.h , fraigMem.c
• Fraig_MemFixedStart() : fraigInt.h , fraigMem.c
• Fraig_MemFixedStop() : fraigInt.h , fraigMem.c
• Fraig_NodeAddFaninFanout() : fraigInt.h
• Fraig_NodeAnd() : fraig.h , fraigApi.c
• Fraig_NodeAndCanon() : fraigCanon.c , fraigInt.h
• Fraig_NodeAndSimpleCase_rec() : fraigInt.h
• Fraig_NodeComparePhase() : fraig.h , fraigApi.c
• Fraig_NodeCountPis() : fraigInt.h
• Fraig_NodeCountSuppVars() : fraigInt.h
• Fraig_NodeCreate() : fraigNode.c , fraigInt.h
• Fraig_NodeCreateConst() : fraigInt.h , fraigNode.c
• Fraig_NodeCreatePi() : fraigInt.h , fraigNode.c
• Fraig_NodeExor() : fraigApi.c , fraig.h
• Fraig_NodeGetFanoutNum() : fraigInt.h
• Fraig_NodeIsAnd() : fraigApi.c , fraig.h
• Fraig_NodeIsConst() : fraigApi.c , fraig.h
• Fraig_NodeIsEquivalent() : fraigSat.c , fraig.h
• Fraig_NodeIsExor() : fraigInt.h , fraigUtil.c
• Fraig_NodeIsExorType() : fraigUtil.c , fraigInt.h
• Fraig_NodeIsImplication() : fraigSat.c , fraigInt.h
• Fraig_NodeIsInSupergate() : fraigInt.h , fraigUtil.c
• Fraig_NodeIsMuxType() : fraigInt.h , fraigUtil.c
• Fraig_NodeIsTravIdCurrent() : fraigInt.h , fraigUtil.c
• Fraig_NodeIsTravIdPrevious() : fraigUtil.c , fraigInt.h
• Fraig_NodeIsVar() : fraigApi.c , fraig.h
• Fraig_NodeMux() : fraig.h , fraigApi.c
• Fraig_NodeOr() : fraig.h , fraigApi.c
• Fraig_NodeReadData0() : fraig.h , fraigApi.c
• Fraig_NodeReadData1() : fraig.h , fraigApi.c
• Fraig_NodeReadNextE() : fraig.h , fraigApi.c
• Fraig_NodeReadNum() : fraigApi.c , fraig.h
• Fraig_NodeReadNumFanouts() : fraig.h , fraigApi.c
• Fraig_NodeReadNumOnes() : fraig.h , fraigApi.c
• Fraig_NodeReadNumRefs() : fraig.h , fraigApi.c
• Fraig_NodeReadOne() : fraig.h , fraigApi.c
• Fraig_NodeReadPatternsDynamic() : fraig.h , fraigApi.c
• Fraig_NodeReadPatternsRandom() : fraigApi.c , fraig.h
• Fraig_NodeReadRepr() : fraig.h , fraigApi.c
• Fraig_NodeReadSimInv() : fraig.h , fraigApi.c
• Fraig_NodeReadTwo() : fraig.h , fraigApi.c
• Fraig_NodeRecognizeMux() : fraigInt.h , fraigUtil.c
• Fraig_NodeRemoveFaninFanout() : fraigInt.h
• Fraig_NodesAreEqual() : fraigSat.c , fraig.h
• Fraig_NodesCompareSupps() : fraigInt.h
• Fraig_NodeSetChoice() : fraig.h , fraigApi.c
• Fraig_NodeSetData0() : fraig.h , fraigApi.c
• Fraig_NodeSetData1() : fraig.h , fraigApi.c
• Fraig_NodeSetTravIdCurrent() : fraigInt.h , fraigUtil.c
• Fraig_NodeSimsContained() : fraigInt.h , fraigUtil.c
• Fraig_NodeSimulate() : fraigInt.h , fraigNode.c
• Fraig_NodeVecAlloc() : fraig.h , fraigVec.c
• Fraig_NodeVecClear() : fraigVec.c , fraig.h
• Fraig_NodeVecCompareLevelsDecreasing() : fraigVec.c
• Fraig_NodeVecCompareLevelsIncreasing() : fraigVec.c
• Fraig_NodeVecCompareNumbers() : fraigVec.c
• Fraig_NodeVecCompareRefCounts() : fraigVec.c
• Fraig_NodeVecDup() : fraig.h , fraigVec.c
• Fraig_NodeVecFree() : fraig.h , fraigVec.c
• Fraig_NodeVecGrow() : fraig.h , fraigVec.c
• Fraig_NodeVecPop() : fraig.h , fraigVec.c
• Fraig_NodeVecPush() : fraig.h , fraigVec.c
• Fraig_NodeVecPushOrder() : fraig.h , fraigVec.c
• Fraig_NodeVecPushOrderByLevel() : fraigVec.c , fraig.h
• Fraig_NodeVecPushUnique() : fraig.h , fraigVec.c
• Fraig_NodeVecPushUniqueOrder() : fraigVec.c , fraig.h
• Fraig_NodeVecPushUniqueOrderByLevel() : fraigVec.c , fraig.h
• Fraig_NodeVecReadArray() : fraigVec.c , fraig.h
• Fraig_NodeVecReadEntry() : fraigVec.c , fraig.h
• Fraig_NodeVecReadSize() : fraigVec.c , fraig.h
• Fraig_NodeVecRemove() : fraigVec.c , fraig.h
• Fraig_NodeVecShrink() : fraigVec.c , fraig.h
• Fraig_NodeVecSortByLevel() : fraig.h , fraigVec.c
• Fraig_NodeVecSortByNumber() : fraigVec.c , fraig.h
• Fraig_NodeVecSortByRefCount() : fraigInt.h , fraigVec.c
• Fraig_NodeVecWriteEntry() : fraigVec.c , fraig.h
• Fraig_OrderVariables() : fraigSat.c
• Fraig_ParamsSetDefault() : fraig.h , fraigMan.c
• Fraig_ParamsSetDefaultFull() : fraigMan.c , fraig.h
• Fraig_PrepareCones() : fraigSat.c
• Fraig_PrepareCones_rec() : fraigSat.c
• Fraig_PrintBinary() : fraigUtil.c , fraigInt.h
• Fraig_PrintNode() : fraigUtil.c
• Fraig_ReallocateSimulationInfo() : fraigFeed.c
• Fraig_SetActivity() : fraigSat.c
• Fraig_SetupAdjacent() : fraigSat.c
• Fraig_SetupAdjacentMark() : fraigSat.c
• Fraig_SupergateAddClauses() : fraigSat.c
• Fraig_SupergateAddClausesExor() : fraigSat.c
• Fraig_SupergateAddClausesMux() : fraigSat.c
• Fraig_TablePrintStatsF() : fraigInt.h , fraigTable.c
• Fraig_TablePrintStatsF0() : fraigInt.h , fraigTable.c
• Fraig_TablePrintStatsS() : fraigInt.h , fraigTable.c
• Fraig_TableRehashF0() : fraigTable.c , fraigInt.h
• Fraig_TableResizeF() : fraigTable.c
• Fraig_TableResizeS() : fraigTable.c
• Fraig_UtilInfoAlloc() : fraigMan.c
• Fraig_VarsStudy() : fraigSat.c
• free() : stdlib_hack.h , util_old.h
• free_PLA() : espresso.h , cvrin.c
• freeMatrix() : cuddExact.c
• freePathPair() : cuddSat.c
• fsm_simplify() : hack.c
• ftaut_special_cases() : irred.c
• ftautology() : irred.c
• full_row() : espresso.h , setc.c
• Fxu_CountPairDiffs() : fxuReduce.c
• Fxu_CreateCovers() : fxu.c , fxuCreate.c
• Fxu_CreateCoversFirstCube() : fxuCreate.c
• Fxu_CreateCoversNode() : fxuCreate.c
• Fxu_CreateMatrix() : fxuCreate.c , fxu.c
• Fxu_CreateMatrixAddCube() : fxuCreate.c
• Fxu_CreateMatrixLitCompare() : fxuCreate.c
• Fxu_FastExtract() : fxu.c , fxu.h
• Fxu_HeapDoubleCheck() : fxuInt.h , fxuHeapD.c
• Fxu_HeapDoubleCheckOne() : fxuInt.h , fxuHeapD.c
• Fxu_HeapDoubleDelete() : fxuHeapD.c , fxuInt.h
• Fxu_HeapDoubleGetMax() : fxuInt.h , fxuHeapD.c
• Fxu_HeapDoubleInsert() : fxuInt.h , fxuHeapD.c
• Fxu_HeapDoubleMoveDn() : fxuHeapD.c
• Fxu_HeapDoubleMoveUp() : fxuHeapD.c
• Fxu_HeapDoublePrint() : fxuHeapD.c , fxuInt.h
• Fxu_HeapDoubleReadMax() : fxuHeapD.c , fxuInt.h
• Fxu_HeapDoubleReadMaxWeight() : fxuHeapD.c , fxuInt.h
• Fxu_HeapDoubleResize() : fxuHeapD.c
• Fxu_HeapDoubleStart() : fxuInt.h , fxuHeapD.c
• Fxu_HeapDoubleStop() : fxuHeapD.c , fxuInt.h
• Fxu_HeapDoubleSwap() : fxuHeapD.c
• Fxu_HeapDoubleUpdate() : fxuInt.h , fxuHeapD.c
• Fxu_HeapSingleCheck() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleCheckOne() : fxuHeapS.c , fxuInt.h
• Fxu_HeapSingleDelete() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleGetMax() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleInsert() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleMoveDn() : fxuHeapS.c
• Fxu_HeapSingleMoveUp() : fxuHeapS.c
• Fxu_HeapSinglePrint() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleReadMax() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleReadMaxWeight() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleResize() : fxuHeapS.c
• Fxu_HeapSingleStart() : fxuHeapS.c , fxuInt.h
• Fxu_HeapSingleStop() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleSwap() : fxuHeapS.c
• Fxu_HeapSingleUpdate() : fxuInt.h , fxuHeapS.c
• Fxu_ListCubeAddLiteral() : fxuInt.h , fxuList.c
• Fxu_ListCubeDelLiteral() : fxuInt.h , fxuList.c
• Fxu_ListDoubleAddPairFirst() : fxuInt.h , fxuList.c
• Fxu_ListDoubleAddPairLast() : fxuList.c , fxuInt.h
• Fxu_ListDoubleAddPairMiddle() : fxuInt.h , fxuList.c
• Fxu_ListDoubleAddPairPlace() : fxuList.c
• Fxu_ListDoubleDelPair() : fxuList.c , fxuInt.h
• Fxu_ListMatrixAddCube() : fxuInt.h , fxuList.c
• Fxu_ListMatrixAddSingle() : fxuList.c , fxuInt.h
• Fxu_ListMatrixAddVariable() : fxuInt.h , fxuList.c
• Fxu_ListMatrixDelCube() : fxuList.c , fxuInt.h
• Fxu_ListMatrixDelSingle() : fxuInt.h , fxuList.c
• Fxu_ListMatrixDelVariable() : fxuList.c , fxuInt.h
• Fxu_ListTableAddDivisor() : fxuList.c , fxuInt.h
• Fxu_ListTableDelDivisor() : fxuInt.h , fxuList.c
• Fxu_ListVarAddLiteral() : fxuList.c , fxuInt.h
• Fxu_ListVarDelLiteral() : fxuInt.h , fxuList.c
• Fxu_MatrixAddCube() : fxuMatrix.c , fxuInt.h
• Fxu_MatrixAddDivisor() : fxuMatrix.c , fxuInt.h
• Fxu_MatrixAddLiteral() : fxuMatrix.c , fxuInt.h
• Fxu_MatrixAddSingle() : fxuInt.h , fxuMatrix.c
• Fxu_MatrixAddVar() : fxuMatrix.c , fxuInt.h
• Fxu_MatrixAllocate() : fxuInt.h , fxuMatrix.c
• Fxu_MatrixComputeSingles() : fxuSingle.c , fxuInt.h
• Fxu_MatrixComputeSinglesOne() : fxuInt.h , fxuSingle.c
• Fxu_MatrixComputeSinglesOneCollect() : fxuSingle.c
• Fxu_MatrixDelDivisor() : fxuInt.h , fxuMatrix.c
• Fxu_MatrixDelete() : fxuInt.h , fxuMatrix.c
• Fxu_MatrixDelLiteral() : fxuMatrix.c , fxuInt.h
• Fxu_MatrixFindComplement() : fxuSelect.c
• Fxu_MatrixFindComplementDouble2() : fxuSelect.c
• Fxu_MatrixFindComplementDouble4() : fxuSelect.c
• Fxu_MatrixFindComplementSingle() : fxuSelect.c
• Fxu_MatrixFindDouble() : fxuSelect.c
• Fxu_MatrixGetDoubleVars() : fxuSelect.c
• Fxu_MatrixPrint() : fxuPrint.c , fxuInt.h
• Fxu_MatrixPrintDivisorProfile() : fxuInt.h , fxuPrint.c
• Fxu_MatrixRingCubesUnmark() : fxuInt.h , fxu.c
• Fxu_MatrixRingVarsUnmark() : fxu.c , fxuInt.h
• Fxu_MemFetch() : fxuInt.h , fxu.c
• Fxu_MemRecycle() : fxuInt.h , fxu.c
• Fxu_PairAdd() : fxuPair.c , fxuInt.h
• Fxu_PairAlloc() : fxuInt.h , fxuPair.c
• Fxu_PairAllocStorage() : fxuPair.c , fxuInt.h
• Fxu_PairCanonicize() : fxuPair.c , fxuInt.h
• Fxu_PairCanonicize2() : fxuPair.c
• Fxu_PairClearStorage() : fxuPair.c , fxuInt.h
• Fxu_PairCompare() : fxuPair.c , fxuInt.h
• Fxu_PairFreeStorage() : fxuInt.h , fxuPair.c
• Fxu_PairHashKey() : fxuInt.h , fxuPair.c
• Fxu_PairHashKeyArray() : fxuPair.c , fxuInt.h
• Fxu_PairHashKeyMv() : fxuInt.h
• Fxu_PreprocessCubePairs() : fxuReduce.c , fxuCreate.c
• Fxu_Select() : fxuInt.h , fxuSelect.c
• Fxu_SelectSCD() : fxuInt.h , fxuSelect.c
• Fxu_SingleCountCoincidence() : fxuInt.h , fxuSingle.c
• Fxu_Update() : fxuUpdate.c , fxuInt.h
• Fxu_UpdateAddNewDoubles() : fxuUpdate.c
• Fxu_UpdateAddNewSingles() : fxuUpdate.c
• Fxu_UpdateCleanOldDoubles() : fxuUpdate.c
• Fxu_UpdateCleanOldSingles() : fxuUpdate.c
• Fxu_UpdateCreateNewVars() : fxuUpdate.c
• Fxu_UpdateDouble() : fxuInt.h , fxuUpdate.c
• Fxu_UpdateDoublePairs() : fxuUpdate.c
• Fxu_UpdateMatrixDoubleClean() : fxuUpdate.c
• Fxu_UpdateMatrixDoubleCreateCubes() : fxuUpdate.c
• Fxu_UpdateMatrixSingleClean() : fxuUpdate.c
• Fxu_UpdatePairCompare() : fxuUpdate.c
• Fxu_UpdatePairsSort() : fxuUpdate.c
• Fxu_UpdateSingle() : fxuUpdate.c , fxuInt.h