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

- p -

• 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_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_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
• PARTITION : sort.h
• PARTITION_AREA_ONLY : place_gordian.h
• pcover : espresso.h
• pcube : espresso.h
• Pdr_ForEachCube : pdrInv.c
• PDR_ONE : pdrTsim.c
• PDR_UND : pdrTsim.c
• PDR_VAL0 : pdrUtil.c
• PDR_VAL1 : pdrUtil.c
• PDR_VALX : pdrUtil.c
• PDR_ZER : pdrTsim.c
• PEEK_ARRAY : array.h
• PEEK_STACK : stack.h
• PER : cadical_parse.cpp
• PF_CUT_MAX : giaPf.c
• Pf_CutForEachLit : giaPf.c
• Pf_CutForEachVar : giaPf.c
• PF_INFINITY : giaPf.c
• PF_LEAF_MAX : giaPf.c
• PF_NO_FUNC : giaPf.c
• PF_NO_LEAF : giaPf.c
• Pf_ObjForEachCut : giaPf.c
• Pf_SetForEachCut : giaPf.c
• PHASE : message.hpp
• PL : ioWriteBook.c
• Pla_CubeForEachLit : pla.h
• Pla_CubeForEachLitIn : pla.h
• Pla_CubeForEachLitOut : pla.h
• Pla_ForEachCubeIn : pla.h
• Pla_ForEachCubeInOut : pla.h
• Pla_ForEachCubeInStart : pla.h
• Pla_ForEachCubeOut : pla.h
• PLA_HASH_VALUE_NUM : plaHash.c
• PLA_LIT_UNUSED : plaHash.c
• PLEASURE_type : espresso.h
• POKE_ARRAY : array.h
• POKE_STACK : stack.h
• POP_ARRAY : array.h
• POP_FIFO : fifo.h
• POP_STACK : stack.h
• POSITIVE_PHASE : espresso.h
• POW2 : opo.c
• POWER2 : map.c
• pqremove : trees.c
• Pr_ManForEachClause : pr.c
• Pr_ManForEachClauseLearnt : pr.c
• Pr_ManForEachClauseRoot : pr.c
• PRB_ : casCore.c, casDec.c
• PRD : casCore.c
• PREFIX : build.c
• preprocess_terminated_1 : terminate.h
• PRESET_DICT : zutil.h
• PRIME : espresso.h
• PRIMES_TIME : espresso.h
• print_bool : espresso.h
• PRINT_HASH : cadical_random.cpp
• print_time : espresso.h, util_old.h
• 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
• PRK : casCore.c, casDec.c
• PRK2 : casCore.c, casDec.c
• PROBING_PROPAGATION : proprobe.c
• PROFILE_ACTIVE : profile.hpp
• Proof_ForeachClauseVec : satProof.c
• Proof_ForeachNodeVec : satProof.c
• Proof_ForeachNodeVec1 : 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
• Prs_ManForEachNameVec : cbaPrs.h
• Prs_NtkForEachBox : cbaPrs.h
• Prs_NtkForEachPi : cbaPrs.h
• Prs_NtkForEachPio : cbaPrs.h
• Prs_NtkForEachPo : cbaPrs.h
• PRT : cadical_stats.cpp
• Psr_ManForEachNameVec : bacPrs.h
• Psr_NtkForEachBox : bacPrs.h
• Psr_NtkForEachPi : bacPrs.h
• Psr_NtkForEachPio : bacPrs.h
• Psr_NtkForEachPo : bacPrs.h
• ptime : util_old.h
• PTR_NOT_EQUAL : st.c, stmm.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
• PUTSIZE : espresso.h