Here is a list of all functions with links to the files they belong to:

- f -

• 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
• fastEstimate() : place_base.h, place_inc.c
• fastTopoPlace() : place_base.h
• fatal() : cvrmisc.c, espresso.h
• 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_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
• FindDiffVars() : exor.h, exorBits.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
• firstShiftWithOneBit() : luckyFast16.c
• fixedtables() : infback.c, inflate.c
• flipConePdr() : kliveness.c
• flush_pending() : deflate.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_CompareNodesByLevelDecreasing() : fpgaUtils.c
• Fpga_CompareNodesByLevelIncreasing() : fpgaUtils.c
• Fpga_CountLevels() : fpgaInt.h
• Fpga_CutAlloc() : fpgaCut.c, fpgaCutUtils.c, fpgaInt.h
• 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_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_CutListAppend() : fpgaCutUtils.c, fpgaInt.h
• Fpga_CutListCount() : fpgaCutUtils.c, fpgaInt.h
• Fpga_CutListRecycle() : fpgaCutUtils.c, fpgaInt.h
• Fpga_CutMergeLists2() : fpgaCut.c
• Fpga_CutPrint() : fpgaCutUtils.c, fpgaInt.h
• 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_CutVolume() : fpga.h, fpgaTruth.c
• Fpga_CutVolume_rec() : fpgaTruth.c
• Fpga_DfsLim() : fpgaInt.h, fpgaUtils.c
• Fpga_End() : fpga.c
• Fpga_FindBestNode() : fpgaMatch.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() : 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_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_MappingCreatePiCuts() : fpga.h, fpgaCut.c, fpgaInt.h
• Fpga_MappingCuts() : fpgaCut.c, fpgaInt.h
• Fpga_MappingDfs() : fpgaInt.h, fpgaUtils.c
• Fpga_MappingDfsNodes() : fpgaInt.h, 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_MappingMatchesSwitch() : fpgaInt.h, fpgaMatch.c
• Fpga_MappingMaxLevel() : fpgaInt.h, fpgaUtils.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_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_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_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_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_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_FraigEquivence2() : fraSec.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_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_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_ImpDerive() : fra.h, fraImp.c
• Fra_ImpRecordInManager() : fra.h, fraImp.c
• Fra_ImpRefineUsingCex() : fra.h, fraImp.c
• 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_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_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_SecSetDefaultParams() : fra.h, fraSec.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_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() : fra.h, fraSim.c
• Fra_SmlStop() : fra.h, fraSim.c
• Fraig_BitStringCountOnes() : fraigInt.h, fraigUtil.c
• Fraig_CheckTfi() : fraig.h, fraigUtil.c
• Fraig_CheckTfi2() : 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() : fraigInt.h, fraigUtil.c
• Fraig_DetectFanoutFreeCone_rec() : fraigSat.c
• Fraig_DetectFanoutFreeConeMux_rec() : fraigSat.c
• Fraig_Dfs() : fraig.h, 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_FeedBackCompress() : fraigFeed.c, fraigInt.h
• Fraig_FeedBackInit() : fraigFeed.c, fraigInt.h
• Fraig_FeedBackTest() : fraigInt.h
• Fraig_FindFirstDiff() : fraigInt.h, fraigTable.c
• Fraig_GetMaxLevel() : fraig.h, fraigUtil.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() : 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() : 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() : 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_ManSetTryProve() : fraig.h, fraigApi.c
• 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() : fraigInt.h, fraigMem.c
• Fraig_MemFixedEntryRecycle() : fraigInt.h, fraigMem.c
• Fraig_MemFixedReadMemUsage() : fraigInt.h, fraigMem.c
• Fraig_MemFixedRestart() : fraigInt.h, fraigMem.c
• Fraig_MemFixedStart() : fraigInt.h, fraigMem.c
• Fraig_MemFixedStop() : fraigInt.h, fraigMem.c
• 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() : fraig.h, fraigApi.c
• Fraig_NodeCountPis() : fraigInt.h
• Fraig_NodeCountSuppVars() : fraigInt.h
• Fraig_NodeCreate() : fraigInt.h, fraigNode.c
• Fraig_NodeCreateConst() : fraigInt.h, fraigNode.c
• Fraig_NodeCreatePi() : fraigInt.h, fraigNode.c
• Fraig_NodeExor() : fraig.h, fraigApi.c
• Fraig_NodeGetFanoutNum() : fraigFanout.c, fraigInt.h
• Fraig_NodeIsAnd() : fraig.h, fraigApi.c
• Fraig_NodeIsConst() : fraig.h, fraigApi.c
• Fraig_NodeIsEquivalent() : fraig.h, fraigSat.c
• Fraig_NodeIsExor() : fraigInt.h, fraigUtil.c
• Fraig_NodeIsExorType() : fraigInt.h, fraigUtil.c
• Fraig_NodeIsImplification() : 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() : fraig.h, fraigApi.c
• 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() : 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() : fraig.h, fraigApi.c
• 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() : fraigInt.h, fraigUtil.c
• Fraig_NodeSimsContained() : fraigInt.h, fraigUtil.c
• Fraig_NodeSimulate() : fraigInt.h, fraigNode.c
• Fraig_NodeTransferFanout() : fraigFanout.c
• Fraig_NodeVecAlloc() : fraig.h, fraigVec.c
• Fraig_NodeVecClear() : fraig.h, fraigVec.c
• 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() : fraig.h, fraigVec.c
• Fraig_NodeVecPushUnique() : fraig.h, fraigVec.c
• Fraig_NodeVecPushUniqueOrder() : fraig.h, fraigVec.c
• Fraig_NodeVecPushUniqueOrderByLevel() : fraig.h, fraigVec.c
• Fraig_NodeVecReadArray() : fraig.h, fraigVec.c
• Fraig_NodeVecReadEntry() : fraig.h, fraigVec.c
• Fraig_NodeVecReadSize() : fraig.h, fraigVec.c
• Fraig_NodeVecRemove() : fraig.h, fraigVec.c
• Fraig_NodeVecShrink() : fraig.h, fraigVec.c
• Fraig_NodeVecSortByLevel() : fraig.h, fraigVec.c
• Fraig_NodeVecSortByNumber() : fraig.h, fraigVec.c
• Fraig_NodeVecSortByRefCount() : fraigInt.h, fraigVec.c
• Fraig_NodeVecWriteEntry() : fraig.h, fraigVec.c
• Fraig_ParamsSetDefault() : fraig.h, fraigMan.c
• Fraig_ParamsSetDefaultFull() : fraig.h, fraigMan.c
• Fraig_PrintBinary() : fraigInt.h, fraigUtil.c
• Fraig_PrintNode() : fraigUtil.c
• Fraig_TablePrintStatsF() : fraigInt.h, fraigTable.c
• Fraig_TablePrintStatsF0() : fraigInt.h, fraigTable.c
• Fraig_TablePrintStatsS() : fraigInt.h, fraigTable.c
• Fraig_TableRehashF0() : fraigInt.h, fraigTable.c
• Fraig_UtilInfoAlloc() : fraigMan.c
• Fraig_VarsStudy() : fraigSat.c
• Frc_DumpGraphIntoFile() : giaForce.c
• Frc_ManArrayShuffle() : giaForce.c
• Frc_ManCollectCos() : giaForce.c
• Frc_ManCollectSuper() : giaForce.c
• Frc_ManCollectSuper_rec() : 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_ManPlaceDfs() : giaForce.c
• Frc_ManPlaceDfs_rec() : giaForce.c
• Frc_ManPlaceDfsBoth() : giaForce.c
• Frc_ManPlacementRefine() : giaForce.c
• Frc_ManPlaceRandom() : giaForce.c
• Frc_ManPrintStats() : giaForce.c
• Frc_ManStart() : giaForce.c
• Frc_ManStartSimple() : giaForce.c
• Frc_ManStop() : giaForce.c
• Frc_ManTransformRefs() : giaForce.c
• Frc_ObjAddFanin() : giaForce.c
• Frc_ObjFanoutsAreCos() : giaForce.c
• free() : util_old.h
• free_PLA() : cvrin.c, espresso.h
• freeArray() : lucky.c
• freeArrayB() : lucky.c
• freeCycleCtr() : lucky.c
• freePermInfoPtr() : lucky.h, luckyInt.h, luckySimple.c
• Fsim_ManCreate() : fsimInt.h, fsimMan.c
• Fsim_ManCreate_rec() : fsimMan.c
• Fsim_ManDelete() : fsimInt.h, fsimMan.c
• Fsim_ManFront() : fsimFront.c, fsimInt.h
• Fsim_ManGenerateCounter() : fsimSim.c
• Fsim_ManSetDefaultParamsSim() : fsim.h, fsimCore.c
• Fsim_ManSetDefaultParamsSwitch() : fsim.h, fsimCore.c
• Fsim_ManSimulate() : fsim.h, fsimSim.c
• Fsim_ManSimulateRoundTest() : fsimSim.c
• Fsim_ManSwitchSimulate() : fsim.h
• Fsim_ManTerSimulate() : fsim.h, fsimTsim.c
• Fsim_ManTerStateCreate() : fsimTsim.c
• Fsim_ManTerStateHash() : fsimTsim.c
• Fsim_ManTerStateInsert() : fsimTsim.c
• Fsim_ManTerStateLookup() : fsimTsim.c
• Fsim_ManTerStatePrint() : fsimTsim.c
• Fsim_ManTest() : fsimInt.h, fsimMan.c
• Fsim_ManVerifyFront() : fsimFront.c
• full_row() : espresso.h, setc.c
• Fx_FastExtract() : abcFx.c
• Fx_ManComputeLevel() : abcFx.c
• Fx_ManCreateDivisors() : abcFx.c
• Fx_ManCreateLiterals() : abcFx.c
• Fx_ManCubeDoubleCubeDivisors() : abcFx.c
• Fx_ManCubeSingleCubeDivisors() : abcFx.c
• Fx_ManDivFindCubeFree() : abcFx.c
• Fx_ManFindCommonPairs() : abcFx.c
• Fx_ManStart() : abcFx.c
• Fx_ManStop() : abcFx.c
• Fx_ManUpdate() : abcFx.c
• Fxch_CubesGruping() : Fxch.c
• Fxch_CubesUnGruping() : Fxch.c
• Fxch_DivAdd() : Fxch.h, FxchDiv.c
• Fxch_DivCreate() : Fxch.h, FxchDiv.c
• Fxch_DivIsNotConstant1() : Fxch.h, FxchDiv.c
• Fxch_DivisorAdd() : plaFxch.c
• Fxch_DivisorRemove() : plaFxch.c
• Fxch_DivPrint() : Fxch.h, FxchDiv.c
• Fxch_DivRemove() : Fxch.h, FxchDiv.c
• Fxch_DivRemoveLits() : Fxch.h, FxchDiv.c
• Fxch_DivSepareteCubes() : Fxch.h, FxchDiv.c
• Fxch_FastExtract() : Fxch.c, Fxch.h
• Fxch_ManAlloc() : Fxch.h, FxchMan.c
• Fxch_ManComputeLevel() : Fxch.h, FxchMan.c
• Fxch_ManComputeLevelCube() : Fxch.h, FxchMan.c
• Fxch_ManComputeLevelDiv() : Fxch.h, FxchMan.c
• Fxch_ManCreateDivisors() : plaFxch.c
• Fxch_ManDivCreate() : Fxch.h, FxchMan.c
• Fxch_ManFastExtract() : plaFxch.c
• Fxch_ManFree() : Fxch.h, FxchMan.c
• Fxch_ManGenerateLitHashKeys() : Fxch.h, FxchMan.c
• Fxch_ManMapLiteralsIntoCubes() : Fxch.h, FxchMan.c
• Fxch_ManPrintDivs() : Fxch.h, FxchMan.c
• Fxch_ManPrintStats() : Fxch.h, FxchMan.c
• Fxch_ManSCHashTablesFree() : Fxch.h, FxchMan.c
• Fxch_ManSCHashTablesInit() : Fxch.h, FxchMan.c
• Fxch_ManStart() : plaFxch.c
• Fxch_ManStop() : plaFxch.c
• Fxch_ManUpdate() : plaFxch.c, Fxch.h, FxchMan.c
• Fxch_ManWriteBlif() : plaFxch.c
• Fxch_SCHashTableCreate() : Fxch.h, FxchSCHashTable.c
• Fxch_SCHashTableDelete() : Fxch.h, FxchSCHashTable.c
• Fxch_SCHashTableInsert() : Fxch.h, FxchSCHashTable.c
• Fxch_SCHashTableMemory() : Fxch.h, FxchSCHashTable.c
• Fxch_SCHashTablePrint() : Fxch.h, FxchSCHashTable.c
• Fxch_SCHashTableRemove() : Fxch.h, FxchSCHashTable.c
• Fxch_TabDoubleDivisors() : plaFxch.c
• Fxch_TabSingleDivisors() : plaFxch.c
• Fxu_CreateCovers() : fxu.c, fxuCreate.c
• Fxu_CreateMatrix() : fxu.c, fxuCreate.c
• Fxu_FastExtract() : abcFxu.c, fxu.c
• Fxu_HeapDoubleCheck() : fxuHeapD.c, fxuInt.h
• Fxu_HeapDoubleCheckOne() : fxuHeapD.c, fxuInt.h
• Fxu_HeapDoubleDelete() : fxuHeapD.c, fxuInt.h
• Fxu_HeapDoubleGetMax() : fxuHeapD.c, fxuInt.h
• Fxu_HeapDoubleInsert() : fxuHeapD.c, fxuInt.h
• Fxu_HeapDoublePrint() : fxuHeapD.c, fxuInt.h
• Fxu_HeapDoubleReadMax() : fxuHeapD.c, fxuInt.h
• Fxu_HeapDoubleReadMaxWeight() : fxuHeapD.c, fxuInt.h
• Fxu_HeapDoubleStart() : fxuHeapD.c, fxuInt.h
• Fxu_HeapDoubleStop() : fxuHeapD.c, fxuInt.h
• Fxu_HeapDoubleUpdate() : fxuHeapD.c, fxuInt.h
• Fxu_HeapSingleCheck() : fxuHeapS.c, fxuInt.h
• Fxu_HeapSingleCheckOne() : fxuHeapS.c, fxuInt.h
• Fxu_HeapSingleDelete() : fxuHeapS.c, fxuInt.h
• Fxu_HeapSingleGetMax() : fxuHeapS.c, fxuInt.h
• Fxu_HeapSingleInsert() : fxuHeapS.c, fxuInt.h
• Fxu_HeapSinglePrint() : fxuHeapS.c, fxuInt.h
• Fxu_HeapSingleReadMax() : fxuHeapS.c, fxuInt.h
• Fxu_HeapSingleReadMaxWeight() : fxuHeapS.c, fxuInt.h
• Fxu_HeapSingleStart() : fxuHeapS.c, fxuInt.h
• Fxu_HeapSingleStop() : fxuHeapS.c, fxuInt.h
• Fxu_HeapSingleUpdate() : fxuHeapS.c, fxuInt.h
• Fxu_ListCubeAddLiteral() : fxuInt.h, fxuList.c
• Fxu_ListCubeDelLiteral() : fxuInt.h, fxuList.c
• Fxu_ListDoubleAddPairFirst() : fxuInt.h, fxuList.c
• Fxu_ListDoubleAddPairLast() : fxuInt.h, fxuList.c
• 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() : fxuInt.h, fxuList.c
• Fxu_ListMatrixDelCube() : fxuInt.h, fxuList.c
• Fxu_ListMatrixDelSingle() : fxuInt.h, fxuList.c
• Fxu_ListMatrixDelVariable() : fxuInt.h, fxuList.c
• Fxu_ListTableAddDivisor() : fxuInt.h, fxuList.c
• Fxu_ListTableDelDivisor() : fxuInt.h, fxuList.c
• Fxu_ListVarAddLiteral() : fxuInt.h, fxuList.c
• 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() : fxuInt.h, fxuMatrix.c
• Fxu_MatrixAllocate() : fxuInt.h, fxuMatrix.c
• Fxu_MatrixComputeSingles() : fxuInt.h, fxuSingle.c
• Fxu_MatrixComputeSinglesOne() : fxuInt.h, fxuSingle.c
• Fxu_MatrixDelDivisor() : fxuInt.h, fxuMatrix.c
• Fxu_MatrixDelete() : fxuInt.h, fxuMatrix.c
• Fxu_MatrixDelLiteral() : fxuInt.h, fxuMatrix.c
• Fxu_MatrixFindDouble() : fxuSelect.c
• Fxu_MatrixGetDoubleVars() : fxuSelect.c
• Fxu_MatrixPrint() : fxuInt.h, fxuPrint.c
• Fxu_MatrixPrintDivisorProfile() : fxuInt.h, fxuPrint.c
• Fxu_MatrixRingCubesUnmark() : fxu.c, fxuInt.h
• Fxu_MatrixRingVarsUnmark() : fxu.c, fxuInt.h
• Fxu_MemFetch() : fxu.c, fxuInt.h
• Fxu_MemRecycle() : fxu.c, fxuInt.h
• Fxu_PairAdd() : fxuInt.h, fxuPair.c
• Fxu_PairAlloc() : fxuInt.h, fxuPair.c
• Fxu_PairAllocStorage() : fxuInt.h, fxuPair.c
• Fxu_PairCanonicize() : fxuInt.h, fxuPair.c
• Fxu_PairCanonicize2() : fxuPair.c
• Fxu_PairClearStorage() : fxuInt.h, fxuPair.c
• Fxu_PairCompare() : fxuInt.h, fxuPair.c
• Fxu_PairFreeStorage() : fxuInt.h, fxuPair.c
• Fxu_PairHashKey() : fxuInt.h, fxuPair.c
• Fxu_PairHashKeyArray() : fxuInt.h, fxuPair.c
• Fxu_PairHashKeyMv() : fxuInt.h
• Fxu_PreprocessCubePairs() : fxuCreate.c, fxuReduce.c
• Fxu_Select() : fxuInt.h, fxuSelect.c
• Fxu_SelectSCD() : fxuInt.h, fxuSelect.c
• Fxu_SingleCountCoincidence() : fxuInt.h, fxuSingle.c
• Fxu_Update() : fxuInt.h, fxuUpdate.c
• Fxu_UpdateDouble() : fxuInt.h, fxuUpdate.c
• Fxu_UpdateSingle() : fxuInt.h, fxuUpdate.c