Here is a list of all struct and union fields with links to the structures/unions they belong to:

- p -

• p : Map_NodeStruct_t_
• p0 : Rwr_Node_t_ , Rwt_Node_t_
• p1 : Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , Map_NodeStruct_t_ , Rwr_Node_t_ , Rwt_Node_t_ , TlClause
• p2 : Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , Map_NodeStruct_t_ , TlClause
• pAbc85Best : Abc_Frame_t_
• pAbc85Delay : Abc_Frame_t_
• pAbc85Ntl : Abc_Frame_t_
• pAbc85Ntl2 : Abc_Frame_t_
• pAbcCba : Abc_Frame_t_
• pAbcWlc : Abc_Frame_t_
• pActivity : Tas_Man_t_
• page : ApproxInfo
• PageMask : Mmr_Fixed_t_ , Mmr_Flex_t_ , Vec_Mem_t_
• pAig : Aig_CuddMan_t_ , Aig_Gla1Man_t_ , Aig_Gla2Man_t_ , Aig_Gla3Man_t_ , Aig_ManCut_t_ , Aig_ManPack_t_ , Aig_ManPre_t_ , Aig_RMan_t_ , Aig_Sto_t_ , Aig_Tsi_t_ , Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManFra_t_ , Cec_ManSat_t_ , Cec_ManSim_t_ , Cgt_Man_t_ , Clu_Man_t_ , Dar_Man_t_ , Dch_Cla_t_ , Fra_Bmc_t_ , Fra_Cla_t_ , Fra_Lcr_t_ , Fra_Sml_t_ , Fsim_Man_t_ , Gia_ManAre_t_ , Gia_ManBmc_t_ , Gia_ManEra_t_ , Gia_ManFra_t_ , Gia_ManSim_t_ , Gia_ManSwi_t_ , Gia_ManTer_t_ , Gia_ManUnr_t_ , Gia_Sim2_t_ , Inta_Man_t_ , Intb_Man_t_ , Inter_Man_t_ , Io_BlifMan_t_ , Iso_Man_t_ , Iso_Sto_t_ , Llb_Img_t_ , Llb_Man_t_ , Llb_Mgr_t_ , Llb_Mnn_t_ , Llb_Mnx_t_ , Pdr_Man_t_ , Raig_Man_t_ , Ref_Man_t_ , Res_Man_t_ , Res_Sim_t_ , Saig_Bmc_t_ , Saig_ManCba_t_ , Saig_MvMan_t_ , Saig_RefMan_t_ , Saig_Tsim_t_ , Ssc_Man_t_ , Ssw_Cla_t_ , Ssw_Frm_t_ , Ssw_Man_t_ , Ssw_RarMan_t_ , Ssw_Sat_t_ , Ssw_Sml_t_ , Tas_Man_t_ , Tst_Dat_t_ , Xyz_ManTry_t_
• pAigExtra : Gia_Man_t_
• pAigFraig : Dch_Man_t_ , Fra_Bmc_t_
• pAigFrames : Fra_Bmc_t_
• pAigGlo : Llb_Man_t_
• pAigNew : Saig_MvMan_t_
• pAigOld : Saig_MvMan_t_
• pAigTotal : Dch_Man_t_
• pAigTrans : Inter_Man_t_
• pAigWin : Mfs_Man_t_
• pair : PLA_t
• pairIndex : DdSubtable
• pairs : saucy
• pAltView : Abc_Ntk_t_
• paNodes : LUT
• Par : Xyz_ParTry_t_
• Params : ABC_ManagerStruct_t
• parent() : Minisat::Heap< Comp > , MtrNode
• pArg : Ivy_Eva_t_
• parity : NodeData
• pArray : Fpga_CutTableStrutct_t , Fpga_NodeVecStruct_t_ , Fraig_NodeVecStruct_t_ , Hash_Flt_t_ , Hash_Gen_t_ , Hash_Int_t_ , Hash_Ptr_t_ , Hsh_VecObj_t_ , Ivy_Cut_t_ , Ivy_Supp_t_ , Map_CutTableStrutct_t , Map_NodeVecStruct_t_ , Mini_Aig_t_ , Msat_ClauseVec_t_ , Msat_IntVec_t_ , Vec_Bit_t_ , Vec_Flt_t_ , Vec_Int_t_ , Vec_Mem_t_ , Vec_Ptr_t_ , Vec_Str_t_ , Vec_Vec_t_ , Vec_Wec_t_ , Vec_Wrd_t_
• pArrayPtr : Vec_Att_t_
• Pars : Cbs0_Man_t_ , Cbs_Man_t_ , Shr_Man_t_ , Tas_Man_t_
• parse() : Minisat::BoolOption , Minisat::DoubleOption , Minisat::IntOption , Minisat::Option , Minisat::StringOption
• parseOptions : Minisat::Option
• part : reverseCOG
• part_size : cube_struct
• part_zeros : cdata_struct
• partA : clause_t , satset_t , varinfo2_t
• parts_active : cdata_struct
• pAssigns : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Msat_Solver_t_ , Pr_Man_t_
• path : gz_state
• PathsH : Gia_ObjSat1_t_
• PathsV : Gia_ObjSat1_t_
• pAttrs : Attr_ManStruct_t_
• pAve : SC_Cell_
• pbCodes : LUT
• pbCols : LUT
• pBestState : Cec_ManSim_t_
• pBidec : Aig_RMan_t_
• pBins : Abc_Aig_t_ , Abc_Nam_t_ , Aig_RMan_t_ , Aig_Tsi_t_ , Dss_Man_t_ , Fpga_CutTableStrutct_t , Fpga_ManStruct_t_ , Fraig_HashTableStruct_t_ , Gia_ManEra_t_ , Gia_ManTer_t_ , If_DsdMan_t_ , Iso_Man_t_ , Map_CutTableStrutct_t , Map_HashTableStruct_t_ , Map_ManStruct_t_ , Npn_Man_t_ , Saig_Tsim_t_ , SC_Lib_ , Vta_Man_t_
• pBinsI2N : Nm_Man_t_
• pBinsN2I : Nm_Man_t_
• pBmc : Fra_Man_t_
• pBSet : Abc_ManScl_t_
• pBSMan : Abc_Ntk_t_
• pBubble : Min_Man_t_
• pBuffer : Cba_Prs_t_ , Extra_FileReader_t_ , Io_BlifMan_t_ , Io_MvMan_t_ , Npn_Man_t_ , Tas_Sto_t_ , Ver_Stream_t_ , Wlc_Prs_t_
• pBufferCur : Extra_FileReader_t_ , Ver_Stream_t_
• pBufferEnd : Extra_FileReader_t_ , Ver_Stream_t_
• pBufferStop : Extra_FileReader_t_ , Ver_Stream_t_
• pCache : Abc_ZddMan_ , Dss_Man_t_
• pCands : Lpk_Man_t_
• pCanonPerm : If_Man_t_
• pCare : Bbr_ImageTree_t_ , Cgt_Man_t_ , Extra_ImageTree_t_ , Mfs_Man_t_ , Ssc_Man_t_
• pCareSet : Abc_ManRes_t_
• pCellFall : SC_Timing_
• pCellRise : SC_Timing_
• pCells : Nf_Man_t_
• pCellStr : If_DsdMan_t_
• pCex : Abc_Frame_t_ , Rf2_Man_t_ , Rnm_Man_t_ , Saig_ManCba_t_ , Saig_RefMan_t_ , Ssw_RarPars_t_
• pCex2 : Abc_Frame_t_
• pCexComb : Cec_ManSim_t_ , Gia_Man_t_
• pCexes : Cec_ManSim_t_
• pCexSeq : Gia_Man_t_
• pCharMap : Extra_FileReader_t_
• pChars : Ver_Stream_t_
• pChunkLast : Pr_Man_t_ , Sto_Man_t_
• pChunks : Aig_MmFixed_t_ , Aig_MmFlex_t_ , Aig_MmStep_t_ , Extra_MmFixed_t_ , Extra_MmFlex_t_ , Fraig_MemFixed_t_ , Gia_MmFixed_t_ , Gia_MmFlex_t_ , Gia_MmStep_t_ , Mem_Fixed_t_ , Mem_Flex_t_ , Msat_MmFixed_t_ , Msat_MmFlex_t_ , Sat_MmFixed_t_ , Sat_MmFlex_t_ , Sat_MmStep_t_
• pCis : Tim_Man_t_
• pCla : Fra_Lcr_t_ , Fra_Man_t_
• pClaPols : Cnf_Dat_t_
• pClassSizes : Dch_Cla_t_ , Ssw_Cla_t_
• pClauses : Cbs_Man_t_ , Cnf_Dat_t_ , Tas_Man_t_
• pCnf : Bmc_Mna_t_ , Cgt_Man_t_ , Clu_Man_t_ , Gla_Man_t_ , Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Inter_Check_t_ , Intp_Man_t_ , Mfs_Man_t_ , Res_Man_t_
• pCnf1 : Pdr_Man_t_
• pCnf2 : Pdr_Man_t_
• pCnfAig : Inter_Man_t_
• pCnfFrames : Inter_Man_t_
• pCnfFunc : sat_solver_t
• pCnfInter : Inter_Man_t_
• pCnfMan : Pdr_Man_t_ , sat_solver_t
• pCofVars : Lpk_Res_t_
• pColGrps : Llb_Mtr_t_
• pColSums : Llb_Mtr_t_
• pCompareNew : Cut_ManStruct_t_
• pCompareOld : Cut_ManStruct_t_
• pConst0 : Au_Ntk_t_
• pConst1 : Abc_Aig_t_ , Aig_Man_t_ , Amap_Man_t_ , Dsd_Manager_t_ , Fpga_ManStruct_t_ , Fraig_ManStruct_t_ , Hop_Man_t_ , If_Man_t_ , Ivy_Man_t_ , Map_ManStruct_t_
• pConstr : Ifn_Ntk_t_
• pContents : Amap_Tree_t_ , Scl_Tree_t_
• pCopy : Abc_Ntk_t_ , Abc_Obj_t_ , Agi_Man_t_ , Bdc_Fun_t_ , If_Obj_t_ , Ivy_Man_t_ , Nwk_Obj_t_ , Rtm_Obj_t_
• pCos : Tim_Man_t_
• pCostsFlt : Vec_Que_t_
• pCount0 : Gia_ManTer_t_
• pCounters : Iso_Sto_t_ , Map_ManStruct_t_
• pCountX : Gia_ManTer_t_
• pCover : Cov_Obj_t_
• pCube : FxuLit
• pCube1 : FxuPair
• pCube2 : FxuPair
• pCubeJust : Pdr_Man_t_
• pCubes : Kit_Sop_t_ , MvcCoverStruct
• pCur : Aig_CMan_t_ , Cba_Prs_t_
• pCurrent : Aig_MmFlex_t_ , Extra_MmFlex_t_ , Gia_MmFlex_t_ , Mem_Flex_t_ , Msat_MmFlex_t_ , Sat_MmFlex_t_
• pCut : Amap_Mat_t_ , Jf_Cut_t_ , Mpm_Uni_t_ , Rwt_Man_t_
• pCutBest : Fpga_NodeStruct_t_ , Map_NodeStruct_t_
• pCutCmp : Jf_Man_t_ , Mpm_Man_t_
• pCutOld : Fpga_NodeStruct_t_
• pCuts : Aig_ManCut_t_ , Csw_Man_t_ , Fpga_CutTableStrutct_t , Fpga_NodeStruct_t_ , Ivy_Store_t_ , Lpk_Man_t_ , Map_CutTableStrutct_t , Map_NodeStruct_t_ , Mpm_Man_t_
• pCuts1 : Fpga_CutTableStrutct_t , Map_CutTableStrutct_t
• pCuts2 : Fpga_CutTableStrutct_t , Map_CutTableStrutct_t
• pCutSet : If_Obj_t_
• pCutsN : Fpga_NodeStruct_t_
• pCutsPi : Amap_Man_t_
• pCutStore : Mpm_Man_t_
• pCutUnits : Mpm_Man_t_
• pdActivity : Msat_Solver_t_
• pData : Abc_Cex_t_ , Abc_Ntk_t_ , Abc_Obj_t_ , Aig_Man_t_ , Aig_Obj_t_ , Amap_Obj_t_ , Cbs0_Que_t_ , Cbs_Que_t_ , Cec_ParCor_t_ , Fra_Sml_t_ , Gia_Man_t_ , Gia_ObjEra_t_ , Gia_StaAre_t_ , Hop_Man_t_ , Hop_Obj_t_ , Iso_Sto_t_ , Ivy_FraigSim_t_ , Ivy_Man_t_ , Msat_Clause_t_ , MvcCubeStruct , ParseStackFnStruct , ParseStackOpStruct , Saig_SimObj_t_ , Sim_Pat_t_ , Ssw_Pars_t_ , Ssw_Sml_t_ , Tas_Que_t_ , Tas_Sto_t_
• pData0 : Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , Map_NodeStruct_t_
• pData1 : Fraig_NodeStruct_t_ , Fsim_Man_t_ , Gia_ManSwi_t_ , Map_NodeStruct_t_
• pData2 : Aig_Man_t_ , Fsim_Man_t_ , Gia_Man_t_
• pDataAig : Fsim_Man_t_
• pDataAig2 : Fsim_Man_t_
• pDataCur : Fsim_Man_t_
• pDataCur2 : Fsim_Man_t_
• pDatas : Dar_Lib_t_
• pDataSim : Fsim_Man_t_ , Gia_ManEra_t_ , Gia_ManSim_t_ , Gia_ManSwi_t_ , Gia_ManTer_t_ , Gia_Sim2_t_
• pDataSimCis : Fsim_Man_t_ , Gia_ManSim_t_ , Gia_ManSwi_t_ , Gia_ManTer_t_
• pDataSimCos : Fsim_Man_t_ , Gia_ManSim_t_ , Gia_ManSwi_t_ , Gia_ManTer_t_
• pDecs : Dsd_Node_t_
• pDelays : If_Box_t_ , Lpk_Fun_t_
• pDepts : SC_Man_ , SC_Time_
• pDesign : Abc_Ntk_t_ , Cba_Ntk_t_ , Cba_Prs_t_ , Io_MvMan_t_ , Ver_Man_t_
• pDiv : FxuPair
• pDNext : FxuPair
• pDPrev : FxuPair
• pDrivingCell : Abc_Frame_t_
• pDsd : Jf_Man_t_
• pDsd6 : Mpm_Man_t_ , Sdm_Man_t_
• pDsdMan : Lpk_Man_t_
• pDumpFile : Gps_Par_t_
• pDumpFileName : ABC_ManagerStruct_t
• pE : _reo_unit
• peakLiveNodes : DdManager
• pEdgeHash : Nwk_Grf_t_
• pEdges : Nwk_Vrt_t_
• peek() : Minisat::Map< K, D, H, E > , Minisat::Queue< T >
• pEigen : Emb_Man_t_
• pEmpty : Pr_Man_t_ , Sto_Man_t_
• pEnd : Aig_MmFlex_t_ , Extra_MmFlex_t_ , Gia_MmFlex_t_ , Mem_Flex_t_ , Msat_MmFlex_t_ , Sat_MmFlex_t_ , Unr_Man_t_
• pending : internal_state
• pending_buf : internal_state
• pending_buf_size : internal_state
• pending_out : internal_state
• pEntriesFree : Aig_MmFixed_t_ , Extra_MmFixed_t_ , Fraig_MemFixed_t_ , Gia_MmFixed_t_ , Mem_Fixed_t_ , Msat_MmFixed_t_ , Sat_MmFixed_t_
• pEnts : Bbl_Man_t_ , satset_t
• pEquiv : Csw_Man_t_ , If_Obj_t_ , Io_BlifObj_t_ , Ivy_Obj_t_
• pEquivs : Aig_Man_t_
• percolateDown() : Minisat::Heap< Comp >
• percolateUp() : Minisat::Heap< Comp >
• Period : If_Man_t_
• perm : DdManager , DState
• Perm6 : Mpm_Man_t_ , Sdm_Man_t_
• permZ : DdManager
• pError : Amap_Tree_t_ , Scl_Tree_t_
• pEvals : Lpk_Man_t_
• pExcare : Abc_Ntk_t_
• pExdc : Abc_Ntk_t_
• pExtra : Rtm_Man_t_
• pFactors : Msat_Solver_t_
• pFallTrans : SC_Timing_
• pFan0 : Bdc_Fun_t_
• pFan1 : Bdc_Fun_t_
• pFanData : Aig_Man_t_ , Gia_Man_t_
• pFanFanin1 : Fraig_NodeStruct_t_
• pFanFanin2 : Fraig_NodeStruct_t_
• pFanin : Abc_RRMan_t_
• pFanin0 : Aig_Obj_t_ , Hop_Obj_t_ , If_Obj_t_ , Ivy_FraigSim_t_ , Ivy_Obj_t_
• pFanin1 : Aig_Obj_t_ , Hop_Obj_t_ , If_Obj_t_ , Ivy_FraigSim_t_ , Ivy_Obj_t_
• pFanins : Aig_Cut_t_ , Bbl_Obj_t_ , Cnf_Cut_t_ , Csw_Cut_t_ , Lpk_Fun_t_ , Map_SuperStruct_t_ , Super_GateStruct_t_ , Wlc_Obj_t_
• pFanio : Nwk_Obj_t_ , Rtm_Obj_t_
• pFanout : Abc_RRMan_t_ , Ivy_Obj_t_
• pFanPivot : Fraig_NodeStruct_t_
• pFans : Amap_Out_t_ , Dss_Fun_t_ , Dss_Obj_t_ , Dua_Obj_t_ , If_DsdObj_t_ , Ifd_Obj_t_ , Kit_DsdObj_t_ , Mig_Obj_t_
• pFans0 : Abc_EnuMan_t_ , Fsim_Man_t_ , Raig_Man_t_
• pFans1 : Abc_EnuMan_t_ , Fsim_Man_t_ , Raig_Man_t_
• pFanTemp : Shr_Man_t_
• pFastSim : Aig_Man_t_
• pFile : Bar_Progress_t_ , Extra_FileReader_t_ , Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , ProgressBarStruct , sat_solver_t , Ver_Stream_t_
• pFileData : Bbl_Man_t_
• pFileName : Amap_Tree_t_ , Bmc_ParFf_t_ , Extra_FileReader_t_ , Fpga_ManStruct_t_ , Int2_ManPars_t_ , Inter_Man_t_ , Inter_ManParams_t_ , Io_BlifMan_t_ , Io_MvMan_t_ , Io_ReadBlif_t_ , SC_Lib_ , Scl_Tree_t_ , Ver_Man_t_ , Ver_Stream_t_ , Wlc_Prs_t_
• pFileNameOut : Tst_Dat_t_
• pFilePivots : Bmc_BCorePar_t_
• pFileProof : Bmc_BCorePar_t_
• pFileVabs : Abs_Par_t_
• pFirst : FxuCube , FxuVar
• pFncs : Bbl_Man_t_
• pForm : Amap_Gat_t_ , Mio_GateStruct_t_
• pFormStr : Bmc_ParFf_t_
• pFormula : Map_SuperStruct_t_
• pfPartVars : Aig_ManPre_t_
• pFraig : Ssc_Man_t_
• pFrame : Cgt_Man_t_
• pFrames : Bmc_Mna_t_ , Ccf_Man_t_ , Inter_Check_t_ , Inter_Man_t_ , Saig_ManCba_t_ , Saig_RefMan_t_ , Ssw_Frm_t_ , Ssw_Man_t_ , Unr_Man_t_
• pFreeBuf : Part_Man_t_ , Supp_Man_t_
• pFreeList : If_Man_t_
• pFreq : Msat_Solver_t_
• pFreqs : sat_solver_t
• pFrm : Saig_Bmc_t_
• pFunc : Amap_Gat_t_ , Cec_ParCor_t_ , Dar_LibDat_t_ , Dec_Node_t_ , Dss_Ent_t_ , Kit_Node_t_ , MvCommand , Nwk_Obj_t_ , Ssw_Pars_t_
• pFuncCell : If_Par_t_
• pFuncCost : If_Par_t_
• pFuncFreeMan : Attr_ManStruct_t_ , Vec_Att_t_
• pFuncFreeObj : Attr_ManStruct_t_ , Vec_Att_t_
• pFuncNodeHash : Dch_Cla_t_ , Fra_Cla_t_ , Ssw_Cla_t_
• pFuncNodeIsConst : Dch_Cla_t_ , Fra_Cla_t_ , Ssw_Cla_t_
• pFuncNodesAreEqual : Dch_Cla_t_ , Fra_Cla_t_ , Ssw_Cla_t_
• pFuncOnFail : Pdr_Par_t_ , Saig_ParBmc_t_ , Ssw_RarPars_t_
• pFuncs : Abc_TtStore_t , Abc_TtStore_t_ , Au_Man_t_ , Cba_Man_t_ , Rpo_TtStore_t_
• pFuncStartObj : Vec_Att_t_
• pFuncStop : Pdr_Par_t_
• pFuncUser : If_Par_t_
• pfUsedRegs : Aig_ManPre_t_
• pGate0 : Amap_Lib_t_ , Mio_LibraryStruct_t_
• pGate1 : Amap_Lib_t_ , Mio_LibraryStruct_t_
• pGateAnd2 : Mio_LibraryStruct_t_
• pGateBuf : Amap_Lib_t_ , Mio_LibraryStruct_t_
• pGateInv : Amap_Lib_t_ , Map_SuperLibStruct_t_ , Mio_LibraryStruct_t_
• pGateNand2 : Mio_LibraryStruct_t_
• pGates : Map_HashEntryStruct_t_ , Mio_LibraryStruct_t_ , Super2_LibStruct_t_ , Super_ManStruct_t_
• pGenlib : Abc_Des_t_ , Map_SuperLibStruct_t_
• pGia : Abc_Frame_t_ , Bal_Man_t_ , Bmc_Load_t_ , Ccf_Man_t_ , Cof_Man_t_ , Dam_Man_t_ , Emb_Man_t_ , Frc_Man_t_ , Ga2_Man_t_ , Gia_Iso2Man_t_ , Gia_IsoMan_t_ , Gia_ManSup_t_ , Gla_Man_t_ , Hcd_Man_t_ , Iff_Man_t_ , Int2_Man_t_ , Jf_Man_t_ , Lf_Man_t_ , Lms_Man_t_ , Mf_Man_t_ , Mux_Man_t_ , Nf_Man_t_ , Opa_Man_t_ , Qbf_Man_t_ , Rf2_Man_t_ , Rnm_Man_t_ , Shr_Man_t_ , Swp_Man_t_ , Tst_Dat_t_ , Unm_Man_t_ , Unr_Man_t_ , Vta_Man_t_
• pGia0 : Gla_Man_t_ , Mf_Man_t_
• pGia2 : Abc_Frame_t_ , Gla_Man_t_
• pGiaBest : Abc_Frame_t_
• pGiaPref : Int2_Man_t_
• pGiaSuff : Int2_Man_t_
• pGlobalVars : sat_solver_t
• pGloVars : Int_Man_t_
• pGraph : Rwr_Man_t_ , Rwt_Man_t_
• pGraphBest : Ref_Man_t_
• pGroupValues : Ssw_RarMan_t_
• pHaig : Ivy_Man_t_
• Phase : Amap_Pin_t_ , Fpga_CutStruct_t_ , Map_CutStruct_t_ , Mio_PinStruct_t_
• phase : PLA_t
• phase_saving : Minisat::Solver
• phases : DdTlcInfo
• pHash : Fx_Man_t_ , Mpm_Man_t_ , Sdm_Man_t_ , Unm_Man_t_
• pHashTable : If_Man_t_
• pHead : _reo_plane , Cut_ListStruct_t_ , FxuListCube , FxuListDouble , FxuListLit , FxuListPair , FxuListSingle , FxuListVar , Ivy_FraigList_t_ , MvcListStruct , Pr_Man_t_ , Sto_Man_t_
• pHeap : Vec_Que_t_
• pHeapDouble : FxuMatrix
• pHeapSingle : FxuMatrix
• pHNext : FxuLit
• pHPrev : FxuLit
• pHTable : Au_Ntk_t_ , Gia_Man_t_
• pickBranchLit() : Minisat::Solver
• pId2Class : Dch_Cla_t_ , Ssw_Cla_t_
• pId2Part : Opa_Man_t_
• pids : pyabc_split._splitter
• pIfDsdMan : If_Man_t_
• pIfMan : Lpk_Man_t_
• pImpData : Aig_Man_t_
• pImpFunc : Aig_Man_t_
• pInfo : Abc_ManRes_t_ , Prf_Man_t_
• pInit : Llb_Img_t_ , Llb_Mnn_t_
• pInputArrivals : Fpga_ManStruct_t_ , Map_ManStruct_t_
• pInputs : Dsd_Manager_t_ , Fpga_ManStruct_t_ , Map_ManStruct_t_ , Super_ManStruct_t_
• Pins : Amap_Gat_t_
• pInt2 : sat_solver2_t
• pInter : Inter_Man_t_
• pInterNew : Inter_Man_t_
• pInters : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_
• pInToOutNum : Fra_Lcr_t_
• pInToOutPart : Fra_Lcr_t_
• pInv : Bus_Man_t_
• PioId : Nwk_Obj_t_
• PioNum : Hop_Obj_t_
• pIsfAL : Bdc_Man_t_
• pIsfAR : Bdc_Man_t_
• pIsfOL : Bdc_Man_t_
• pIsfOR : Bdc_Man_t_
• pIso : Gia_Man_t_
• pItems : Amap_Tree_t_ , Scl_Tree_t_
• pIter : Cbs_Man_t_ , Tas_Man_t_
• pivot_vars : sat_solver_t
• pJust : Cbs0_Man_t_ , Cbs_Man_t_ , Tas_Man_t_
• pla_type : PLA_t
• pLargeChunks : Extra_MmStep_t_ , Mem_Step_t_
• pLatest : Io_MvMan_t_
• pLearnt : Pr_Man_t_
• pLeaves : Bal_Cut_t_ , Cut_CutStruct_t_ , Dar_Cut_t_ , If_Cut_t_ , Lf_Cut_t_ , Lpk_Cut_t_ , Mf_Cut_t_ , Mpm_Cut_t_ , Nf_Cut_t_
• pLevel : Abc_EnuMan_t_ , Fpga_NodeStruct_t_ , Msat_Solver_t_
• pLevelOrder : _reo_man
• pLevels : Cof_Man_t_ , Gia_IsoMan_t_ , Saig_MvMan_t_
• pLfObjs : Mf_Man_t_
• pLib : Amap_Gat_t_ , Amap_Man_t_ , Bus_Man_t_ , Cba_Man_t_ , Iff_Man_t_ , Mio_GateStruct_t_ , Mpm_Par_t_ , SC_Man_ , SC_Time_
• pLibBox : Abc_Frame_t_
• pLibGen : Abc_Frame_t_
• pLibGen2 : Abc_Frame_t_
• pLibLut : Abc_Frame_t_ , Mpm_Man_t_
• pLibrary : Abc_Des_t_ , Cba_Prs_t_
• pLibScl : Abc_Frame_t_
• pLibSuper : Abc_Frame_t_
• pLimit : Cba_Prs_t_
• pLink : Pdr_Obl_t_
• pListFree : Hop_Man_t_ , Ivy_Man_t_
• pLists1 : Nwk_Grf_t_
• pLists2 : Nwk_Grf_t_
• pLits : MvcCoverStruct , Pr_Cls_t_ , Sto_Cls_t_ , Tas_Cls_t_
• pLoads : SC_Man_ , SC_Time_
• pLoads2 : SC_Time_
• pLogFileName : Saig_ParBmc_t_
• plusinfinity : DdManager
• pLutAreas : Fpga_LutLibStruct_t_ , If_LibLut_t_ , Mpm_LibLut_t_
• pLutDelays : Fpga_LutLibStruct_t_ , If_LibLut_t_ , Ifif_Par_t_ , Mpm_LibLut_t_
• pLutLib : Fpga_ManStruct_t_ , Gia_Man_t_ , If_Par_t_ , Ifif_Par_t_ , Nwk_Man_t_
• pLutStruct : If_Par_t_
• pLutTimes : Abc_Ntk_t_
• pMan : Au_Ntk_t_ , Cnf_Dat_t_ , Int_Ntk_t_ , Io_MvMod_t_ , Llb_Grp_t_ , Llb_Mtr_t_ , Mfs_Man_t_ , Mig_Man_t_ , MvcDataStruct , Nwk_Obj_t_ , Res_Man_t_ , Ssw_Sem_t_ , Vec_Att_t_
• pMan1 : MvcManagerStruct
• pMan2 : MvcManagerStruct
• pMan4 : MvcManagerStruct
• pManAig : Cnf_Man_t_ , Csw_Man_t_ , Fra_Man_t_ , Ivy_FraigMan_t_
• pManAttr : Attr_ManStruct_t_
• pManC : MvcManagerStruct
• pManCnf : Dar_Man_t_
• pManCut : Abc_Ntk_t_
• pManCuts : Aig_Man_t_ , Mpm_Man_t_
• pManData : Dch_Cla_t_ , Ssw_Cla_t_
• pManDec : Abc_Frame_t_ , Mfs_Man_t_ , Ref_Man_t_ , Shr_Man_t_
• pManDsd : Abc_Frame_t_ , Abc_ManRst_t_
• pManDsd2 : Abc_Frame_t_
• pManExdc : Aig_Man_t_
• pManFraig : Fra_Man_t_ , Ivy_FraigMan_t_
• pManFunc : Abc_Des_t_ , Abc_Ntk_t_
• pManHop : Nwk_Man_t_
• pManMem : Attr_ManStruct_t_
• pManMin : Cov_Man_t_
• pManName : Abc_Ntk_t_ , Wlc_Ntk_t_
• pManProof : Pr_Man_t_
• pManRes : Csw_Man_t_
• pManRsb : Shr_Man_t_
• pManSop : FxuDataStruct
• pManTim : If_Man_t_
• pManTime : Abc_Ntk_t_ , Aig_Man_t_ , Gia_Man_t_ , Nwk_Man_t_
• pMap : Aig_MmStep_t_ , Dar_Lib_t_ , Dec_Man_t_ , Extra_MmStep_t_ , Gia_MmStep_t_ , Mem_Step_t_ , Msat_MmStep_t_ , Rwr_Man_t_ , Rwt_Man_t_ , Sat_MmStep_t_
• pMapCsMainToCsTest : Cla_Man_t_
• pMapCsTestToCsMain : Cla_Man_t_
• pMapCsTestToNsBmc : Cla_Man_t_
• pMapCsTestToNsTest : Cla_Man_t_
• pMapId2Lut : Nwk_Grf_t_
• pMapInv : Rwr_Man_t_ , Rwt_Man_t_
• pMapLut2Id : Nwk_Grf_t_
• pMapToDdVarsFinal : _reo_man
• pMapToDdVarsOrig : _reo_man
• pMapToPlanes : _reo_man
• pMask : MvcCoverStruct
• pMaskBin : MvcDataStruct
• pMatr : Emb_Man_t_
• pMatrix : Llb_Man_t_ , Llb_Mtr_t_
• pMatsTemp : Amap_Man_t_
• pMem : Aig_Sto_t_ , Aig_Tsi_t_ , Cba_Man_t_ , Cut_CMan_t_ , Dss_Man_t_ , Dss_Ntk_t_ , Gia_ManSat_t_ , If_DsdMan_t_ , Ivy_SuppMan_t_ , Jf_Man_t_ , Kit_DsdNtk_t_ , Msat_Solver_t_ , MvcCoverStruct , Nm_Man_t_ , Rtm_Man_t_ , Saig_Tsim_t_ , Super2_ManStruct_t_ , Super_ManStruct_t_ , Tru_Man_t_
• pMemAnd : If_Man_t_
• pMemChunks : _reo_man
• pMemCi : If_Man_t_
• pMemClasses : Dch_Cla_t_ , Fra_Cla_t_ , Ssw_Cla_t_
• pMemClassesFree : Dch_Cla_t_ , Fra_Cla_t_ , Ssw_Cla_t_
• pMemCutBest : Amap_Man_t_
• pMemCuts : Aig_ManCut_t_ , Amap_Man_t_ , Cnf_Man_t_ , Csw_Man_t_ , Dar_Man_t_
• pMemEdges : Nwk_Grf_t_
• pMemEntries : If_Man_t_
• pMemEnts : Dss_Man_t_
• pMemFanin : Wlc_Ntk_t_
• pMemFanins : Fra_Man_t_
• pMemFlex : Super_ManStruct_t_
• pMemFraig : Fra_Man_t_
• pMemGates : Amap_Lib_t_
• pMemMan : FxuMatrix , Min_Man_t_ , stmm_table
• pMemObj : Amap_Man_t_ , If_Man_t_ , Tim_Man_t_
• pMemObjs : Aig_Man_t_ , Nwk_Man_t_
• pMemory : Cov_Man_t_ , Gia_ManEra_t_
• pMemRepr : Fra_Cla_t_
• pMems : Aig_MmStep_t_ , Cec_ManSim_t_ , Extra_MmStep_t_ , Gia_MmStep_t_ , Mem_Step_t_ , Mmr_Step_t_ , Msat_MmStep_t_ , Raig_Man_t_ , Sat_MmStep_t_
• pMemSatNums : Fra_Man_t_
• pMemSet : Amap_Lib_t_ , If_Man_t_
• pMemStates : Saig_MvMan_t_
• pMemTable : Wlc_Ntk_t_ , Wlc_Prs_t_
• pMemTemp : Amap_Man_t_
• pMemTrus : Aig_RMan_t_
• pMemVerts : Nwk_Grf_t_
• pMig : Mpm_Man_t_
• pMints : Aig_RMan_t_
• pMiter : Abc_RRMan_t_
• pMmCuts : Cut_ManStruct_t_ , Cut_OracleStruct_t_
• pMmFlex : Mio_LibraryStruct_t_
• pMmNames : ABC_ManagerStruct_t
• pMmNode : Rwr_Man_t_ , Rwt_Man_t_
• pMmObj : Abc_Ntk_t_
• pMmPat : Sim_Man_t_
• pMmStep : Abc_Ntk_t_
• pModel : Abc_Ntk_t_ , Fraig_ManStruct_t_ , Io_BlifMan_t_ , Msat_Solver_t_ , saucy
• pModels : Cba_Man_t_
• pMSat : Ssw_Man_t_
• pMSatBmc : Ssw_Man_t_
• pMuxes : Gia_Man_t_
• pMvcMem : Dec_Man_t_
• pName : Abc_Des_t_ , Abc_Ntk_t_ , Agi_Man_t_ , Aig_Man_t_ , Amap_Gat_t_ , Amap_Lib_t_ , Amap_Out_t_ , Amap_Pin_t_ , Au_Man_t_ , Au_Ntk_t_ , Bbl_Man_t_ , Cba_Man_t_ , Cba_Ntk_t_ , Cba_Prs_t_ , Fpga_LutLibStruct_t_ , Gia_Man_t_ , If_Box_t_ , If_LibLut_t_ , If_Man_t_ , Int_Des_t_ , Io_BlifObj_t_ , Io_MvMod_t_ , Map_SuperLibStruct_t_ , Mig_Man_t_ , Mio_Cell_t_ , Mio_GateStruct_t_ , Mio_LibraryStruct_t_ , Mio_PinStruct_t_ , Mpm_LibLut_t_ , Nwk_Man_t_ , SC_Cell_ , SC_Lib_ , SC_Pin_ , SC_Surface_ , SC_TableTempl_ , SC_Timings_ , SC_WireLoad_ , SC_WireLoadSel_ , Super_ManStruct_t_ , Wlc_Ntk_t_
• pNameFormal : Ver_Bundle_t_
• pNames : Cba_Man_t_ , Int_Des_t_ , Io_MvVar_t_ , Mux_Man_t_
• pNameSake : Nm_Entry_t_
• pnCounts : Rwr_Man4_t_
• pNetBackup : Abc_Ntk_t_
• pNetlist : Tst_Dat_t_
• pNew : Bal_Man_t_ , Gia_ManAre_t_ , Gia_ManUnr_t_ , Shr_Man_t_ , Str_Man_t_ , Unm_Man_t_
• pNext : Abc_Obj_t_ , Agi_Man_t_ , Aig_Cut_t_ , Aig_Obj_t_ , Aig_Tru_t_ , Amap_Set_t_ , Bdc_Fun_t_ , Csw_Cut_t_ , Cut_Cell_t_ , Cut_CutStruct_t_ , Dss_Ent_t_ , Fpga_CutStruct_t_ , Fpga_NodeStruct_t_ , FxuCube , FxuDouble , FxuSingle , FxuVar , Hash_Flt_Entry_t_ , Hash_Gen_Entry_t_ , Hash_Int_Entry_t_ , Hash_Ptr_Entry_t_ , Hop_Obj_t_ , If_Hte_t_ , If_Set_t_ , Io_BlifObj_t_ , Ivy_FraigSim_t_ , Llb_Grp_t_ , Map_CutStruct_t_ , Map_HashEntryStruct_t_ , Map_NodeStruct_t_ , Map_SuperStruct_t_ , Min_Cube_t_ , Mio_GateStruct_t_ , Mio_PinStruct_t_ , Msat_OrderVar_t_ , MvcCubeStruct , Nwk_Edg_t_ , Nwk_Obj_t_ , Pdr_Obl_t_ , Pr_Cls_t_ , Rwr_Node_t_ , Rwt_Node_t_ , SC_Cell_ , Sto_Cls_t_ , Super2_GateStruct_t_ , Super_GateStruct_t_
• pNext0 : Pr_Cls_t_ , Sto_Cls_t_
• pNext1 : Pr_Cls_t_ , Sto_Cls_t_
• pNextD : Fraig_NodeStruct_t_
• pNextE : Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , Map_NodeStruct_t_
• pNextF : Fraig_NodeStruct_t_
• pNextFan0 : Ivy_Obj_t_
• pNextFan1 : Ivy_Obj_t_
• pNextI2N : Nm_Entry_t_
• pNextN2I : Nm_Entry_t_
• pNexts : Abc_ZddMan_
• pNextS : Fraig_NodeStruct_t_
• pNexts : Gia_Man_t_
• pNextVar : Cut_Cell_t_
• pNfObjs : Nf_Man_t_
• pNode : Abc_RRMan_t_ , Odc_Man_t_ , Res_Win_t_
• pNode1 : Bbr_ImageNode_t_ , Extra_ImageNode_t_
• pNode2 : Bbr_ImageNode_t_ , Extra_ImageNode_t_
• pNodeDelays : Map_ManStruct_t_
• pNodeEnd : cloudManager
• pNodes : Aig_Dom_t_ , Amap_Lib_t_ , Bdc_Man_t_ , Dar_Lib_t_ , Dec_Graph_t_ , Kit_DsdNtk_t_ , Kit_Graph_t_ , Lpk_Cut_t_
• pNodes0 : Dar_Lib_t_
• pNodes0Mem : Dar_Lib_t_
• pNodesMem : Dar_Lib_t_
• pNodeStart : cloudManager
• pNodeToFrames : Ssw_Man_t_
• pnRefs : Csw_Man_t_
• pNtk : Abc_IffMan_t_ , ABC_ManagerStruct_t , Abc_ManRst_t_ , Abc_Obj_t_ , Abc_RRMan_t_ , Abc_ShaMan_t_ , Buf_Man_t_ , Bus_Man_t_ , Io_MvMod_t_ , Lpk_Man_t_ , Mfs_Man_t_ , saucy , SC_Man_ , Sim_Man_t_ , Str_Man_t_ , Sym_Man_t_ , Wlc_Prs_t_
• pNtk_permuted : saucy
• pNtkAig : Abc_Aig_t_
• pNtkBackup : Abc_Frame_t_
• pNtkBestArea : Abc_Frame_t_
• pNtkBestDelay : Abc_Frame_t_
• pNtkCur : Abc_Frame_t_ , Io_ReadBlif_t_
• pNtkMaster : Io_ReadBlif_t_
• pObj : Lpk_Man_t_ , ltlNode_t
• pObj2Clause : Cnf_Dat_t_
• pObj2Count : Cnf_Dat_t_
• pObj2Obj : Gla_Man_t_
• pObjBests : Lf_Man_t_
• pObjCopies : Aig_Man_t_
• pObjData : Cof_Man_t_ , Emb_Man_t_ , Frc_Man_t_ , Gli_Man_t_ , Ssw_RarMan_t_
• pObjects : Io_BlifMan_t_
• pObjRoot : Gla_Man_t_
• pObjs : Abc_IffMan_t_ , Abc_ZddMan_ , Agi_Man_t_ , Bbl_Man_t_ , Dar_Lib_t_ , Dua_Dsd_t_ , Faig_Man_t_ , Gia_Man_t_ , Gla_Man_t_ , Ifd_Man_t_ , Iso_Man_t_ , Odc_Man_t_ , Rf2_Man_t_ , Rnm_Man_t_ , Str_Ntk_t_ , Unr_Man_t_ , Vta_Man_t_ , Wlc_Ntk_t_
• pObjToFraig : Fra_Bmc_t_
• pObjToFrames : Fra_Bmc_t_
• pol : varinfo2_t , varinfo_t
• Polar : Abc_EnuMan_t_
• Polarity : Lpk_Res_t_
• polarity : Minisat::Solver , sat_solver_t
• pOld : Str_Man_t_
• pOne : Fpga_CutStruct_t_ , Map_CutStruct_t_ , Super2_GateStruct_t_
• pOne0 : Min_Man_t_
• pOne1 : Min_Man_t_
• pop() : Minisat::Clause , Minisat::Queue< T > , Minisat::vec< T >
• populationSize : DdManager
• pOrder : _reo_man , FxuCube , FxuDouble , FxuVar , Gia_ManUnr_t_ , Msat_Solver_t_ , Pdr_Man_t_ , Vec_Que_t_
• pOrderCubes : FxuMatrix
• pOrderData : Aig_Man_t_
• pOrderG : Llb_Mnn_t_
• pOrderInt : _reo_man
• pOrderL : Llb_Mnn_t_
• pOrderL2 : Llb_Mnn_t_
• pOrderVars : FxuMatrix
• pos : cuddPathPair
• Pos : Extra_UnateVar_t_
• pos : gz_state , Minisat::StreamBuffer , symbolic_list_struct
• posArray : swapInfo
• posCur : Bar_Progress_t_ , ProgressBarStruct
• position() : Minisat::StreamBuffer , varInfo
• positionToSwap1 : swapInfo
• positionToSwap2 : swapInfo
• postGCHook : DdManager
• posTotal : Bar_Progress_t_ , ProgressBarStruct
• postReorderingHook : DdManager
• pOutName : Amap_Gat_t_ , Mio_GateStruct_t_
• pOutput : Dau_Dsd_t_ , Dau_Sto_t_
• pOutputRequireds : Map_ManStruct_t_
• pOutputs : Fpga_ManStruct_t_ , Map_ManStruct_t_
• pOuts : Part_One_t_ , Supp_One_t_
• Power : If_Cut_t_
• pPage : Mig_Man_t_
• pPages : Sat_Mem_t_ , Vec_Set_t_
• pPar : Xyz_ManTry_t_
• pParams : Abc_RRMan_t_ , Cut_ManStruct_t_ , Cut_OracleStruct_t_ , Ivy_FraigMan_t_
• pParent : Cut_Cell_t_
• pPars : Abc_IffMan_t_ , Amap_Man_t_ , Bdc_Man_t_ , Bmc_Load_t_ , Bus_Man_t_ , Cec_ManFra_t_ , Cec_ManSat_t_ , Cec_ManSim_t_ , Cgt_Man_t_ , Dar_Man_t_ , Dch_Man_t_ , Fra_Man_t_ , Ga2_Man_t_ , Gia_ManBmc_t_ , Gia_ManFra_t_ , Gia_ManSim_t_ , Gia_ManSwi_t_ , Gia_ManUnr_t_ , Gia_Sim2_t_ , Gla_Man_t_ , If_Man_t_ , Int2_Man_t_ , Jf_Man_t_ , Lf_Man_t_ , Llb_Img_t_ , Llb_Man_t_ , Llb_Mnn_t_ , Llb_Mnx_t_ , Lpk_Man_t_ , Mf_Man_t_ , Mfs_Man_t_ , Mpm_Man_t_ , Nf_Man_t_ , Pdr_Man_t_ , Ref_Man_t_ , Res_Man_t_ , Sfm_Ntk_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Ssw_RarMan_t_ , Vta_Man_t_
• pPart : Bbr_ImageNode_t_ , Cgt_Man_t_ , Extra_ImageNode_t_
• pParts : Llb_Mgr_t_
• pPatCosts : Ssw_RarMan_t_
• pPatData : Ssw_RarMan_t_
• pPatScores : Ivy_FraigMan_t_
• pPatWords : Fra_Man_t_ , Ivy_FraigMan_t_ , Ssw_Man_t_
• ppClasses : Dch_Man_t_ , Ssw_Man_t_ , Ssw_RarMan_t_
• ppCuts : If_Set_t_
• ppCutsTemp : Amap_Man_t_
• ppData : Extra_BitMat_t_
• pPerm : Aig_RMan_t_ , If_Man_t_ , Rwt_Man_t_
• pPermR : Aig_RMan_t_
• pPerms : Dar_Lib_t_ , Dec_Man_t_ , Rwr_Man_t_ , Rwt_Man_t_
• pPerms4 : Dar_Lib_t_ , Rwr_Man_t_ , Rwt_Man_t_
• ppGates0 : Mio_LibraryStruct_t_
• ppGatesName : Mio_LibraryStruct_t_
• pPhases : Dar_Lib_t_ , Dec_Man_t_ , Rwr_Man_t_ , Rwt_Man_t_
• pPiDrive : Bus_Man_t_ , SC_Man_
• ppInputNames : Fraig_ManStruct_t_
• pPins : Mio_GateStruct_t_
• pPlace : Dar_Lib_t_ , Frc_Obj_t_
• pPlaceMem : Dar_Lib_t_
• pPlacement : Emb_Man_t_ , Gia_Man_t_
• pPlanes : _reo_man
• ppLeaves : Fpga_CutStruct_t_ , Map_CutStruct_t_
• ppMasks : MvcDataStruct
• ppNodes : cloudManager
• ppObjs : Gia_ManAre_t_
• pPosOutput : Dau_Sto_t_
• pPosStore : Dau_Sto_t_
• ppOutputNames : Fpga_ManStruct_t_ , Fraig_ManStruct_t_ , Map_ManStruct_t_
• ppPages : Vec_Mem_t_
• ppPairs : FxuMatrix , FxuVar
• pppPairs : FxuMatrix
• pPractical : Rwr_Man_t_ , Rwt_Man_t_
• pPrev : FxuCube , FxuDouble , FxuSingle , FxuVar , Llb_Grp_t_ , Msat_OrderVar_t_ , SC_Cell_
• pPrevFan0 : Ivy_Obj_t_
• pPrevFan1 : Ivy_Obj_t_
• pPrf1 : sat_solver2_t
• pPrf2 : sat_solver2_t
• pPrios : Dar_Lib_t_
• pPriosMem : Dar_Lib_t_
• pProdNums : Llb_Mtr_t_
• pProdVars : Llb_Mtr_t_
• pProgress : Ivy_FraigMan_t_ , Ver_Man_t_
• pProof : Pr_Cls_t_
• pProofNums : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_
• pProp : Cbs0_Man_t_ , Cbs_Man_t_ , Tas_Man_t_
• ppStas : Gia_ManAre_t_
• ppStore : Min_Man_t_
• ppSupers : Map_SuperLibStruct_t_
• ppTail : Cut_ListStruct_t_
• ppTailCubes : FxuMatrix
• ppTailVars : FxuMatrix
• ppTemp : MvcDataStruct
• ppTruths : Lpk_Man_t_
• ppVars : FxuMatrix
• pQueue : Msat_Solver_t_ , Pdr_Man_t_
• pRarity : Ssw_RarMan_t_
• pReader : Io_ReadBlif_t_ , Ver_Man_t_
• pReady : Cut_ManStruct_t_
• pReasons : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Msat_Solver_t_ , Pr_Man_t_
• pRefNodes : _reo_man
• pRefs : Abc_EnuMan_t_ , Fsim_Man_t_ , Gia_Man_t_ , Lpk_Man_t_ , Raig_Man_t_
• pRefsCopy : Fsim_Man_t_
• preGCHook : DdManager
• pRegsUndef : Saig_MvMan_t_
• pRegsValues : Saig_MvMan_t_
• pReoMan : If_Par_t_
• pRepr : Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , Map_NodeStruct_t_ , SC_Cell_
• pReprs : Aig_Man_t_ , Gia_Man_t_
• pReprsOld : Gia_Man_t_
• pReprsProved : Dch_Man_t_
• preReorderingHook : DdManager
• pResetLatch : Io_MvMod_t_
• pResLits : Int_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• pResult : ABC_ManagerStruct_t
• pRetired : Gia_ManTer_t_
• prev : Abc_FrameInitializer_t_ , FM_cell , internal_state
• prev_col : sm_col_struct , sm_element_struct
• prev_length : internal_state
• prev_match : internal_state
• prev_row : sm_element_struct , sm_row_struct
• prevnon : saucy
• primes : cost_struct , DdGen
• print_automorphism : saucy
• printUsageAndExit : Minisat::Option
• prio : Pdr_Obl_t_
• Prio : Rf2_Obj_t_ , Rfn_Obj_t_ , Rnm_Obj_t_ , Vta_Obj_t_
• pRiseTrans : SC_Timing_
• priv_cc : qps_problem
• priv_cm : qps_problem
• priv_cp : qps_problem
• priv_cr : qps_problem
• priv_ct : qps_problem
• priv_cw : qps_problem
• priv_eps : qps_problem
• priv_f : qps_problem
• priv_fmax : qps_problem
• priv_fopt : qps_problem
• priv_fp : qps_problem
• priv_fprev : qps_problem
• priv_g : qps_problem
• priv_gm : qps_problem
• priv_gt : qps_problem
• priv_gw : qps_problem
• priv_h : qps_problem
• priv_ii : qps_problem
• priv_ik : qps_problem
• priv_la : qps_problem
• priv_lm : qps_problem
• priv_lt : qps_problem
• priv_mxh : qps_problem
• priv_mxl : qps_problem
• priv_myh : qps_problem
• priv_myl : qps_problem
• priv_n : qps_problem
• priv_pcg : qps_problem
• priv_pcgt : qps_problem
• priv_pn : qps_problem
• priv_tp : qps_problem
• priv_tp2 : qps_problem
• priv_xi : qps_problem
• pRnm : Ga2_Man_t_ , Gla_Man_t_
• progress_estimate : Minisat::Solver , sat_solver2_t , sat_solver_t
• progressEstimate() : Minisat::Solver
• pRoot : Abc_ManRes_t_ , Bbr_ImageTree_t_ , Bdc_Man_t_ , Dss_Ntk_t_ , Extra_ImageTree_t_ , Fpga_CutStruct_t_ , Map_SuperStruct_t_ , Msat_OrderRing_t_ , Super_GateStruct_t_
• pRoots : Dsd_Manager_t_
• propagate() : Minisat::Solver
• propagation_budget : Minisat::Solver
• propagations : Minisat::Solver , stats_t
• pRowSums : Llb_Mtr_t_
• pRules : Amap_Lib_t_
• pRulesX : Amap_Lib_t_
• pSameVar : Cut_CMan_t_
• pSat : Aig_Gla1Man_t_ , Aig_Gla2Man_t_ , Aig_Gla3Man_t_ , Bmc_Load_t_ , Bmc_Mna_t_ , Ccf_Man_t_ , Cec_ManSat_t_ , Cgt_Man_t_ , Dch_Man_t_ , Fra_Man_t_ , Fraig_ManStruct_t_ , Ga2_Man_t_ , Gia_ManAre_t_ , Gia_ManBmc_t_ , Gla_Man_t_ , If_DsdMan_t_ , Int2_Man_t_ , Inter_Check_t_ , Ivy_FraigMan_t_ , Mfs_Man_t_ , Msat_Order_t_ , Saig_Bmc_t_ , Sfm_Ntk_t_ , Ssc_Man_t_ , Ssw_Sat_t_ , Swp_Man_t_ , Vta_Man_t_
• pSatBmc : Cla_Man_t_ , Clu_Man_t_
• pSatMain : Cla_Man_t_ , Clu_Man_t_
• pSatPref : Int2_Man_t_
• pSatSuff : Int2_Man_t_
• pSatSyn : Qbf_Man_t_
• pSatTest : Cla_Man_t_
• pSatVars : Cec_ManSat_t_ , Dch_Man_t_
• pSatVer : Qbf_Man_t_
• pSave1 : Abc_Frame_t_
• pSave2 : Abc_Frame_t_
• pSave3 : Abc_Frame_t_
• pSave4 : Abc_Frame_t_
• pSched : If_DsdMan_t_
• pScl : Mpm_Par_t_
• pSCLib : Abc_Ntk_t_
• pScore : Dar_Lib_t_
• pScoreMem : Dar_Lib_t_
• pScores : Cec_ManSim_t_
• pSeen : Msat_Solver_t_
• pSeens : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• pSeqModel : Abc_Ntk_t_ , Aig_Man_t_
• pSet : Amap_Mat_t_
• pSets : Amap_Nod_t_
• pShared : Dss_Ent_t_
• pSibls : Gia_Man_t_
• pSigns : Mpm_Man_t_
• pSim : Res_Man_t_
• pSimInfo : Cec_ManSim_t_ , Hcd_Man_t_
• pSimInfoPrev : Gli_Man_t_
• pSims : Raig_Man_t_
• pSimsDiff : Fraig_ManStruct_t_
• pSimsReal : Fraig_ManStruct_t_
• pSimStart : Ivy_FraigMan_t_
• pSimsTemp : Fraig_ManStruct_t_
• pSimWords : Ivy_FraigMan_t_
• pSlack : SC_Time_
• pSlews : SC_Man_ , SC_Time_
• pSlews2 : SC_Time_
• pSml : Fra_Man_t_ , Ssw_Man_t_ , Ssw_RarMan_t_
• pSols : Emb_Man_t_
• pSop : Mio_GateStruct_t_
• pSops : Cnf_Man_t_ , Ga2_Man_t_ , Gia_ManBmc_t_
• pSopSizes : Cnf_Man_t_ , Ga2_Man_t_ , Gia_ManBmc_t_
• pSpec : Abc_Ntk_t_ , Agi_Man_t_ , Aig_Man_t_ , Cba_Man_t_ , Gia_Man_t_ , Nwk_Man_t_
• pState : Pdr_Obl_t_
• pStateNew : Gia_ManEra_t_
• pStore : Abc_Nam_t_ , Dau_Sto_t_ , If_DsdMan_t_ , sat_solver_t , Tas_Man_t_
• pStore0 : Cut_ManStruct_t_
• pStore1 : Cut_ManStruct_t_
• pStoreU : Gia_IsoMan_t_
• pStoreW : Gia_IsoMan_t_
• pStr : Mpm_Dsd_t_ , Sdm_Dsd_t_
• pSubgr : Dar_Lib_t_
• pSubgr0 : Dar_Lib_t_
• pSubgr0Mem : Dar_Lib_t_
• pSubgrMem : Dar_Lib_t_
• pSuperBest : Map_MatchStruct_t_
• pSuperInv : Map_SuperLibStruct_t_
• pSuperLib : Map_ManStruct_t_
• pSupers : Map_MatchStruct_t_
• pSupp : _reo_man , Llb_Mgr_t_
• pSuppF : Fraig_ManStruct_t_
• pSuppS : Fraig_ManStruct_t_
• pSupps : Kit_DsdNtk_t_
• pSwitching : Gia_Man_t_
• pSymms : Extra_SymmInfo_t_
• pT : _reo_unit
• pT2V : Abc_ZddMan_
• pTable : Agi_Man_t_ , Aig_CuddMan_t_ , Aig_Man_t_ , Bdc_Man_t_ , Csw_Man_t_ , Dsd_Cache_t_ , FxuMatrix , Ga2_Man_t_ , Hop_Man_t_ , Io_BlifMan_t_ , Ivy_Man_t_ , Odc_Man_t_ , Rwr_Man_t_ , Rwt_Man_t_ , Tru_Man_t_
• pTableF : Fraig_ManStruct_t_
• pTableF0 : Fraig_ManStruct_t_
• pTableS : Fraig_ManStruct_t_
• pTail : FxuListCube , FxuListDouble , FxuListLit , FxuListPair , FxuListSingle , FxuListVar , Ivy_FraigList_t_ , MvcListStruct , Pr_Man_t_ , Sto_Man_t_
• pTarget : ABC_ManagerStruct_t , Gia_ManAre_t_
• ptDelays : Super_GateStruct_t_
• pTemp : Abc_Obj_t_ , Min_Man_t_
• pTemp1 : Lms_Man_t_
• pTemp2 : Lms_Man_t_
• pTerSimData : Aig_Man_t_
• pThird : Agi_Man_t_
• pTime4Outs : Gia_ManBmc_t_ , Pdr_Man_t_
• pTimes : SC_Man_ , SC_Time_
• pTimes2 : SC_Time_
• pTimesArr : If_Par_t_ , Jf_Par_t_
• pTimesReq : If_Par_t_ , Jf_Par_t_
• pTNodes : Saig_MvMan_t_
• pTops : _reo_man
• ptr : EState , veci_t , vecp_t
• pTrail : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• pTravIds : Agi_Man_t_ , Gia_Man_t_
• pTree : FxuHeapDouble , FxuHeapSingle
• pTriv0 : Min_Man_t_
• pTriv1 : Min_Man_t_
• pTruth : Aig_RMan_t_ , Aig_Tru_t_ , Dua_Dsd_t_ , If_Hte_t_ , Ifn_Ntk_t_ , Lpk_Fun_t_ , Mio_GateStruct_t_ , Tru_One_t_
• pTruthC : Aig_RMan_t_
• pTruthIn : Gia_ManSup_t_ , Kit_ManDec_t_
• pTruthInit : Aig_RMan_t_
• pTruthOut : Gia_ManSup_t_ , Kit_ManDec_t_
• pTruths : Abc_EnuMan_t_ , Cnf_Man_t_
• pTruthTemp : Aig_RMan_t_
• pTStates : Saig_MvMan_t_
• pTtElems : Dss_Man_t_ , If_DsdMan_t_ , Ifn_Ntk_t_
• pTtGia : If_DsdMan_t_
• pTtObjs : Ifn_Ntk_t_
• pTwin : Amap_Gat_t_ , Mio_GateStruct_t_
• pTwo : Fpga_CutStruct_t_ , Map_CutStruct_t_ , Super2_GateStruct_t_
• puAux : Cut_CMan_t_
• puCanons : Dar_Lib_t_ , Dec_Man_t_ , Rwr_Man4_t_ , Rwr_Man_t_ , Rwt_Man_t_
• puFunc : Bdc_Fun_t_
• pUnique : Abc_ZddMan_
• pUniques : Gia_IsoMan_t_
• pUnitFreeList : _reo_man
• pUnr : Ccf_Man_t_
• puOff : Bdc_Isf_t_
• puOn : Bdc_Isf_t_
• push() : Minisat::vec< T >
• push_() : Minisat::vec< T >
• puSimD : Fraig_NodeStruct_t_
• puSimR : Fraig_NodeStruct_t_
• puSupps : Lpk_Fun_t_ , Lpk_Man_t_
• puTemp : Aig_ManCut_t_ , Csw_Man_t_ , Cut_ManStruct_t_ , If_Man_t_
• puTemp1 : Bdc_Man_t_
• puTemp2 : Bdc_Man_t_
• puTemp3 : Bdc_Man_t_
• puTemp4 : Bdc_Man_t_
• puTempW : If_Man_t_
• puTruth : Odc_Man_t_
• pV2TI : Abc_ZddMan_
• pV2TJ : Abc_ZddMan_
• pVar : FxuCube , FxuLit
• pVar1 : FxuSingle
• pVar2 : FxuSingle
• pVarCosts : _reo_man
• pVarDefs : Dau_Dsd_t_
• pVarLevels : Dau_Dsd_t_
• pVarNums : Cnf_Dat_t_
• pVars : Extra_SymmInfo_t_ , Extra_UnateInfo_t_ , If_Grp_t_ , Llb_Mgr_t_ , Msat_Order_t_ , Msat_Queue_t_ , Tas_Cls_t_ , Tas_Man_t_
• pVars2Q : Llb_Mgr_t_ , Llb_Mnn_t_
• pVarTypes : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Pr_Man_t_
• pVecs : Emb_Man_t_
• pVerts : Nwk_Grf_t_
• pvId2Vars : Pdr_Man_t_
• pVisited : Ssw_Man_t_
• pVNext : FxuLit
• pvParts : Opa_Man_t_
• pVPrev : FxuLit
• pvRefis : Gla_Man_t_
• pvVecs : Rf2_Man_t_
• pvWatched : Msat_Solver_t_
• pWatches : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_ , Tas_Man_t_
• pWidthCofs : _reo_man
• pWin : Res_Man_t_
• pWLoadUsed : Abc_Ntk_t_ , Bus_Man_t_ , SC_Man_ , SC_Time_
• pWnd : Abc_RRMan_t_
• pWords : Bbl_Fnc_t_
• pZero : Tru_Man_t_