Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- p -

• P : kitPerm.c
• p : llb3Image.c
• page : cuddSubsetHB.c
• pageIndex : cuddSubsetHB.c
• pageSize : cuddSubsetHB.c
• pair_all() : espresso.h , pair.c
• pair_best_cost() : espresso.h , pair.c
• PAIR_CR : cuddDecomp.c
• pair_free() : espresso.h , pair.c
• pair_minim_strategy : pair.c
• pair_new() : espresso.h , pair.c
• pair_save() : espresso.h , pair.c
• PAIR_ST : cuddDecomp.c
• pair_t : espresso.h
• PairInTables() : cuddDecomp.c
• pairvar() : espresso.h , pair.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_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_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_ParserPerformTopOp() : parseCore.c , parseEqn.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() : parseStack.c , parseInt.h
• 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_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_One_t : aigPart.c
• Part_OneNext() : aigPart.c
• Part_OneSetNext() : aigPart.c
• Part_SizeType() : aigPart.c
• partition() : abcSaucy.c
• Partition : place_gordian.h
• PARTITION_AREA_ONLY : place_gordian.h
• 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() : cvrout.c , espresso.h
• pc3() : espresso.h
• pCache : dsdCheck.c
• pclose() : util_old.h
• pcost : espresso.h
• pcover : espresso.h
• pcube : espresso.h
• Pdr_Man_t : pdrInt.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_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() : pdrUtil.c , pdrInt.h
• 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() : pdrInt.h , pdrUtil.c
• PDR_UND : pdrTsim.c
• PDR_VAL0 : pdrUtil.c
• PDR_VAL1 : pdrUtil.c
• PDR_VALX : pdrUtil.c
• PDR_ZER : pdrTsim.c
• perror() : util_old.h
• pFreqs : rwrTemp.c
• phase : cvrm.c
• phase_assignment() : espresso.h , opo.c
• pick_all_the_pairs() : abcSaucy.c
• PickOnePair() : cuddDecomp.c
• PL : ioWriteBook.c
• PLA_labels() : cvrin.c , espresso.h
• PLA_permute() : espresso.h , verify.c
• PLA_summary() : cvrin.c , espresso.h
• pla_types : espresso.h , globals.c
• PLA_verify() : espresso.h , verify.c
• PLEASURE_type : espresso.h
• pls_group() : cvrout.c , espresso.h
• pls_label() : cvrout.c , espresso.h
• pls_output() : cvrout.c , espresso.h
• PMasks : ifDec08.c , ifDec07.c , ifDec10.c , ifDec16.c
• PMX() : cuddGenetic.c
• pNpnMan : abcNpnSave.c
• popen() : util_old.h
• popsize : cuddGenetic.c
• 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
• Pos : deflate.h
• pos : espresso.h , globals.c
• Posf : deflate.h
• POSITIVE_PHASE : espresso.h
• POW2 : opo.c
• POWER2 : map.c
• ppair : espresso.h
• pPerm : rwrTemp.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_ManCancelUntil() : pr.c
• Pr_ManEnqueue() : pr.c
• Pr_ManForEachClause : pr.c
• Pr_ManForEachClauseLearnt : pr.c
• Pr_ManForEachClauseRoot : 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
• PRB_ : casCore.c , casDec.c
• PRD : casCore.c
• prepare_new_block() : bzlib.c
• prepare_permutation() : abcSaucy.c
• prepare_permutation_ntk() : abcSaucy.c
• prepareFlopVector() : liveness.c
• PRESET_DICT : zutil.h
• presortNets() : place_partition.c
• Prf_BitWordNum() : satProof2.h
• Prf_Man_t : 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
• PRIME : espresso.h
• primes_consensus() : primes.c , espresso.h
• primes_consensus_merge() : primes.c
• primes_consensus_special_cases() : primes.c
• PRIMES_TIME : espresso.h
• print_automorphism_ntk() : abcSaucy.c
• print_automorphism_ntk2() : abcSaucy.c
• print_automorphism_quiet() : abcSaucy.c
• print_bool : espresso.h
• print_cost() : cvrmisc.c , espresso.h
• print_cube() : espresso.h , cvrout.c
• print_expanded_cube() : cvrout.c , espresso.h
• print_pair() : pair.c , espresso.h
• print_partition() : abcSaucy.c
• print_solution : espresso.h , globals.c
• print_stats() : abcSaucy.c
• print_time : espresso.h , util_old.h
• print_trace() : cvrmisc.c , espresso.h
• printAllIntVectors() : disjunctiveMonotone.c
• printAllIntVectorsStabil() : disjunctiveMonotone.c
• printCCtrInfo() : lucky.c
• 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
• printlits() : satSolver.c , satSolver2.c
• printStats() : MainSat.cpp , MainSimp.cpp
• printVecPtrOfString() : liveness.c , liveness_sim.c
• PRK : casCore.c , casDec.c
• PRK2 : casDec.c , casCore.c
• ProgressBar : extra.h , bbrNtbdd.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_ForeachClauseVec : satProof.c
• Proof_ForeachNodeVec : satProof.c
• Proof_ForeachNodeVec1 : satProof.c
• Proof_MarkUsed_rec() : satProof.c
• Proof_MarkUsedRec() : satProof.c
• Proof_NodeForeachFanin : satProof.c
• Proof_NodeRead() : satProof.c
• Proof_NodeWordNum() : satProof.c
• PROPAGATE_NAMES : liveness_sim.c , liveness.c
• Prove_Params_t : fraig.h , ivyFraig.c
• Prove_ParamsPrint() : fraigMan.c
• Prove_ParamsSetDefault() : fraigMan.c , fraig.h
• ps1() : set.c , espresso.h
• Ps_PMasks : utilTruth.h
• pScanStr : extraUtilUtil.c
• pset : espresso.h
• pset_family : espresso.h
• pSupps : abcUtil.c
• ptime : util_old.h
• Ptr_HopToType() : cbaSimple.c
• Ptr_ManCheckArray() : cbaSimple.c , cbaBuild.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_NOT_EQUAL : stmm.c , st.c
• PTR_OBJ_AND : cbaSimple.c
• PTR_OBJ_BOX : cbaSimple.c
• PTR_OBJ_BUF : cbaSimple.c
• PTR_OBJ_C0 : cbaSimple.c
• PTR_OBJ_C1 : cbaSimple.c
• PTR_OBJ_CONST0 : cbaSimple.c
• PTR_OBJ_FAN : cbaSimple.c
• PTR_OBJ_FLOP : cbaSimple.c
• PTR_OBJ_INV : cbaSimple.c
• PTR_OBJ_MAJ : cbaSimple.c
• PTR_OBJ_MUX : cbaSimple.c
• PTR_OBJ_NAND : cbaSimple.c
• PTR_OBJ_NODE : cbaSimple.c
• PTR_OBJ_NONE : cbaSimple.c
• PTR_OBJ_NOR : cbaSimple.c
• PTR_OBJ_OR : cbaSimple.c
• PTR_OBJ_PI : cbaSimple.c
• PTR_OBJ_PO : cbaSimple.c
• PTR_OBJ_XNOR : cbaSimple.c
• PTR_OBJ_XOR : cbaSimple.c
• Ptr_ObjName() : cbaSimple.c
• Ptr_ObjType_t : cbaSimple.c
• Ptr_SopToType() : cbaSimple.c
• Ptr_TypeToName() : cbaSimple.c
• Ptr_TypeToSop() : cbaSimple.c
• PTR_VOID : cbaSimple.c
• ptrint : cuddInt.h
• ptruint : cuddInt.h
• pTruths : rwrTemp.c
• PULL : infback.c
• PULLBYTE : infback.c , inflate.c
• PUP : inffast.c
• pushDown() : cuddExact.c
• 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