- f -

• factorial() : luckySimple.c
• Faig_CheckIdCo() : saigSimFast.c
• Faig_CheckIdLi() : saigSimFast.c
• Faig_CheckIdLo() : saigSimFast.c
• Faig_CheckIdNo() : saigSimFast.c
• Faig_CheckIdObj() : saigSimFast.c
• Faig_CheckIdPi() : saigSimFast.c
• Faig_CheckIdPo() : saigSimFast.c
• Faig_CoChild0() : saigSimFast.c
• Faig_ManAlloc() : saigSimFast.c
• Faig_ManComputeProbOne() : saigSimFast.c
• Faig_ManComputeSwitching() : saigSimFast.c
• Faig_ManComputeSwitchProbs4() : saigSimFast.c
• Faig_ManCreate() : saigSimFast.c
• Faig_ManIsCorrect() : saigSimFast.c
• Faig_ManSimulateFrames() : saigSimFast.c
• Faig_NodeChild0() : saigSimFast.c
• Faig_NodeChild1() : saigSimFast.c
• Faig_ObjFanin() : saigSimFast.c
• Faig_ObjFaninC() : saigSimFast.c
• Faig_ObjIdToNumCo() : saigSimFast.c
• Faig_ObjIdToNumLi() : saigSimFast.c
• Faig_ObjIdToNumLo() : saigSimFast.c
• Faig_ObjIdToNumNo() : saigSimFast.c
• Faig_ObjIdToNumPi() : saigSimFast.c
• Faig_ObjIdToNumPo() : saigSimFast.c
• Faig_ObjLiToLo() : saigSimFast.c
• Faig_ObjLoToLi() : saigSimFast.c
• Faig_SimulateCo() : saigSimFast.c
• Faig_SimulateNode() : saigSimFast.c
• Faig_SimulateRandomShift() : saigSimFast.c
• Faig_SimulateTransferShift() : saigSimFast.c
• fallbackQSort3() : blocksort.c
• fallbackSimpleSort() : blocksort.c
• fallbackSort() : blocksort.c
• fastEstimate() : place_base.h , place_inc.c
• fastTopoPlace() : place_base.h
• fatal() : cvrmisc.c , espresso.h
• fcube_is_covered() : irred.c
• feasibly_covered() : espresso.h , expand.c
• fill_window() : deflate.c
• fillInFlipArray() : luckySimple.c
• fillInSwapArray() : luckySimple.c
• find_all_minimal_covers_petrick() : espresso.h
• find_all_primes() : espresso.h , expand.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_min() : abcSaucy.c
• find_optimal_pairing() : espresso.h , pair.c
• find_pairing_cost() : pair.c , espresso.h
• find_phase() : espresso.h , opo.c
• find_representative() : abcSaucy.c
• find_rightmost() : avl.c
• findDisjunctiveMonotoneSignals() : disjunctiveMonotone.c , kliveness.c
• findHintOutputs() : monotone.c
• findMonotoneSignals() : monotone.c
• findNewDisjunctiveMonotone() : disjunctiveMonotone.c
• findNewMonotone() : monotone.c
• findNextLevelDisjunctiveMonotone() : disjunctiveMonotone.c
• findPendingSignal() : monotone.c
• findRemainingMonotoneCandidates() : monotone.c
• findTopologicalOrder() : abcBm.c , abcSaucy.c
• firstShiftWithOneBit() : luckyFast16.c
• fix_diff_singleton() : abcSaucy.c
• fix_diff_subtract() : abcSaucy.c
• fix_diffs() : abcSaucy.c
• fix_fronts() : abcSaucy.c
• fixedtables() : infback.c , inflate.c
• fixVarTree() : cuddAPI.c
• flipConePdr() : kliveness.c
• flush_pending() : deflate.c
• flush_RL() : bzlib.c
• FM_updateGains() : place_partition.c
• fmt_cost() : cvrmisc.c , espresso.h
• fmt_cube() : cvrout.c , espresso.h
• fmt_expanded_cube() : espresso.h
• for() : sparse_int.h
• For_ManExperiment() : gia.h , giaForce.c
• For_ManFileExperiment() : giaForce.c
• 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() : fpgaCutUtils.c , fpgaInt.h
• 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_CutsCleanRoot() : fpga.h , fpgaCut.c
• 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() : fpga.c
• Fpga_FindBestNode() : fpgaMatch.c
• Fpga_FloatEqual() : fpgaInt.h
• Fpga_FloatLessThan() : fpgaInt.h
• Fpga_FloatMoreThan() : fpgaInt.h
• Fpga_HashKey2() : fpgaCreate.c
• Fpga_Init() : fpga.c
• Fpga_LibReadLutMax() : fpga.h , fpgaCreate.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_LutLibRead() : 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_ManReadMapping() : fpga.h , fpgaCreate.c
• Fpga_ManReadOutputNum() : fpga.h , fpgaCreate.c
• Fpga_ManReadOutputs() : fpga.h , fpgaCreate.c
• Fpga_ManReadVarMax() : fpga.h , fpgaCreate.c
• Fpga_ManReadVerbose() : fpga.h , fpgaCreate.c
• Fpga_ManReportChoices() : fpgaInt.h , fpgaUtils.c
• Fpga_ManSetAreaLimit() : fpga.h , fpgaCreate.c
• Fpga_ManSetAreaRecovery() : fpgaCreate.c , fpga.h
• 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_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
• fprintfBz2Aig() : ioWriteAiger.c
• 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_BmcPerformSimple() : 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_Clau() : fraClau.c
• Fra_ClauCheckBmc() : fraClau.c
• Fra_ClauCheckClause() : fraClau.c
• Fra_ClauCheckProperty() : fraClau.c
• Fra_ClauCreateMapping() : fraClau.c
• Fra_ClauMinimizeClause() : fraClau.c
• Fra_ClauMinimizeClause_rec() : fraClau.c
• Fra_ClauPrintClause() : fraClau.c
• Fra_ClauReduceClause() : fraClau.c
• Fra_ClauRemapClause() : fraClau.c
• Fra_Claus() : fraClaus.c
• Fra_ClausAddToStorage() : fraClaus.c
• Fra_ClausAlloc() : fraClaus.c
• Fra_ClauSaveInputVars() : fraClau.c
• Fra_ClauSaveLatchVars() : fraClau.c
• Fra_ClauSaveOutputVars() : fraClau.c
• Fra_ClausBmcClauses() : fraClaus.c
• Fra_ClausCollectLatchClauses() : fraClaus.c
• Fra_ClausEstimateCoverage() : fraClaus.c
• Fra_ClausEstimateCoverageOne() : fraClaus.c
• Fra_ClausFree() : fraClaus.c
• Fra_ClausGetLiteral() : fraClaus.c
• Fra_ClausInductiveClauses() : fraClaus.c
• Fra_ClausPrintIndClauses() : fraClaus.c
• Fra_ClausProcessClauses() : fraClaus.c
• Fra_ClausProcessClauses2() : fraClaus.c
• Fra_ClausProcessClausesCut() : fraClaus.c
• Fra_ClausProcessClausesCut2() : fraClaus.c
• Fra_ClausProcessClausesCut3() : fraClaus.c
• Fra_ClausRecordClause() : fraClaus.c
• Fra_ClausRecordClause2() : fraClaus.c
• Fra_ClausRunBmc() : fraClaus.c
• Fra_ClausRunSat() : fraClaus.c
• Fra_ClausRunSat0() : fraClaus.c
• Fra_ClausSelectClauses() : fraClaus.c
• Fra_ClausSimInfoCheck() : fraClaus.c
• Fra_ClausSimInfoClean() : fraClaus.c
• Fra_ClausSimInfoRealloc() : fraClaus.c
• Fra_ClausSimInfoRecord() : fraClaus.c
• Fra_ClausSmlNodeIsConst() : fraClaus.c
• Fra_ClausSmlNodesAreImp() : fraClaus.c
• Fra_ClausSmlNodesAreImpC() : fraClaus.c
• Fra_ClauStart() : fraClau.c
• Fra_ClauStop() : fraClau.c
• Fra_ClausWriteIndClauses() : fraClaus.c
• Fra_CnfNodeAddToSolver() : fra.h , fraCnf.c
• Fra_CollectSuper() : fraCnf.c
• Fra_CollectSuper_rec() : fraCnf.c
• Fra_FraigCec() : fra.h , fraCec.c
• Fra_FraigCecPartitioned() : fra.h , fraCec.c
• Fra_FraigCecTop() : fraCec.c
• Fra_FraigChoice() : fra.h , fraCore.c
• Fra_FraigEquivence() : fra.h , fraCore.c
• Fra_FraigInduction() : fra.h , fraInd.c
• Fra_FraigInductionPart() : fraInd.c
• Fra_FraigInductionRewrite() : fraInd.c
• Fra_FraigInductionTest() : fraInd.c
• Fra_FraigLatchCorrespondence() : fra.h , fraLcr.c
• Fra_FraigMiterAssertedOutput() : fra.h , fraCore.c
• Fra_FraigMiterStatus() : fra.h , fraCore.c
• Fra_FraigNode() : fraCore.c
• Fra_FraigNodeSpeculate() : fraCore.c
• Fra_FraigPerform() : fra.h , fraCore.c
• Fra_FraigSat() : fra.h , fraCec.c
• Fra_FraigSec() : fra.h , 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_InvariantVerify() : fra.h , fraIndVer.c
• Fra_LcrAigPrepare() : fraLcr.c
• Fra_LcrAigPrepareTwo() : fraLcr.c
• Fra_LcrCreatePart() : fraLcr.c
• Fra_LcrCreatePart_rec() : fraLcr.c
• Fra_LcrDeriveAigForPartitioning() : fraLcr.c
• Fra_LcrManDup_rec() : fraLcr.c
• Fra_LcrNodeIsConst() : fraLcr.c
• Fra_LcrNodesAreEqual() : fraLcr.c
• Fra_LcrRemapPartitions() : fraLcr.c
• Fra_LitReg() : fraHot.c
• Fra_LitSign() : fraHot.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_NodesAreClause() : fra.h , fraSat.c
• Fra_NodesAreEquiv() : fra.h , fraSat.c
• 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_OneHotAddKnownConstraint() : fra.h , fraHot.c
• Fra_OneHotAssume() : fra.h , fraHot.c
• Fra_OneHotCheck() : fra.h , fraHot.c
• Fra_OneHotCompute() : fra.h , fraHot.c
• Fra_OneHotCount() : fra.h , fraHot.c
• Fra_OneHotCreateExdc() : fra.h , fraHot.c
• Fra_OneHotEstimateCoverage() : fra.h , fraHot.c
• Fra_OneHotNodeIsConst() : fraHot.c
• Fra_OneHotNodesAreClause() : fraHot.c
• Fra_OneHotNodesAreEqual() : fraHot.c
• Fra_OneHotRefineUsingCex() : fra.h , fraHot.c
• 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_RegToLit() : fraHot.c
• Fra_SecSetDefaultParams() : fra.h , fraSec.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_SmlCopyCounterExample() : fra.h , fraSim.c
• Fra_SmlCountOnes() : fraImp.c
• Fra_SmlCountOnesOne() : fraImp.c
• Fra_SmlGetCounterExample() : fra.h , fraSim.c
• Fra_SmlInitialize() : fraSim.c
• Fra_SmlInitializeGiven() : fraSim.c
• Fra_SmlNodeCopyFanin() : fraSim.c
• Fra_SmlNodeCountOnes() : fra.h , 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_SmlNodesCompareInFrame() : fraSim.c
• Fra_SmlNodeSimulate() : fraSim.c
• Fra_SmlNodeTransferNext() : fraSim.c
• Fra_SmlPrintOutputs() : 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_SmlSimulateCombGiven() : fra.h , fraSim.c
• Fra_SmlSimulateOne() : fraSim.c
• Fra_SmlSimulateReadFile() : fraSim.c
• Fra_SmlSimulateSeq() : fra.h , fraSim.c
• Fra_SmlSortUsingOnes() : fraImp.c
• Fra_SmlStart() : fraSim.c , fra.h
• 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() : fraig.h , fraigInt.h , fraigUtil.c
• 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() : fraigInt.h , fraigTable.c
• 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() : fraigInt.h , fraigFeed.c
• Fraig_ManCheckClauseUsingSat() : fraig.h , fraigSat.c
• Fraig_ManCheckClauseUsingSimInfo() : fraig.h , fraigMan.c
• Fraig_ManCheckConsistency() : fraig.h , fraigUtil.c
• Fraig_ManCheckMiter() : fraigSat.c , fraig.h
• Fraig_ManCountExors() : fraigInt.h , fraigUtil.c
• Fraig_ManCountMuxes() : fraigUtil.c , fraigInt.h
• Fraig_ManCreate() : fraig.h , fraigMan.c
• Fraig_ManCreateSolver() : fraigMan.c , fraigInt.h
• Fraig_ManFree() : fraig.h , fraigMan.c
• Fraig_ManGetSimInfo() : fraig.h , fraigMan.c
• Fraig_ManIncrementTravId() : fraigInt.h , fraigUtil.c
• Fraig_ManMarkRealFanouts() : fraigUtil.c , fraig.h
• Fraig_ManPrintRefs() : fraigUtil.c
• Fraig_ManPrintStats() : fraig.h , fraigMan.c
• Fraig_ManProveMiter() : fraig.h , fraigSat.c
• Fraig_ManReadChoicing() : fraig.h , fraigApi.c
• Fraig_ManReadConflicts() : fraig.h , fraigApi.c
• Fraig_ManReadConst1() : fraig.h , fraigApi.c
• Fraig_ManReadDoSparse() : fraig.h , fraigApi.c
• Fraig_ManReadFeedBack() : fraig.h , fraigApi.c
• Fraig_ManReadFuncRed() : fraig.h , fraigApi.c
• Fraig_ManReadInputNames() : fraig.h , fraigApi.c
• Fraig_ManReadInputNum() : fraig.h , fraigApi.c
• Fraig_ManReadInputs() : fraig.h , fraigApi.c
• Fraig_ManReadInspects() : fraig.h , fraigApi.c
• Fraig_ManReadIthNode() : fraig.h , fraigApi.c
• Fraig_ManReadIthVar() : fraig.h , fraigApi.c
• Fraig_ManReadModel() : fraig.h , fraigApi.c
• Fraig_ManReadNodeNum() : fraig.h , fraigApi.c
• Fraig_ManReadNodes() : fraig.h , fraigApi.c
• Fraig_ManReadOutputNames() : fraig.h , fraigApi.c
• Fraig_ManReadOutputNum() : fraig.h , fraigApi.c
• Fraig_ManReadOutputs() : fraig.h , fraigApi.c
• Fraig_ManReadPatternNumDynamic() : fraig.h , fraigApi.c
• Fraig_ManReadPatternNumDynamicFiltered() : fraig.h , fraigApi.c
• Fraig_ManReadPatternNumRandom() : fraig.h , fraigApi.c
• Fraig_ManReadSat() : fraig.h , fraigApi.c
• Fraig_ManReadSatFails() : fraig.h , fraigApi.c
• Fraig_ManReadVarsInt() : fraig.h , fraigApi.c
• Fraig_ManReadVecInputs() : fraig.h , fraigApi.c
• Fraig_ManReadVecNodes() : fraig.h , fraigApi.c
• Fraig_ManReadVecOutputs() : fraig.h , fraigApi.c
• Fraig_ManReadVerbose() : fraig.h , fraigApi.c
• Fraig_ManReportChoices() : fraig.h , fraigUtil.c
• Fraig_ManSaveCounterExample() : fraigFeed.c , fraigInt.h
• Fraig_ManSelectBestChoice() : fraigInt.h
• Fraig_ManSetChoicing() : fraigApi.c , fraig.h
• Fraig_ManSetDoSparse() : fraig.h , fraigApi.c
• Fraig_ManSetFeedBack() : fraigApi.c , fraig.h
• Fraig_ManSetFuncRed() : fraig.h , fraigApi.c
• Fraig_ManSetInputNames() : fraig.h , fraigApi.c
• Fraig_ManSetOutputNames() : fraig.h , fraigApi.c
• Fraig_ManSetPo() : fraigApi.c , fraig.h
• Fraig_ManSetTryProve() : fraig.h , fraigApi.c
• Fraig_ManSetVerbose() : fraigApi.c , fraig.h
• Fraig_ManSimulateBitNode() : fraigFeed.c
• Fraig_ManSimulateBitNode_rec() : fraigFeed.c
• Fraig_MappingSetChoiceLevels() : fraigUtil.c , fraig.h
• Fraig_MappingUpdateLevel_rec() : fraigUtil.c
• Fraig_MarkTfi2_rec() : fraigSat.c
• Fraig_MarkTfi3_rec() : fraigSat.c
• Fraig_MarkTfi_rec() : fraigSat.c
• Fraig_MemFixedEntryFetch() : fraigInt.h , fraigMem.c
• Fraig_MemFixedEntryRecycle() : fraigMem.c , fraigInt.h
• Fraig_MemFixedReadMemUsage() : fraigInt.h , fraigMem.c
• Fraig_MemFixedRestart() : fraigMem.c , fraigInt.h
• Fraig_MemFixedStart() : fraigInt.h , fraigMem.c
• Fraig_MemFixedStop() : fraigMem.c , fraigInt.h
• Fraig_NodeAddFaninFanout() : fraigFanout.c , fraigInt.h
• Fraig_NodeAnd() : fraig.h , fraigApi.c
• Fraig_NodeAndCanon() : fraigCanon.c , fraigInt.h
• Fraig_NodeAndSimpleCase_rec() : fraigInt.h
• Fraig_NodeComparePhase() : fraigApi.c , fraig.h
• Fraig_NodeCountPis() : fraigInt.h
• Fraig_NodeCountSuppVars() : fraigInt.h
• Fraig_NodeCreate() : fraigNode.c , fraigInt.h
• Fraig_NodeCreateConst() : fraigInt.h , fraigNode.c
• Fraig_NodeCreatePi() : fraigNode.c , fraigInt.h
• Fraig_NodeExor() : fraig.h , fraigApi.c
• Fraig_NodeGetFanoutNum() : fraigFanout.c , fraigInt.h
• Fraig_NodeIsAnd() : fraig.h , fraigApi.c
• Fraig_NodeIsConst() : fraigApi.c , fraig.h
• Fraig_NodeIsEquivalent() : fraig.h , fraigSat.c
• Fraig_NodeIsExor() : fraigInt.h , fraigUtil.c
• Fraig_NodeIsExorType() : fraigInt.h , fraigUtil.c
• Fraig_NodeIsImplication() : fraigInt.h , fraigSat.c
• Fraig_NodeIsInSupergate() : fraigInt.h , fraigUtil.c
• Fraig_NodeIsMuxType() : fraigInt.h , fraigUtil.c
• Fraig_NodeIsTravIdCurrent() : fraigInt.h , fraigUtil.c
• Fraig_NodeIsTravIdPrevious() : fraigInt.h , fraigUtil.c
• Fraig_NodeIsVar() : fraigApi.c , fraig.h
• Fraig_NodeMux() : fraig.h , fraigApi.c
• Fraig_NodeOr() : fraigApi.c , fraig.h
• Fraig_NodeReadData0() : fraig.h , fraigApi.c
• Fraig_NodeReadData1() : fraigApi.c , fraig.h
• Fraig_NodeReadNextE() : fraig.h , fraigApi.c
• Fraig_NodeReadNum() : fraig.h , fraigApi.c
• 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() : fraigFanout.c , fraigInt.h
• Fraig_NodesAreEqual() : fraig.h , fraigSat.c
• Fraig_NodesCompareSupps() : fraigInt.h
• Fraig_NodeSetChoice() : fraig.h , fraigApi.c
• Fraig_NodeSetData0() : fraig.h , fraigApi.c
• Fraig_NodeSetData1() : fraig.h , fraigApi.c
• Fraig_NodeSetTravIdCurrent() : fraigUtil.c , fraigInt.h
• Fraig_NodeSimsContained() : fraigInt.h , fraigUtil.c
• Fraig_NodeSimulate() : fraigNode.c , fraigInt.h
• Fraig_NodeTransferFanout() : fraigFanout.c
• Fraig_NodeVecAlloc() : fraigVec.c , fraig.h
• 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() : fraigVec.c , fraig.h
• Fraig_NodeVecGrow() : fraigVec.c , fraig.h
• Fraig_NodeVecPop() : fraigVec.c , fraig.h
• Fraig_NodeVecPush() : fraig.h , fraigVec.c
• Fraig_NodeVecPushOrder() : fraigVec.c , fraig.h
• Fraig_NodeVecPushOrderByLevel() : fraig.h , fraigVec.c
• Fraig_NodeVecPushUnique() : fraigVec.c , fraig.h
• 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() : fraig.h , fraigVec.c
• Fraig_NodeVecSortByLevel() : fraigVec.c , fraig.h
• Fraig_NodeVecSortByNumber() : fraig.h , fraigVec.c
• Fraig_NodeVecSortByRefCount() : fraigVec.c , fraigInt.h
• Fraig_NodeVecWriteEntry() : fraigVec.c , fraig.h
• Fraig_OrderVariables() : fraigSat.c
• Fraig_ParamsSetDefault() : fraig.h , fraigMan.c
• Fraig_ParamsSetDefaultFull() : fraig.h , fraigMan.c
• Fraig_PrepareCones() : fraigSat.c
• Fraig_PrepareCones_rec() : fraigSat.c
• Fraig_PrintBinary() : fraigInt.h , fraigUtil.c
• 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() : fraigTable.c , fraigInt.h
• Fraig_TablePrintStatsS() : fraigInt.h , fraigTable.c
• Fraig_TableRehashF0() : fraigInt.h , fraigTable.c
• Fraig_TableResizeF() : fraigTable.c
• Fraig_TableResizeS() : fraigTable.c
• Fraig_UtilInfoAlloc() : fraigMan.c
• Fraig_VarsStudy() : fraigSat.c
• Frc_DumpGraphIntoFile() : giaForce.c
• Frc_ManArrayShuffle() : giaForce.c
• Frc_ManCi() : giaForce.c
• Frc_ManCiNum() : giaForce.c
• Frc_ManCo() : giaForce.c
• Frc_ManCollectCos() : giaForce.c
• Frc_ManCollectSuper() : giaForce.c
• Frc_ManCollectSuper_rec() : giaForce.c
• Frc_ManCoNum() : giaForce.c
• Frc_ManCreateRefsSpecial() : giaForce.c
• Frc_ManCrossCut() : giaForce.c
• Frc_ManCrossCut2_rec() : giaForce.c
• Frc_ManCrossCut_rec() : giaForce.c
• Frc_ManCrossCutTest() : giaForce.c
• Frc_ManNodeNum() : giaForce.c
• Frc_ManObj() : giaForce.c
• Frc_ManObjNum() : giaForce.c
• Frc_ManPiNum() : giaForce.c
• Frc_ManPlaceDfs() : giaForce.c
• Frc_ManPlaceDfs_rec() : giaForce.c
• Frc_ManPlaceDfsBoth() : giaForce.c
• Frc_ManPlacementRefine() : giaForce.c
• Frc_ManPlaceRandom() : giaForce.c
• Frc_ManPoNum() : giaForce.c
• Frc_ManPrintStats() : giaForce.c
• Frc_ManRegNum() : giaForce.c
• Frc_ManStart() : giaForce.c
• Frc_ManStartSimple() : giaForce.c
• Frc_ManStop() : giaForce.c
• Frc_ManTransformRefs() : giaForce.c
• Frc_ObjAddFanin() : giaForce.c
• Frc_ObjFanin() : giaForce.c
• Frc_ObjFaninNum() : giaForce.c
• Frc_ObjFanout() : giaForce.c
• Frc_ObjFanoutNum() : giaForce.c
• Frc_ObjFanoutsAreCos() : giaForce.c
• Frc_ObjIsCi() : giaForce.c
• Frc_ObjIsCo() : giaForce.c
• Frc_ObjIsConst0() : giaForce.c
• Frc_ObjIsNode() : giaForce.c
• Frc_ObjIsPi() : giaForce.c
• Frc_ObjIsPo() : giaForce.c
• Frc_ObjIsTerm() : giaForce.c
• Frc_ObjSize() : giaForce.c
• free() : util_old.h
• free_entry() : avl.c
• free_PLA() : espresso.h , cvrin.c
• freeArray() : lucky.c
• freeArrayB() : lucky.c
• freeCycleCtr() : lucky.c
• freeMatrix() : cuddExact.c
• freePathPair() : cuddSat.c
• freePermInfoPtr() : luckyInt.h , lucky.h , luckySimple.c
• freeSwapInfoPtr() : luckySimple.c
• Fsim_Lit2Var() : fsimInt.h
• Fsim_LitIsCompl() : fsimInt.h
• Fsim_LitNot() : fsimInt.h
• Fsim_LitNotCond() : fsimInt.h
• Fsim_LitRegular() : fsimInt.h
• Fsim_ManCheckPos() : fsimSim.c
• Fsim_ManCreate() : fsimInt.h , fsimMan.c
• Fsim_ManCreate_rec() : fsimMan.c
• Fsim_ManDelete() : fsimMan.c , fsimInt.h
• Fsim_ManFront() : fsimFront.c , fsimInt.h
• Fsim_ManFrontFindNext() : fsimFront.c
• Fsim_ManGenerateCounter() : fsimSim.c
• Fsim_ManRestoreNum() : fsimFront.c , fsimSim.c
• Fsim_ManRestoreObj() : fsimFront.c , fsimSim.c
• Fsim_ManSetDefaultParamsSim() : fsim.h , fsimCore.c
• Fsim_ManSetDefaultParamsSwitch() : fsim.h , fsimCore.c
• Fsim_ManSimInfoCopy() : fsimSim.c
• Fsim_ManSimInfoInit() : fsimSim.c
• Fsim_ManSimInfoIsZero() : fsimSim.c
• Fsim_ManSimInfoOne() : fsimSim.c
• Fsim_ManSimInfoRandom() : fsimSim.c
• Fsim_ManSimInfoTransfer() : fsimSim.c
• Fsim_ManSimInfoZero() : fsimSim.c
• Fsim_ManSimulate() : fsimSim.c , fsim.h
• Fsim_ManSimulateCi() : fsimSim.c
• Fsim_ManSimulateCo() : fsimSim.c
• Fsim_ManSimulateNode() : fsimSim.c
• Fsim_ManSimulateRound() : fsimSim.c
• Fsim_ManSimulateRound2() : fsimSim.c
• Fsim_ManSimulateRoundTest() : fsimSim.c
• Fsim_ManStoreNum() : fsimFront.c
• Fsim_ManStoreObj() : fsimFront.c
• Fsim_ManSwitchSimulate() : fsim.h
• Fsim_ManTerSimInfoGet() : fsimTsim.c
• Fsim_ManTerSimInfoInit() : fsimTsim.c
• Fsim_ManTerSimInfoSet() : fsimTsim.c
• Fsim_ManTerSimInfoTransfer() : fsimTsim.c
• Fsim_ManTerSimulate() : fsimTsim.c , fsim.h
• Fsim_ManTerSimulateCi() : fsimTsim.c
• Fsim_ManTerSimulateCo() : fsimTsim.c
• Fsim_ManTerSimulateNode() : fsimTsim.c
• Fsim_ManTerSimulateRound() : fsimTsim.c
• Fsim_ManTerStateCreate() : fsimTsim.c
• Fsim_ManTerStateHash() : fsimTsim.c
• Fsim_ManTerStateInsert() : fsimTsim.c
• Fsim_ManTerStateLookup() : fsimTsim.c
• Fsim_ManTerStateNext() : fsimTsim.c
• Fsim_ManTerStatePrint() : fsimTsim.c
• Fsim_ManTerStateSetNext() : fsimTsim.c
• Fsim_ManTest() : fsimMan.c , fsimInt.h
• Fsim_ManVerifyFront() : fsimFront.c
• Fsim_SimData() : fsimInt.h
• Fsim_SimDataCi() : fsimInt.h
• Fsim_SimDataCo() : fsimInt.h
• Fsim_Var2Lit() : fsimInt.h
• fsm_simplify() : hack.c
• ftaut_special_cases() : irred.c
• ftautology() : irred.c
• full_row() : setc.c , espresso.h
• Fx_FastExtract() : abcFx.c
• Fx_ManCompressCubes() : abcFx.c
• Fx_ManComputeLevel() : abcFx.c
• Fx_ManComputeLevelCube() : abcFx.c
• Fx_ManComputeLevelDiv() : abcFx.c
• Fx_ManCreateDivisors() : abcFx.c
• Fx_ManCreateLiterals() : abcFx.c
• Fx_ManCubeDoubleCubeDivisors() : abcFx.c
• Fx_ManCubeSingleCubeDivisors() : abcFx.c
• Fx_ManDivAddLits() : abcFx.c
• Fx_ManDivFindCubeFree() : abcFx.c
• Fx_ManDivFindPivots() : abcFx.c
• Fx_ManDivNormalize() : abcFx.c
• Fx_ManDivRemoveLits() : abcFx.c
• Fx_ManFindCommonPairs() : abcFx.c
• Fx_ManGetCubeVar() : abcFx.c
• Fx_ManGetFirstVarCube() : abcFx.c
• Fx_ManStart() : abcFx.c
• Fx_ManStop() : abcFx.c
• Fx_ManUpdate() : abcFx.c
• Fx_PrintDiv() : abcFx.c
• Fx_PrintDivArray() : abcFx.c
• Fx_PrintDivisors() : abcFx.c
• Fx_PrintDivLit() : abcFx.c
• Fx_PrintDivOne() : abcFx.c
• Fx_PrintDivOneReal() : abcFx.c
• Fx_PrintLiterals() : abcFx.c
• Fx_PrintMatrix() : abcFx.c
• Fx_PrintStats() : abcFx.c
• Fxu_CountPairDiffs() : fxuReduce.c
• Fxu_CreateCovers() : fxuCreate.c , fxu.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 , abcFxu.c
• Fxu_HeapDoubleCheck() : fxuHeapD.c , fxuInt.h
• Fxu_HeapDoubleCheckOne() : fxuInt.h , fxuHeapD.c
• Fxu_HeapDoubleDelete() : fxuInt.h , fxuHeapD.c
• 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() : fxuInt.h , fxuHeapD.c
• Fxu_HeapDoubleReadMaxWeight() : fxuInt.h , fxuHeapD.c
• Fxu_HeapDoubleResize() : fxuHeapD.c
• Fxu_HeapDoubleStart() : fxuInt.h , fxuHeapD.c
• Fxu_HeapDoubleStop() : fxuInt.h , fxuHeapD.c
• Fxu_HeapDoubleSwap() : fxuHeapD.c
• Fxu_HeapDoubleUpdate() : fxuInt.h , fxuHeapD.c
• Fxu_HeapSingleCheck() : fxuHeapS.c , fxuInt.h
• Fxu_HeapSingleCheckOne() : fxuHeapS.c , fxuInt.h
• Fxu_HeapSingleDelete() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleGetMax() : fxuHeapS.c , fxuInt.h
• Fxu_HeapSingleInsert() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleMoveDn() : fxuHeapS.c
• Fxu_HeapSingleMoveUp() : fxuHeapS.c
• Fxu_HeapSinglePrint() : fxuHeapS.c , fxuInt.h
• Fxu_HeapSingleReadMax() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleReadMaxWeight() : fxuInt.h , fxuHeapS.c
• Fxu_HeapSingleResize() : fxuHeapS.c
• Fxu_HeapSingleStart() : fxuHeapS.c , fxuInt.h
• Fxu_HeapSingleStop() : fxuHeapS.c , fxuInt.h
• Fxu_HeapSingleSwap() : fxuHeapS.c
• Fxu_HeapSingleUpdate() : fxuHeapS.c , fxuInt.h
• Fxu_ListCubeAddLiteral() : fxuInt.h , fxuList.c
• Fxu_ListCubeDelLiteral() : fxuList.c , fxuInt.h
• Fxu_ListDoubleAddPairFirst() : fxuInt.h , fxuList.c
• Fxu_ListDoubleAddPairLast() : fxuList.c , fxuInt.h
• Fxu_ListDoubleAddPairMiddle() : fxuInt.h , fxuList.c
• Fxu_ListDoubleAddPairPlace() : fxuList.c
• Fxu_ListDoubleDelPair() : fxuInt.h , fxuList.c
• Fxu_ListMatrixAddCube() : fxuInt.h , fxuList.c
• Fxu_ListMatrixAddSingle() : fxuInt.h , fxuList.c
• Fxu_ListMatrixAddVariable() : fxuList.c , fxuInt.h
• Fxu_ListMatrixDelCube() : fxuList.c , fxuInt.h
• Fxu_ListMatrixDelSingle() : fxuInt.h , fxuList.c
• Fxu_ListMatrixDelVariable() : fxuInt.h , fxuList.c
• 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() : fxuInt.h , fxuMatrix.c
• Fxu_MatrixAddDivisor() : fxuInt.h , fxuMatrix.c
• Fxu_MatrixAddLiteral() : fxuInt.h , fxuMatrix.c
• 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() : fxuSingle.c , fxuInt.h
• Fxu_MatrixComputeSinglesOneCollect() : fxuSingle.c
• Fxu_MatrixDelDivisor() : fxuInt.h , fxuMatrix.c
• Fxu_MatrixDelete() : fxuMatrix.c , fxuInt.h
• Fxu_MatrixDelLiteral() : fxuInt.h , fxuMatrix.c
• 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() : fxu.c , fxuInt.h
• Fxu_MatrixRingVarsUnmark() : fxuInt.h , fxu.c
• Fxu_MemFetch() : fxuInt.h , fxu.c
• Fxu_MemRecycle() : fxu.c , fxuInt.h
• Fxu_PairAdd() : fxuInt.h , fxuPair.c
• Fxu_PairAlloc() : fxuPair.c , fxuInt.h
• Fxu_PairAllocStorage() : fxuInt.h , fxuPair.c
• Fxu_PairCanonicize() : fxuPair.c , fxuInt.h
• Fxu_PairCanonicize2() : fxuPair.c
• Fxu_PairClearStorage() : fxuPair.c , fxuInt.h
• Fxu_PairCompare() : fxuInt.h , fxuPair.c
• Fxu_PairFreeStorage() : fxuPair.c , fxuInt.h
• Fxu_PairHashKey() : fxuPair.c , fxuInt.h
• Fxu_PairHashKeyArray() : fxuPair.c , fxuInt.h
• Fxu_PairHashKeyMv() : fxuInt.h
• Fxu_PreprocessCubePairs() : fxuCreate.c , fxuReduce.c
• Fxu_Select() : fxuSelect.c , fxuInt.h
• Fxu_SelectSCD() : fxuSelect.c , fxuInt.h
• 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() : fxuInt.h , fxuUpdate.c