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

- p -

• p : exorList.c
• 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
• pair_t : espresso.h
• pairvar() : espresso.h, pair.c
• PAR_THR_MAX : bmcBmcG.c, bmcBmcS.c
• PARSE_EQN_FLAG_ERROR : parseEqn.c
• PARSE_EQN_FLAG_OPER : parseEqn.c
• PARSE_EQN_FLAG_START : parseEqn.c
• PARSE_EQN_FLAG_VAR : parseEqn.c
• PARSE_EQN_OPER_AND : parseEqn.c
• PARSE_EQN_OPER_MARK : parseEqn.c
• PARSE_EQN_OPER_NEG : parseEqn.c
• PARSE_EQN_OPER_OR : parseEqn.c
• PARSE_EQN_OPER_XOR : parseEqn.c
• PARSE_EQN_STACKSIZE : parseEqn.c
• PARSE_EQN_SYM_AND : parseEqn.c
• PARSE_EQN_SYM_CLOSE : parseEqn.c
• PARSE_EQN_SYM_CONST0 : parseEqn.c
• PARSE_EQN_SYM_CONST1 : parseEqn.c
• PARSE_EQN_SYM_NEG : parseEqn.c
• PARSE_EQN_SYM_OPEN : parseEqn.c
• PARSE_EQN_SYM_OR : parseEqn.c
• PARSE_EQN_SYM_XOR : parseEqn.c
• PARSE_FLAG_ERROR : parseCore.c
• PARSE_FLAG_OPER : parseCore.c
• PARSE_FLAG_START : parseCore.c
• PARSE_FLAG_VAR : parseCore.c
• Parse_FormulaParser() : parse.h, parseCore.c
• Parse_FormulaParserEqn() : parseEqn.c
• PARSE_OPER_AND : parseCore.c
• PARSE_OPER_EQU : parseCore.c
• PARSE_OPER_FLL : parseCore.c
• PARSE_OPER_FLR : parseCore.c
• PARSE_OPER_MARK : parseCore.c
• PARSE_OPER_NEG : parseCore.c
• PARSE_OPER_OR : parseCore.c
• PARSE_OPER_XOR : parseCore.c
• parse_pla() : cvrin.c, espresso.h
• Parse_StackFn_t : parseInt.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_StackOp_t : parseInt.h
• 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
• PARSE_SYM_AND1 : parseCore.c
• PARSE_SYM_AND2 : parseCore.c
• PARSE_SYM_CLOSE : parseCore.c
• PARSE_SYM_CONST0 : parseCore.c
• PARSE_SYM_CONST1 : parseCore.c
• PARSE_SYM_EQU1 : parseCore.c
• PARSE_SYM_EQU2 : parseCore.c
• PARSE_SYM_EQU3 : parseCore.c
• PARSE_SYM_FLL1 : parseCore.c
• PARSE_SYM_FLL2 : parseCore.c
• PARSE_SYM_FLR1 : parseCore.c
• PARSE_SYM_FLR2 : parseCore.c
• PARSE_SYM_LOWER : parseCore.c
• PARSE_SYM_NEGAFT : parseCore.c
• PARSE_SYM_NEGBEF1 : parseCore.c
• PARSE_SYM_NEGBEF2 : parseCore.c
• PARSE_SYM_OPEN : parseCore.c
• PARSE_SYM_OR1 : parseCore.c
• PARSE_SYM_OR2 : parseCore.c
• PARSE_SYM_RAISE : parseCore.c
• PARSE_SYM_XOR : parseCore.c
• PARSE_SYM_XOR1 : parseCore.c
• PARSE_SYM_XOR2 : parseCore.c
• PARSE_SYM_XOR3 : parseCore.c
• parseFormulaCreateAST() : liveness.c, ltl_parser.c
• Part_Man_t : aigPart.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
• Part_One_t : aigPart.c
• PARTITION : sort.h
• Partition : place_gordian.h
• PARTITION_AREA_ONLY : place_gordian.h
• 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
• pBnd : giaBound.c, giaDup.c, abc.c
• pbv1() : espresso.h, set.c
• pc1() : cvrout.c, espresso.h
• pc2() : cvrout.c, espresso.h
• pc3() : espresso.h
• pclose() : util_old.h
• pcost : espresso.h
• pcover : espresso.h
• pcube : espresso.h
• Pdr_ForEachCube : pdrInv.c
• 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_Man_t : pdrInt.h
• 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_Obl_t : pdrInt.h
• Pdr_OblDeref() : pdrInt.h, pdrUtil.c
• Pdr_OblRef() : pdrInt.h, pdrUtil.c
• Pdr_OblStart() : pdrInt.h, pdrUtil.c
• PDR_ONE : pdrTsim.c
• Pdr_Par_t : pdr.h
• 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_Set_t : pdrInt.h
• 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
• PDR_UND : pdrTsim.c
• PDR_VAL0 : pdrUtil.c
• PDR_VAL1 : pdrUtil.c
• PDR_VALX : pdrUtil.c
• PDR_ZER : pdrTsim.c
• PEDANTIC_PARSING : parse.h
• PEEK_ARRAY : array.h
• PEEK_STACK : stack.h
• PER : cadical_parse.cpp
• perror() : util_old.h
• PF_CUT_MAX : giaPf.c
• Pf_Cut_t : giaPf.c
• Pf_CutForEachLit : giaPf.c
• Pf_CutForEachVar : giaPf.c
• PF_INFINITY : giaPf.c
• PF_LEAF_MAX : giaPf.c
• Pf_Man_t : giaPf.c
• 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_Mat_t : giaPf.c
• PF_NO_FUNC : giaPf.c
• PF_NO_LEAF : giaPf.c
• Pf_Obj_t : giaPf.c
• Pf_ObjForEachCut : giaPf.c
• Pf_ObjMergeOrder() : giaPf.c
• Pf_SetForEachCut : 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 : message.hpp
• phase_assignment() : espresso.h, opo.c
• phases : phases.h
• PL : ioWriteBook.c
• Pla_CubeForEachLit : pla.h
• Pla_CubeForEachLitIn : pla.h
• Pla_CubeForEachLitOut : pla.h
• Pla_End() : mainInit.c, plaCom.c
• PLA_FILE_F : pla.h
• PLA_FILE_FD : pla.h
• PLA_FILE_FDR : pla.h
• PLA_FILE_FR : pla.h
• PLA_FILE_NONE : pla.h
• Pla_File_t : pla.h
• Pla_ForEachCubeIn : pla.h
• Pla_ForEachCubeInOut : pla.h
• Pla_ForEachCubeInStart : pla.h
• Pla_ForEachCubeOut : pla.h
• Pla_GenFromMinterms() : plaMan.c
• Pla_GenPrimes() : plaMan.c
• Pla_GenRandom() : plaMan.c
• Pla_GenSorter() : plaMan.c
• PLA_HASH_VALUE_NUM : plaHash.c
• Pla_Init() : mainInit.c, plaCom.c
• PLA_labels() : cvrin.c, espresso.h
• PLA_LIT_DASH : pla.h
• PLA_LIT_FULL : pla.h
• PLA_LIT_ONE : pla.h
• Pla_Lit_t : pla.h
• PLA_LIT_UNUSED : plaHash.c
• PLA_LIT_ZERO : pla.h
• Pla_Man_t : pla.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_types : espresso.h, globals.c
• PLA_verify() : espresso.h, verify.c
• Pla_WritePla() : pla.h, plaWrite.c
• Pla_WritePlaInt() : plaWrite.c
• PLEASURE_type : espresso.h
• pLibStr : acbFunc.c
• pLibStr2 : acbFunc.c
• Pln_Man_t : acecPolyn.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
• pManMR : fretime.h, fretMain.c
• POKE_ARRAY : array.h
• POKE_STACK : stack.h
• POP_ARRAY : array.h
• POP_FIFO : fifo.h
• POP_STACK : stack.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
• Pos : deflate.h
• pos : espresso.h, globals.c
• Posf : deflate.h
• POSITIVE_PHASE : espresso.h
• PosStop : exorList.c
• POW2 : opo.c
• POWER2 : map.c
• ppair : espresso.h
• ppC1 : exorList.c
• ppC2 : exorList.c
• pPLA : espresso.h
• pqdownheap() : trees.c
• pqremove : trees.c
• Pr_Cls_t : pr.c
• Pr_Man_t : pr.h
• Pr_ManAddClause() : pr.c
• Pr_ManAlloc() : pr.c
• Pr_ManForEachClause : pr.c
• Pr_ManForEachClauseLearnt : pr.c
• Pr_ManForEachClauseRoot : 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
• PRB_ : casCore.c, casDec.c
• PRD : casCore.c
• PREFIX : build.c
• prepare_permutation_ntk() : abcSaucy.c
• PrepareBitSetModule() : exor.h, exorBits.c
• prepareFlopVector() : liveness.c
• preprocess_terminated_1 : terminate.h
• PRESET_DICT : zutil.h
• presortNets() : place_partition.c
• PrevID : exorList.c
• PrevPa : exorList.c
• PrevPq : exorList.c
• PrevPz : exorList.c
• PrevQa : exorList.c
• PrevQq : exorList.c
• Prf_Man_t : satProof2.h
• PRIME : espresso.h
• primes_consensus() : espresso.h, primes.c
• PRIMES_TIME : espresso.h
• print_bool : espresso.h
• print_cost() : cvrmisc.c, espresso.h
• print_cube() : cvrout.c, espresso.h
• print_expanded_cube() : cvrout.c, espresso.h
• PRINT_HASH : cadical_random.cpp
• print_node() : fretime.h, fretMain.c
• print_node2() : fretMain.c
• print_node3() : fretMain.c
• print_pair() : espresso.h, pair.c
• print_solution : espresso.h, globals.c
• print_time : espresso.h, util_old.h
• print_trace() : cvrmisc.c, espresso.h
• printAllIntVectors() : disjunctiveMonotone.c
• printAllIntVectorsStabil() : disjunctiveMonotone.c
• printCCtrInfo() : lucky.c
• printEncodedCube() : cecSatG2.c
• PRINTF_FORMAT : cadical.hpp, inttypes.hpp
• PRINTF_INT16_DEC_WIDTH : pstdint.h
• PRINTF_INT16_HEX_WIDTH : pstdint.h
• PRINTF_INT32_DEC_WIDTH : pstdint.h
• PRINTF_INT32_HEX_WIDTH : pstdint.h
• PRINTF_INT64_DEC_WIDTH : pstdint.h
• PRINTF_INT64_HEX_WIDTH : pstdint.h
• PRINTF_INT8_DEC_WIDTH : pstdint.h
• PRINTF_INT8_HEX_WIDTH : pstdint.h
• PRINTF_INTMAX_DEC_WIDTH : pstdint.h
• PRINTF_INTMAX_HEX_WIDTH : pstdint.h
• PRINTF_INTMAX_MODIFIER : pstdint.h
• PRINTF_LEAST16_MODIFIER : pstdint.h
• PRINTF_LEAST32_MODIFIER : pstdint.h
• PRINTF_UINT16_DEC_WIDTH : pstdint.h
• PRINTF_UINT32_DEC_WIDTH : pstdint.h
• PRINTF_UINT64_DEC_WIDTH : pstdint.h
• PRINTF_UINT8_DEC_WIDTH : pstdint.h
• printISOP() : cecSatG2.c
• printISOPLUT() : cecSatG2.c
• PrintQuequeStats() : exorList.c
• printSetting() : eSLIM.cpp
• printStats() : MainSat.cpp, MainSimp.cpp
• printVecPtrOfString() : liveness.c
• PRK : casCore.c, casDec.c
• PRK2 : casCore.c, casDec.c
• PROBING_PROPAGATION : proprobe.c
• PROFILE_ACTIVE : profile.hpp
• ProgressBar : bbrNtbdd.c, extra.h
• 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_ForeachClauseVec : satProof.c
• Proof_ForeachNodeVec : satProof.c
• Proof_ForeachNodeVec1 : satProof.c
• Proof_MarkUsed_rec() : satProof.c
• Proof_MarkUsedRec() : satProof.c
• Proof_NodeForeachFanin : satProof.c
• PROPAGATE_LITERAL : propbeyond.c, propinitially.c, proprobe.c, propsearch.c
• PROPAGATE_NAMES : liveness.c, liveness_sim.c
• propagate_wrapper : internal.hpp
• PROPAGATION_TYPE : propbeyond.c, propinitially.c, proprobe.c, propsearch.c
• Prove_Params_t : ivyFraig.c
• Prove_ParamsPrint() : fraigMan.c
• Prove_ParamsSetDefault() : fraig.h, fraigMan.c
• PRS_BLIF_END : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_GATE : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_INOUTS : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_INPUTS : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_LATCH : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_MODEL : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_NAMES : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_NONE : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_OUTPUTS : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_SHORT : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_SUBCKT : bacReadBlif.c, cbaReadBlif.c
• PRS_BLIF_UNKNOWN : bacReadBlif.c, cbaReadBlif.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_Man_t : cbaPrs.h
• Prs_ManBuildCbaBlif() : cba.h, cbaReadBlif.c
• Prs_ManBuildCbaVerilog() : cba.h, cbaReadVer.c
• Prs_ManForEachNameVec : cbaPrs.h
• 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_ManType_t : cbaPrs.h
• Prs_ManWriteBlif() : cba.h, cbaWriteBlif.c
• Prs_ManWriteVerilog() : cba.h, cbaWriteVer.c
• Prs_ManWriteVerilogArray() : cbaWriteVer.c
• Prs_Ntk_t : cbaPrs.h
• Prs_NtkAddVerilogDirectives() : cbaPrs.h, cbaReadVer.c
• Prs_NtkForEachBox : cbaPrs.h
• Prs_NtkForEachPi : cbaPrs.h
• Prs_NtkForEachPio : cbaPrs.h
• Prs_NtkForEachPo : cbaPrs.h
• Prs_ObjGetName() : cbaWriteVer.c
• PRS_VER_ALWAYS : bacReadVer.c, cbaPrs.h
• PRS_VER_ASSIGN : bacReadVer.c, cbaPrs.h
• PRS_VER_BEGIN : bacReadVer.c, cbaPrs.h
• PRS_VER_CASE : cbaPrs.h
• PRS_VER_DEFPARAM : bacReadVer.c, cbaPrs.h
• PRS_VER_END : bacReadVer.c, cbaPrs.h
• PRS_VER_ENDCASE : cbaPrs.h
• PRS_VER_ENDMODULE : bacReadVer.c, cbaPrs.h
• PRS_VER_FUNCTION : cbaPrs.h
• PRS_VER_INOUT : bacReadVer.c, cbaPrs.h
• PRS_VER_INPUT : bacReadVer.c, cbaPrs.h
• PRS_VER_MODULE : bacReadVer.c, cbaPrs.h
• PRS_VER_NONE : bacReadVer.c, cbaPrs.h
• PRS_VER_OUTPUT : bacReadVer.c, cbaPrs.h
• PRS_VER_REG : bacReadVer.c, cbaPrs.h
• PRS_VER_SIGNED : cbaPrs.h
• PRS_VER_UNKNOWN : bacReadVer.c, cbaPrs.h
• PRS_VER_WIRE : bacReadVer.c, cbaPrs.h
• Prs_VerInfo_t : cbaReadVer.c
• Prs_VerPrim_t : cbaReadVer.c
• PRT : cadical_stats.cpp
• ps1() : espresso.h, set.c
• pset : espresso.h
• pset_family : espresso.h
• Psr_Man_t : bacPrs.h
• Psr_ManBuildCba() : bac.h, bacPrsBuild.c
• Psr_ManBuildNtk() : bacPrsBuild.c
• Psr_ManCleanMap() : bacPrsBuild.c
• Psr_ManForEachNameVec : bacPrs.h
• 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_ManType_t : bacPrs.h
• Psr_ManWriteBlif() : bac.h, bacWriteBlif.c
• Psr_ManWriteVerilog() : bac.h, bacWriteVer.c
• Psr_ManWriteVerilogArray() : bacWriteVer.c
• Psr_Ntk_t : bacPrs.h
• Psr_NtkCountObjects() : bacPrsBuild.c
• Psr_NtkForEachBox : bacPrs.h
• Psr_NtkForEachPi : bacPrs.h
• Psr_NtkForEachPio : bacPrs.h
• Psr_NtkForEachPo : bacPrs.h
• ptime : util_old.h
• 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_GATE_AND : bacPtr.c
• PTR_GATE_BUF : bacPtr.c
• PTR_GATE_C0 : bacPtr.c
• PTR_GATE_C1 : bacPtr.c
• PTR_GATE_INV : bacPtr.c
• PTR_GATE_NAND : bacPtr.c
• PTR_GATE_NONE : bacPtr.c
• PTR_GATE_NOR : bacPtr.c
• PTR_GATE_OR : bacPtr.c
• PTR_GATE_UNKNOWN : bacPtr.c
• PTR_GATE_XNOR : bacPtr.c
• PTR_GATE_XOR : bacPtr.c
• Ptr_HopToType() : bacPtrAbc.c
• Ptr_ManCountNtk() : bacPtrAbc.c
• Ptr_ManExperiment() : bacPtrAbc.c
• PTR_NOT_EQUAL : st.c, stmm.c
• Ptr_ObjType_t : bacPtr.c
• PULL : infback.c
• PULLBYTE : infback.c, inflate.c
• PUP : inffast.c
• PUSH_ARRAY : array.h
• PUSH_STACK : stack.h
• PUSH_WATCHES : watch.h
• put_byte : deflate.h
• put_short : trees.c
• PUTINPUT : espresso.h
• PUTLOOP : espresso.h
• PUTOUTPUT : espresso.h
• putShortMSB() : deflate.c
• PUTSIZE : espresso.h
• pValues1__ : abcBm.c
• pValues2__ : abcBm.c