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

- p -

• pair_all() : espresso.h, pair.c
• pair_best_cost() : espresso.h, pair.c
• pair_free() : espresso.h, pair.c
• pair_new() : espresso.h, pair.c
• pair_save() : espresso.h, pair.c
• pairvar() : espresso.h, pair.c
• Parse_FormulaParser() : parse.h, parseCore.c
• Parse_FormulaParserEqn() : parseEqn.c
• parse_pla() : cvrin.c, espresso.h
• Parse_StackFnFree() : parseInt.h, parseStack.c
• Parse_StackFnIsEmpty() : parseInt.h, parseStack.c
• Parse_StackFnPop() : parseInt.h, parseStack.c
• Parse_StackFnPush() : parseInt.h, parseStack.c
• Parse_StackFnStart() : parseInt.h, parseStack.c
• Parse_StackOpFree() : parseInt.h, parseStack.c
• Parse_StackOpIsEmpty() : parseInt.h, parseStack.c
• Parse_StackOpPop() : parseInt.h, parseStack.c
• Parse_StackOpPush() : parseInt.h, parseStack.c
• Parse_StackOpStart() : parseInt.h, parseStack.c
• parseFormulaCreateAST() : liveness.c, ltl_parser.c
• Part_ManFetch() : aigPart.c
• Part_ManMergeEntry() : aigPart.c
• Part_ManRecycle() : aigPart.c
• Part_ManStart() : aigPart.c
• Part_ManStop() : aigPart.c
• Part_ManTransferEntry() : aigPart.c
• partitionEqualArea() : place_gordian.h, place_partition.c
• partitionScanlineMincut() : place_gordian.h, place_partition.c
• Pas_ManComputeCuts() : acecPa.c
• Pas_ManComputeCutsTest() : acecPa.c
• Pas_ManPhase() : acecPa.c
• Pas_ManPhase_rec() : acecPa.c
• Pas_ManVerifyPhase() : acecPa.c
• Pas_ManVerifyPhaseOne() : acecPa.c
• Pas_ManVerifyPhaseOne_rec() : acecPa.c
• Patt_ManOutputErrorCoverage() : giaPat2.c
• Patt_ManPatternErrorCoverage() : giaPat2.c
• Patt_ManProfileErrors() : giaPat2.c
• Patt_ManProfileErrorsOne() : giaPat2.c
• Patt_ManTransposeErrors() : giaPat2.c
• pbv1() : espresso.h, set.c
• pc1() : cvrout.c, espresso.h
• pc2() : cvrout.c, espresso.h
• pc3() : espresso.h
• pclose() : util_old.h
• Pdr_InvCheck() : pdrInv.c
• Pdr_InvCheck_int() : pdrInv.c
• Pdr_InvCounts() : pdrInv.c
• Pdr_InvMap() : pdrInv.c
• Pdr_InvMinimize() : pdrInv.c
• Pdr_InvMinimizeLits() : pdrInv.c
• Pdr_InvPrint() : pdrInv.c
• Pdr_InvPrintStr() : pdrInv.c
• Pdr_InvUsedFlopNum() : pdrInv.c
• Pdr_ManBlockCube() : pdrCore.c, pdrIncr.c
• Pdr_ManCheckContainment() : pdrCore.c, pdrInt.h
• Pdr_ManCheckCube() : pdrInt.h, pdrSat.c
• Pdr_ManCheckCubeCs() : pdrInt.h, pdrSat.c
• Pdr_ManCollectCone() : pdrTsim.c
• Pdr_ManCollectCone_rec() : pdrTsim.c
• Pdr_ManCollectCubes() : pdrInv.c
• Pdr_ManCollectValues() : pdrInt.h, pdrSat.c
• Pdr_ManCountFlops() : pdrInv.c
• Pdr_ManCountFlopsInv() : pdrInt.h, pdrInv.c
• Pdr_ManCountMap() : pdrClass.c
• Pdr_ManCountVariables() : pdrInv.c
• Pdr_ManCreateMap() : pdrClass.c
• Pdr_ManCreateSolver() : pdrInt.h, pdrSat.c
• Pdr_ManCubeToLits() : pdrInt.h, pdrSat.c
• Pdr_ManDeriveCex() : pdrInt.h, pdrMan.c
• Pdr_ManDeriveCexAbs() : pdrInt.h, pdrMan.c
• Pdr_ManDeriveFlopPriorities2() : pdrMan.c
• Pdr_ManDeriveFlopPriorities3() : pdrMan.c
• Pdr_ManDeriveInfinityClauses() : pdrInt.h, pdrInv.c
• Pdr_ManDeriveMarkNonInductive() : pdrInv.c
• Pdr_ManDeriveResult() : pdrTsim.c
• Pdr_ManDumpAig() : pdrInv.c
• Pdr_ManDumpClauses() : pdrInt.h, pdrInv.c
• Pdr_ManDumpString() : pdrInt.h, pdrInv.c
• Pdr_ManDupAigWithClauses() : pdrInv.c
• Pdr_ManEquivClasses() : pdrClass.c
• Pdr_ManExtendOne() : pdrTsim.c
• Pdr_ManExtendOneEval() : pdrTsim.c
• Pdr_ManExtendUndo() : pdrTsim.c
• Pdr_ManFetchSolver() : pdrInt.h, pdrSat.c
• Pdr_ManFindInvariantStart() : pdrInv.c
• Pdr_ManFreeVar() : pdrCnf.c, pdrInt.h
• Pdr_ManGeneralize() : pdrCore.c
• Pdr_ManGeneralize2() : pdrCore.c
• Pdr_ManLitsToCube() : pdrInt.h, pdrSat.c
• Pdr_ManNewSolver() : pdrCnf.c, pdrInt.h
• Pdr_ManPrintCex() : pdrTsim.c
• Pdr_ManPrintClauses() : pdrInt.h, pdrInv.c
• Pdr_ManPrintMap() : pdrClass.c
• Pdr_ManPrintProgress() : pdrInt.h, pdrInv.c
• Pdr_ManPushAndBlockClauses() : pdrCore.c
• Pdr_ManPushClauses() : pdrCore.c, pdrIncr.c
• Pdr_ManReduceClause() : pdrCore.c, pdrIncr.c
• Pdr_ManRehashWithMap() : pdrClass.c
• Pdr_ManReportInvariant() : pdrInt.h, pdrInv.c
• Pdr_ManSetDefaultParams() : pdr.h, pdrCore.c
• Pdr_ManSetPropertyOutput() : pdrInt.h, pdrSat.c
• Pdr_ManSimDataInit() : pdrTsim.c
• Pdr_ManSolve() : pdr.h, pdrCore.c
• Pdr_ManSolveInt() : pdrCore.c
• Pdr_ManSolverAddClause() : pdrInt.h, pdrSat.c
• Pdr_ManSortByPriority() : pdrCore.c
• Pdr_ManStart() : pdrInt.h, pdrMan.c
• Pdr_ManStop() : pdrInt.h, pdrMan.c
• Pdr_ManTernarySim() : pdrInt.h, pdrTsim.c
• Pdr_ManVerifyInvariant() : pdrInt.h, pdrInv.c
• Pdr_NtkFindSatAssign_rec() : pdrUtil.c
• Pdr_ObjRegNum() : pdrCnf.c, pdrInt.h
• Pdr_ObjSatVar() : pdrCnf.c, pdrInt.h
• Pdr_ObjSatVar2() : pdrCnf.c
• Pdr_OblDeref() : pdrInt.h, pdrUtil.c
• Pdr_OblRef() : pdrInt.h, pdrUtil.c
• Pdr_OblStart() : pdrInt.h, pdrUtil.c
• Pdr_QueueClean() : pdrInt.h, pdrUtil.c
• Pdr_QueueHead() : pdrInt.h, pdrUtil.c
• Pdr_QueueIsEmpty() : pdrInt.h, pdrUtil.c
• Pdr_QueuePop() : pdrInt.h, pdrUtil.c
• Pdr_QueuePrint() : pdrInt.h, pdrUtil.c
• Pdr_QueuePush() : pdrInt.h, pdrUtil.c
• Pdr_QueueStop() : pdrInt.h, pdrUtil.c
• Pdr_SetAlloc() : pdrInt.h, pdrUtil.c
• Pdr_SetCompare() : pdrInt.h, pdrUtil.c
• Pdr_SetContains() : pdrInt.h, pdrUtil.c
• Pdr_SetContainsSimple() : pdrInt.h, pdrUtil.c
• Pdr_SetCreate() : pdrInt.h, pdrUtil.c
• Pdr_SetCreateFrom() : pdrInt.h, pdrUtil.c
• Pdr_SetCreateSubset() : pdrInt.h, pdrUtil.c
• Pdr_SetDeref() : pdrInt.h, pdrUtil.c
• Pdr_SetDup() : pdrInt.h, pdrUtil.c
• Pdr_SetIsInit() : pdrInt.h, pdrUtil.c
• Pdr_SetPrint() : pdrInt.h, pdrUtil.c
• Pdr_SetPrintOne() : pdrInv.c
• Pdr_SetPrintStr() : pdrInt.h, pdrUtil.c
• Pdr_SetRef() : pdrInt.h, pdrUtil.c
• perror() : util_old.h
• Pf_ManComputeCuts() : giaPf.c
• Pf_ManComputeMapping() : giaPf.c
• Pf_ManPerformMapping() : giaPf.c
• Pf_ManPrintInit() : giaPf.c
• Pf_ManPrintQuit() : giaPf.c
• Pf_ManPrintStats() : giaPf.c
• Pf_ManSetDefaultPars() : giaPf.c
• Pf_ObjMergeOrder() : giaPf.c
• Pf_StoCreate() : giaPf.c
• Pf_StoCreateGate() : giaPf.c
• Pf_StoCreateGateAdd() : giaPf.c
• Pf_StoDelete() : giaPf.c
• Pf_StoDeriveMatches() : giaPf.c
• Pf_StoPrint() : giaPf.c
• Pf_StoPrintOne() : giaPf.c
• phase_assignment() : espresso.h, opo.c
• Pla_End() : mainInit.c, plaCom.c
• Pla_GenFromMinterms() : plaMan.c
• Pla_GenPrimes() : plaMan.c
• Pla_GenRandom() : plaMan.c
• Pla_GenSorter() : plaMan.c
• Pla_Init() : mainInit.c, plaCom.c
• PLA_labels() : cvrin.c, espresso.h
• Pla_ManComputeDist1Test() : pla.h, plaHash.c
• Pla_ManComputeDistance1() : plaHash.c
• Pla_ManComputeDistance1Int() : plaHash.c
• Pla_ManConvertFromBits() : pla.h, plaMan.c
• Pla_ManConvertToBits() : pla.h, plaMan.c
• Pla_ManDist1Merge() : pla.h, plaMerge.c
• Pla_ManDist1Num() : plaMan.c
• Pla_ManDist1NumTest() : pla.h, plaMan.c
• Pla_ManDumpBlif() : plaSimple.c
• Pla_ManDumpPla() : plaSimple.c
• Pla_ManExpendDirNum() : plaSimple.c
• Pla_ManFxMinimize() : plaSimple.c
• Pla_ManFxPerformSimple() : pla.h, plaSimple.c
• Pla_ManFxPrepare() : plaSimple.c
• Pla_ManGenerate() : pla.h, plaMan.c
• Pla_ManHashCubes() : plaHash.c
• Pla_ManHashCubes2() : plaHash.c
• Pla_ManHashDist1NumTest() : pla.h, plaHash.c
• Pla_ManHashDistance1() : plaHash.c
• Pla_ManPerformFxch() : plaFxch.c
• Pla_ManPrimesDetector() : pla.h, plaMan.c
• Pla_ManPrimesTable() : pla.h, plaMan.c
• PLA_permute() : espresso.h, verify.c
• Pla_PrintBinary() : plaSimple.c
• Pla_PrintCube() : plaHash.c
• Pla_ReadAddBody() : plaRead.c
• Pla_ReadFile() : plaRead.c
• Pla_ReadPla() : pla.h, plaRead.c
• Pla_ReadPlaBody() : plaRead.c
• Pla_ReadPlaHeader() : plaRead.c
• Pla_ReadPlaRemoveComments() : plaRead.c
• Pla_SetMan() : plaCom.c
• PLA_summary() : cvrin.c, espresso.h
• PLA_verify() : espresso.h, verify.c
• Pla_WritePla() : pla.h, plaWrite.c
• Pla_WritePlaInt() : plaWrite.c
• Pln_ManAlloc() : acecPolyn.c
• Pln_ManCompare3() : acecPolyn.c
• Pln_ManPrintFinal() : acecPolyn.c
• Pln_ManStop() : acecPolyn.c
• pls_group() : cvrout.c, espresso.h
• pls_label() : cvrout.c, espresso.h
• pls_output() : cvrout.c, espresso.h
• popen() : util_old.h
• populateAigPointerUnitGF() : liveness.c, ltl_parser.c
• populateBoolWithAigNodePtr() : liveness.c, ltl_parser.c
• populateFairnessVector() : liveness.c
• populateLivenessVector() : liveness.c
• populateSafetyAssertionVector() : liveness.c
• populateSafetyAssumptionVector() : liveness.c
• pqdownheap() : trees.c
• Pr_ManAddClause() : pr.c
• Pr_ManAlloc() : pr.c
• Pr_ManFree() : pr.c
• Pr_ManMemoryReport() : pr.c
• Pr_ManPrepareInter() : pr.c
• Pr_ManPrintClause() : pr.c
• Pr_ManPrintInterOne() : pr.c
• Pr_ManPrintResolvent() : pr.c
• Pr_ManProcessRoots() : pr.c
• Pr_ManProofRead() : pr.c
• Pr_ManProofRecordOne() : pr.c
• Pr_ManProofTest() : pr.c
• Pr_ManProofTraceOne() : pr.c
• Pr_ManProofWrite() : pr.c
• Pr_ManProofWriteOne() : pr.c
• Pr_ManPropagate() : pr.c
• prepare_permutation_ntk() : abcSaucy.c
• PrepareBitSetModule() : exor.h, exorBits.c
• prepareFlopVector() : liveness.c
• presortNets() : place_partition.c
• primes_consensus() : espresso.h, primes.c
• print_cost() : cvrmisc.c, espresso.h
• print_cube() : cvrout.c, espresso.h
• print_expanded_cube() : cvrout.c, espresso.h
• print_node() : fretime.h, fretMain.c
• print_node2() : fretMain.c
• print_node3() : fretMain.c
• print_pair() : espresso.h, pair.c
• print_trace() : cvrmisc.c, espresso.h
• printAllIntVectors() : disjunctiveMonotone.c
• printAllIntVectorsStabil() : disjunctiveMonotone.c
• printCCtrInfo() : lucky.c
• printEncodedCube() : cecSatG2.c
• printISOP() : cecSatG2.c
• printISOPLUT() : cecSatG2.c
• PrintQuequeStats() : exorList.c
• printSetting() : eSLIM.cpp
• printStats() : MainSat.cpp, MainSimp.cpp
• printVecPtrOfString() : liveness.c
• Proof_ClauseSetEnts() : satProof.c
• Proof_CleanCollected() : satProof.c
• Proof_CollectUsed_iter() : satProof.c
• Proof_CollectUsed_rec() : satProof.c
• Proof_CollectUsedIter() : satProof.c
• Proof_CollectUsedRec() : satProof.c
• Proof_DeriveCore() : satProof.c
• Proof_MarkUsed_rec() : satProof.c
• Proof_MarkUsedRec() : satProof.c
• Prove_ParamsPrint() : fraigMan.c
• Prove_ParamsSetDefault() : fraig.h, fraigMan.c
• Prs_CreateBitSignal() : cbaReadVer.c
• Prs_CreateBlifFindFon() : cbaReadBlif.c
• Prs_CreateBlifNtk() : cbaReadBlif.c
• Prs_CreateBlifPio() : cbaReadBlif.c
• Prs_CreateCatIn() : cbaReadVer.c
• Prs_CreateDetectRamPort() : cbaReadVer.c
• Prs_CreateDetectRams() : cbaReadVer.c
• Prs_CreateFlopSetReset() : cbaReadVer.c
• Prs_CreateGetMemSize() : cbaReadVer.c
• Prs_CreateOutConcat() : cbaReadVer.c
• Prs_CreateRange() : cbaReadVer.c
• Prs_CreateSignalIn() : cbaReadVer.c
• Prs_CreateSignalOut() : cbaReadVer.c
• Prs_CreateSlice() : cbaReadVer.c
• Prs_CreateVerilogFindFon() : cbaReadVer.c
• Prs_CreateVerilogNtk() : cbaReadVer.c
• Prs_CreateVerilogPio() : cbaReadVer.c
• Prs_ManBuildCbaBlif() : cba.h, cbaReadBlif.c
• Prs_ManBuildCbaVerilog() : cba.h, cbaReadVer.c
• Prs_ManPrintModules() : cbaReadVer.c
• Prs_ManReadBlif() : cbaReadBlif.c
• Prs_ManReadBlifTest() : cba.h, cbaReadBlif.c
• Prs_ManReadSignalList() : cbaReadVer.c
• Prs_ManReadVerilog() : cbaReadVer.c
• Prs_ManReadVerilogTest() : cba.h, cbaReadVer.c
• Prs_ManWriteBlif() : cba.h, cbaWriteBlif.c
• Prs_ManWriteVerilog() : cba.h, cbaWriteVer.c
• Prs_ManWriteVerilogArray() : cbaWriteVer.c
• Prs_NtkAddVerilogDirectives() : cbaPrs.h, cbaReadVer.c
• Prs_ObjGetName() : cbaWriteVer.c
• ps1() : espresso.h, set.c
• Psr_ManBuildCba() : bac.h, bacPrsBuild.c
• Psr_ManBuildNtk() : bacPrsBuild.c
• Psr_ManCleanMap() : bacPrsBuild.c
• Psr_ManIsMapped() : bacPrsBuild.c
• Psr_ManPrintModules() : bacReadVer.c
• Psr_ManRangeSizeArray() : bacPrsTrans.c
• Psr_ManReadBlif() : bac.h, bacReadBlif.c
• Psr_ManReadBlifTest() : bacReadBlif.c
• Psr_ManReadSignalList() : bacReadVer.c
• Psr_ManReadSmt() : bac.h
• Psr_ManReadVerilog() : bac.h, bacReadVer.c
• Psr_ManReadVerilogTest() : bacReadVer.c
• Psr_ManRemapBoxes() : bacPrsBuild.c
• Psr_ManRemapGate() : bacPrsBuild.c
• Psr_ManRemapOne() : bacPrsBuild.c
• Psr_ManWriteBlif() : bac.h, bacWriteBlif.c
• Psr_ManWriteVerilog() : bac.h, bacWriteVer.c
• Psr_ManWriteVerilogArray() : bacWriteVer.c
• Psr_NtkCountObjects() : bacPrsBuild.c
• Ptr_AbcDeriveBox() : bacPtrAbc.c
• Ptr_AbcDeriveBoxes() : bacPtrAbc.c
• Ptr_AbcDeriveDes() : bacPtrAbc.c
• Ptr_AbcDeriveInputs() : bacPtrAbc.c
• Ptr_AbcDeriveNode() : bacPtrAbc.c
• Ptr_AbcDeriveNtk() : bacPtrAbc.c
• Ptr_AbcDeriveOutputs() : bacPtrAbc.c
• Ptr_AbcObjName() : bacPtrAbc.c
• Ptr_HopToType() : bacPtrAbc.c
• Ptr_ManCountNtk() : bacPtrAbc.c
• Ptr_ManExperiment() : bacPtrAbc.c
• putShortMSB() : deflate.c