- p -

• pair_all() : espresso.h , pair.c
• pair_best_cost() : pair.c , espresso.h
• pair_free() : espresso.h , pair.c
• pair_new() : pair.c , espresso.h
• pair_save() : espresso.h , pair.c
• PairInTables() : cuddDecomp.c
• pairvar() : espresso.h , pair.c
• Parse_FormulaParser() : parse.h , parseCore.c
• Parse_FormulaParserEqn() : parseEqn.c
• Parse_ParserPerformTopOp() : parseCore.c , 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() : parseStack.c , parseInt.h
• 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_ManFetchEntry() : aigPart.c
• Part_ManMergeEntry() : aigPart.c
• Part_ManRecycle() : aigPart.c
• Part_ManRecycleEntry() : aigPart.c
• Part_ManStart() : aigPart.c
• Part_ManStop() : aigPart.c
• Part_ManTransferEntry() : aigPart.c
• Part_OneNext() : aigPart.c
• Part_OneSetNext() : aigPart.c
• Part_SizeType() : aigPart.c
• partition() : abcSaucy.c
• partitionEqualArea() : place_gordian.h , place_partition.c
• partitionScanlineMincut() : place_gordian.h , place_partition.c
• pbv1() : espresso.h , set.c
• pc1() : cvrout.c , espresso.h
• pc2() : espresso.h , cvrout.c
• pc3() : espresso.h
• pclose() : util_old.h
• Pdr_ManBlockCube() : pdrCore.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_ManCountMap() : pdrClass.c
• Pdr_ManCountVariables() : pdrInv.c
• Pdr_ManCreateMap() : pdrClass.c
• Pdr_ManCreateSolver() : pdrInt.h , pdrSat.c
• Pdr_ManCubeJust() : pdrInt.h , pdrUtil.c
• Pdr_ManCubeToLits() : pdrInt.h , pdrSat.c
• Pdr_ManDeriveCex() : pdrInt.h , pdrMan.c
• Pdr_ManDeriveResult() : pdrTsim.c
• Pdr_ManDumpAig() : pdrInv.c
• Pdr_ManDumpClauses() : 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_ManLitsToCube() : pdrInt.h , pdrSat.c
• Pdr_ManNewSolver() : pdrCnf.c , pdrInt.h
• Pdr_ManNewSolver1() : pdrCnf.c
• Pdr_ManNewSolver2() : pdrCnf.c
• Pdr_ManPrintCex() : pdrTsim.c
• Pdr_ManPrintClauses() : pdrInt.h , pdrInv.c
• Pdr_ManPrintMap() : pdrClass.c
• Pdr_ManPrintProgress() : pdrInt.h , pdrInv.c
• Pdr_ManPushClauses() : pdrCore.c
• Pdr_ManReduceClause() : pdrCore.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_ManSimInfoAnd() : pdrTsim.c
• Pdr_ManSimInfoGet() : pdrTsim.c
• Pdr_ManSimInfoNot() : pdrTsim.c
• Pdr_ManSimInfoSet() : pdrTsim.c
• Pdr_ManSolve() : pdr.h , pdrCore.c
• Pdr_ManSolveInt() : pdrCore.c
• Pdr_ManSolver() : pdrInt.h
• 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_ManTimeLimit() : pdrInt.h
• Pdr_ManVerifyInvariant() : pdrInt.h , pdrInv.c
• Pdr_NtkFindSatAssign_rec() : pdrUtil.c
• Pdr_ObjRegNum() : pdrCnf.c , pdrInt.h
• Pdr_ObjRegNum1() : pdrCnf.c
• Pdr_ObjRegNum2() : pdrCnf.c
• Pdr_ObjSatValue() : pdrUtil.c
• Pdr_ObjSatVar() : pdrCnf.c , pdrInt.h
• Pdr_ObjSatVar1() : pdrCnf.c
• Pdr_ObjSatVar2() : pdrCnf.c
• Pdr_ObjSatVar2FindOrAdd() : 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_SetRef() : pdrUtil.c , pdrInt.h
• perror() : util_old.h
• phase_assignment() : espresso.h , opo.c
• pick_all_the_pairs() : abcSaucy.c
• PickOnePair() : cuddDecomp.c
• PLA_labels() : cvrin.c , espresso.h
• PLA_permute() : espresso.h , verify.c
• PLA_summary() : cvrin.c , espresso.h
• PLA_verify() : espresso.h , verify.c
• pls_group() : cvrout.c , espresso.h
• pls_label() : cvrout.c , espresso.h
• pls_output() : cvrout.c , espresso.h
• PMX() : cuddGenetic.c
• popen() : util_old.h
• populateAigPointerUnitGF() : liveness.c , ltl_parser.c
• populateBoolWithAigNodePtr() : liveness.c , ltl_parser.c
• populateFairnessVector() : liveness.c , liveness_sim.c
• populateLivenessVector() : liveness.c , liveness_sim.c
• populateSafetyAssertionVector() : liveness.c
• populateSafetyAssumptionVector() : liveness.c
• pqdownheap() : trees.c
• Pr_ManAddClause() : pr.c
• Pr_ManAlloc() : pr.c
• Pr_ManCancelUntil() : pr.c
• Pr_ManEnqueue() : pr.c
• Pr_ManFree() : pr.c
• Pr_ManMemoryFetch() : pr.c
• Pr_ManMemoryReport() : pr.c
• Pr_ManMemoryStop() : 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
• Pr_ManPropagateOne() : pr.c
• Pr_ManResize() : pr.c
• Pr_ManWatchClause() : pr.c
• prepare_new_block() : bzlib.c
• prepare_permutation() : abcSaucy.c
• prepare_permutation_ntk() : abcSaucy.c
• prepareFlopVector() : liveness.c
• presortNets() : place_partition.c
• Prf_BitWordNum() : satProof2.h
• Prf_ManAddSaved() : satProof2.h
• Prf_ManAlloc() : satProof2.h
• Prf_ManChainResolve() : satProof2.h
• Prf_ManChainStart() : satProof2.h
• Prf_ManChainStop() : satProof2.h
• Prf_ManClauseInfo() : satProof2.h
• Prf_ManClearNewInfo() : satProof2.h
• Prf_ManCompact() : satProof2.h
• Prf_ManGrow() : satProof2.h
• Prf_ManMemory() : satProof2.h
• Prf_ManRestart() : satProof2.h
• Prf_ManShrink() : satProof2.h
• Prf_ManSize() : satProof2.h
• Prf_ManStop() : satProof2.h
• Prf_ManStopP() : satProof2.h
• Prf_ManUnsatCore() : satProof2.h
• primes_consensus() : primes.c , espresso.h
• primes_consensus_merge() : primes.c
• primes_consensus_special_cases() : primes.c
• print_automorphism_ntk() : abcSaucy.c
• print_automorphism_ntk2() : abcSaucy.c
• print_automorphism_quiet() : abcSaucy.c
• print_cost() : cvrmisc.c , espresso.h
• print_cube() : cvrout.c , espresso.h
• print_expanded_cube() : espresso.h , cvrout.c
• print_pair() : espresso.h , pair.c
• print_partition() : abcSaucy.c
• print_stats() : abcSaucy.c
• print_trace() : cvrmisc.c , espresso.h
• printAllIntVectors() : disjunctiveMonotone.c
• printAllIntVectorsStabil() : disjunctiveMonotone.c
• printCCtrInfo() : lucky.c
• printlits() : satSolver2.c , satSolver.c
• printStats() : MainSimp.cpp , MainSat.cpp
• printVecPtrOfString() : liveness_sim.c , liveness.c
• proof_chain_resolve() : satSolver2.c
• proof_chain_start() : satSolver2.c
• proof_chain_stop() : satSolver2.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
• Proof_NodeRead() : satProof.c
• Proof_NodeWordNum() : satProof.c
• Prove_ParamsPrint() : fraigMan.c
• Prove_ParamsSetDefault() : fraig.h , fraigMan.c
• ps1() : espresso.h , set.c
• Ptr_HopToType() : cbaSimple.c
• Ptr_ManCheckArray() : cbaBuild.c , cbaSimple.c
• Ptr_ManConvert() : cbaBuild.c
• Ptr_ManConvertNtk() : cbaBuild.c
• Ptr_ManConvertNtkInter() : cbaBuild.c
• Ptr_ManDumpArrarArrayToInt() : cbaBuild.c
• Ptr_ManDumpArrayToInt() : cbaBuild.c
• Ptr_ManDumpBox() : cbaSimple.c
• Ptr_ManDumpBoxes() : cbaSimple.c
• Ptr_ManDumpBoxesToBlif() : cbaSimple.c
• Ptr_ManDumpBoxesToFile() : cbaSimple.c
• Ptr_ManDumpBoxToBlif() : cbaSimple.c
• Ptr_ManDumpBoxToFile() : cbaSimple.c
• Ptr_ManDumpDes() : cbaSimple.c
• Ptr_ManDumpInputs() : cbaSimple.c
• Ptr_ManDumpModuleToBlif() : cbaSimple.c
• Ptr_ManDumpModuleToFile() : cbaSimple.c
• Ptr_ManDumpNode() : cbaSimple.c
• Ptr_ManDumpNodes() : cbaSimple.c
• Ptr_ManDumpNodesToBlif() : cbaSimple.c
• Ptr_ManDumpNodesToFile() : cbaSimple.c
• Ptr_ManDumpNodeToBlif() : cbaSimple.c
• Ptr_ManDumpNodeToFile() : cbaSimple.c
• Ptr_ManDumpNtk() : cbaSimple.c
• Ptr_ManDumpNtkToInt() : cbaBuild.c
• Ptr_ManDumpOutputs() : cbaSimple.c
• Ptr_ManDumpSignalsToBlif() : cbaSimple.c
• Ptr_ManDumpSignalsToFile() : cbaSimple.c
• Ptr_ManDumpToBlif() : cbaSimple.c
• Ptr_ManDumpToFile() : cbaSimple.c
• Ptr_ManDumpToInt() : cbaBuild.c
• Ptr_ManExperiment() : cbaSimple.c
• Ptr_ManFindInputOutputNumbers() : cbaBuild.c
• Ptr_ManFreeDes() : cbaSimple.c
• Ptr_ManFreeNtk() : cbaSimple.c
• Ptr_ManMemArray() : cbaSimple.c
• Ptr_ManMemArrayArray() : cbaSimple.c
• Ptr_ManMemDes() : cbaSimple.c
• Ptr_ManMemNtk() : cbaSimple.c
• Ptr_ObjName() : cbaSimple.c
• Ptr_SopToType() : cbaSimple.c
• Ptr_TypeToName() : cbaSimple.c
• Ptr_TypeToSop() : cbaSimple.c
• pushDown() : cuddExact.c
• putShortMSB() : deflate.c