Here is a list of all variables with links to the classes they belong to:

- p -

p : cadical_solver_, kissat_solver_, Map_NodeStruct_t_, Wla_Man_t_
p0 : Rwr_Node_t_, Rwt_Node_t_
p1 : Fpga_NodeStruct_t_, Fraig_NodeStruct_t_, Map_NodeStruct_t_, Rwr_Node_t_, Rwt_Node_t_
p2 : Fpga_NodeStruct_t_, Fraig_NodeStruct_t_, Map_NodeStruct_t_
pAbc85Best : Abc_Frame_t_
pAbc85Delay : Abc_Frame_t_
pAbc85Ntl : Abc_Frame_t_
pAbc85Ntl2 : Abc_Frame_t_
pAbcBac : Abc_Frame_t_
pAbcCba : Abc_Frame_t_
pAbcCon : Abc_Frame_t_
pAbcPla : Abc_Frame_t_
pAbcRtl : Abc_Frame_t_
pAbcWlc : Abc_Frame_t_
pAbcWlcInv : Abc_Frame_t_
pActivity : Tas_Man_t_
PageMask : Mmr_Fixed_t_, Mmr_Flex_t_, Vec_Mem_t_
pAig : 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_, Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_Man_t_, Cec2_Man_t_, Cec3_Man_t_, Cec4_Man_t_, Cec5_Man_t_, Cec_ManFra_t_, Cec_ManS_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_
pAigNodeIDs : Map_ManStruct_t_
pAigOld : Saig_MvMan_t_
pAigTotal : Dch_Man_t_
pAigTrans : Inter_Man_t_
pAigWin : Mfs_Man_t_
pair : PLA_t
pairs : saucy
pAltView : Abc_Ntk_t_
paNodes : LUT
Par : Xyz_ParTry_t_
Params : ABC_ManagerStruct_t
parent : CaDiCaL::DFS, MtrNode
parents : CaDiCaL::Internal
pArg : Ivy_Eva_t_
pArray : Abc_Frame_t_, 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_, Mini_Lut_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_, Wln_Vec_t_, xSAT_VecWatchList_t_, xSAT_WatchList_t_
pArrayPtr : Vec_Att_t_
pArrTimeProfile : If_Man_t_, Ses_Man_t_, Ses_TimesEntry_t_
pArrTimeProfileTmp : Ses_Man_t_
Pars : Cbs0_Man_t_, Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_Man_t_, Shr_Man_t_, Tas_Man_t_
parsing : Gluco2::SimpSolver, Gluco::SimpSolver
part : reverseCOG
part_size : cube_struct
part_zeros : cdata_struct
partA : clause_t, satset_t, varinfo2_t
partition : CaDiCaL::Sweeper, sweeper
parts_active : cdata_struct
pAssigns : Int_Man_t_, Inta_Man_t_, Intb_Man_t_, Intp_Man_t_, Msat_Solver_t_, Pr_Man_t_
path : file, 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_
pBiasNode : InitConstraint_t_
pBidec : Aig_RMan_t_
pBins : Abc_Aig_t_, Abc_Nam_t_, Aig_RMan_t_, Aig_Tsi_t_, Dss_Man_t_, Dtt_Man_t_, Fpga_CutTableStrutct_t, Fpga_ManStruct_t_, Fraig_HashTableStruct_t_, Fxch_Man_t_, Fxch_SCHashTable_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_, Tab_Man_t_, Tab_Tab_t_, Vta_Man_t_
pBinsI2N : Nm_Man_t_
pBinsN2I : Nm_Man_t_
pBmc : Fra_Man_t_
pBody : Ndr_Data_t_
pBoolDiff : Dsc_node_t_
pBoxes : Abc_Frame_t_
pBSet : Abc_ManScl_t_
pBSMan : Abc_Ntk_t_
pBubble : Min_Man_t_
pBuffer : Extra_FileReader_t_, Io_BlifMan_t_, Io_MvMan_t_, Npn_Man_t_, Prs_Man_t_, Psr_Man_t_, Smt_Prs_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_
pC1 : que
pC2 : que
pCache : Abc_BddMan_, Abc_ZddMan_, Dss_Man_t_
pCacheHits : Ses_Store_t_
pCands : Lpk_Man_t_
pCanonPerm : If_Man_t_
pCare : Bbr_ImageTree_t_, Cgt_Man_t_, Extra_ImageTree_t_, Mfs_Man_t_, Rewire::Miaig_Data, Ssc_Man_t_
pCareSet : Abc_ManRes_t_
pCellFall : SC_Timing_
pCellRise : SC_Timing_
pCells : Mio_LibraryStruct_t_, Nf_Man_t_, Pf_Man_t_, Sfm_Lib_t_
pCellStr : Gia_Man_t_, If_DsdMan_t_
pCex : Abc_Frame_t_, Rf2_Man_t_, Rnm_Man_t_, Saig_ManCba_t_, Saig_RefMan_t_, Ssw_RarPars_t_, Wla_Man_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 : Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_Man_t_, Cnf_Dat_t_, Tas_Man_t_
pClean : Bmcg_Man_t_, Bmcs_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 : Gluco2::Solver, Gluco::Solver, sat_solver3_t, sat_solver_t
pCnfInter : Inter_Man_t_
pCnfMan : Gluco2::Solver, Gluco::Solver, Pdr_Man_t_, sat_solver3_t, sat_solver_t
pCode : Bac_Trip_t_
pCofVars : Lpk_Res_t_
pColGrps : Llb_Mtr_t_
pColSums : Llb_Mtr_t_
pCompareNew : Cut_ManStruct_t_
pCompareOld : Cut_ManStruct_t_
pComps : Dtt_Man_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_, Flow_Data_t_, If_Obj_t_, Ivy_Man_t_, Nwk_Obj_t_, Rewire::Miaig_Data, 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, Sfm_Ntk_t_
pCube1 : FxuPair
pCube2 : FxuPair
pCubeDataIn : cube
pCubeDataOut : cube
pCubes : Kit_Sop_t_, MvcCoverStruct, Tab_Man_t_
pCur : Aig_CMan_t_, Prs_Man_t_, Psr_Man_t_, Smt_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_
pCutCount : Ses_Store_t_
pCutOld : Fpga_NodeStruct_t_
pCuts : Aig_ManCut_t_, Csw_Man_t_, Fpga_CutTableStrutct_t, Fpga_NodeStruct_t_, Gia_Sto_t_, Ivy_Store_t_, Lpk_Man_t_, Map_CutTableStrutct_t, Map_NodeStruct_t_, Mpm_Man_t_, Sbd_Srv_t_, Sbd_Sto_t_, Sdb_Sto_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_, Cbs2_Que_t_, Cbs3_Que_t_, Cbs_Que_t_, CbsP_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_, xSAT_BQueue_t_, xSAT_Clause_t_, xSAT_Mem_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_
pDataArray : MinRegMan_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_
pDebugEntries : Ses_Store_t_
pDecs : Dsd_Node_t_
pDecVars : Ses_Man_t_
pDelays : If_Box_t_, Lpk_Fun_t_
pDepts : SC_Man_, SC_Time_
pDesign : Abc_Ntk_t_, Acb_Ntk_t_, Bac_Ntk_t_, Cba_Ntk_t_, Io_MvMan_t_, Ver_Man_t_
pDist : Rewire::Miaig_Data
pDiv : FxuPair
pDivA : Gia_ResbMan_t_
pDivB : Gia_ResbMan_t_
pDivHash : Fxch_Man_t_
pDivs : Sbd_Pro_t_
pDivWords : Sfm_Dec_t_
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
pDumpIns : If_Man_t_
pDumpName : Cec_ParFra_t_
pE : _reo_unit
pEdgeHash : Nwk_Grf_t_
pEdges : Nwk_Vrt_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
pEntries : Ses_Store_t_
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_
Period : If_Man_t_
period : reluctant
Perm : Nf_Cfg_t_, Pf_Mat_t_
perm : DState
Perm6 : Mpm_Man_t_, Sdm_Man_t_
permDiff : Gluco2::Solver, Gluco::Solver
pError : Amap_Tree_t_, Scl_Tree_t_
pEvals : Lpk_Man_t_
pExc : Rewire::Miaig_Data
pExcare : Abc_Ntk_t_
pExdc : Abc_Ntk_t_, Gia_ManTranStochParam
pExt : Sfm_Tim_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_, Zyx_Man_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_, Gia_MapLut_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_
pFansB : Sfm_Fun_t_
pFansT : Sfm_Fun_t_
pFanTemp : Shr_Man_t_
pFastSim : Aig_Man_t_
pFGrps : Abc_TgMan_t_
pFile : Bar_Progress_t_, Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_, Exa_Man_t_, Extra_FileReader_t_, Int_Man_t_, Inta_Man_t_, Intb_Man_t_, Intp_Man_t_, ProgressBarStruct, Rtl_Lib_t_, sat_solver3_t, sat_solver_t, Ver_Stream_t_
pFileData : Bbl_Man_t_
pFileName : Amap_Tree_t_, Bmc_ParFf_t_, Cec_ParSimGen_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_, Mio_LibraryStruct_t_, SC_Lib_, Scl_Con_t_, 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_, Bmcg_Man_t_, Bmcs_Man_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_solver3_t, sat_solver_t
pFrm : Saig_Bmc_t_
pFunc : Amap_Gat_t_, Cec_ParCor_t_, Dar_LibDat_t_, Dec_Node_t_, Dss_Ent_t_, Gia_SimRsbMan_t_, Kit_Node_t_, MvCommand, Nwk_Obj_t_, Ssw_Pars_t_
pFuncCell : If_Par_t_
pFuncCell2 : If_Par_t_
pFuncCost : If_Par_t_
pFuncFanin : SC_Man_
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_
pFuncOnFrameDone : Abc_Frame_t_, Bmc_AndPar_t_
pFuncs : Abc_TtStore_t, Abc_TtStore_t_, Au_Man_t_, Rpo_TtStore_t_
pFuncStartObj : Vec_Att_t_
pFuncStop : Pdr_Par_t_, Saig_ParBmc_t_, sat_solver_t, solver_t_, Wlc_Par_t_
pFuncUser : If_Par_t_
pFuncWrite : If_Par_t_
pFuns : Acb_Man_t_, Cba_Man_t_, Prs_Man_t_, Prs_Ntk_t_
pfUsedRegs : Aig_ManPre_t_
pFxchMan : Fxch_SCHashTable_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_, Sfm_Dec_t_
pGateNand2 : Mio_LibraryStruct_t_
pGateNor2 : Mio_LibraryStruct_t_
pGateOr2 : 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_, Acec_Box_t_, Bal_Man_t_, Bmc_Load_t_, Bmcg_Man_t_, Bmcs_Man_t_, Ccf_Man_t_, Cof_Man_t_, Dam_Man_t_, Emb_Man_t_, Eso_Man_t_, Frc_Man_t_, Ga2_Man_t_, Gia_Iso2Man_t_, Gia_IsoMan_t_, Gia_Man2Min_t_, Gia_ManSup_t_, Gia_RsbMan_t_, Gia_SimAbsMan_t_, Gia_SimRsbMan_t_, Gia_Sto_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_, Of_Man_t_, Opa_Man_t_, Pdr_Man_t_, Pf_Man_t_, Pln_Man_t_, Qbf_Man_t_, Rf2_Man_t_, Rnm_Man_t_, Rtl_Ntk_t_, Sbd_Man_t_, Sbd_Srv_t_, Sbd_Sto_t_, Sbl_Man_t_, Sdb_Sto_t_, Seg_Man_t_, Shr_Man_t_, Sle_Man_t_, Spl_Man_t_, Supp_Man_t_, Swp_Man_t_, Tst_Dat_t_, Txs3_Man_t_, Txs_Man_t_, Unm_Man_t_, Unr_Man_t_, Vta_Man_t_, Wla_Man_t_
pGia0 : Gla_Man_t_, Mf_Man_t_
pGia2 : Abc_Frame_t_, Gla_Man_t_
pGiaBest : Abc_Frame_t_
pGiaBest2 : Abc_Frame_t_
pGiaMiniAig : Abc_Frame_t_
pGiaMiniLut : Abc_Frame_t_
pGiaPref : Int2_Man_t_
pGiaSaved : Abc_Frame_t_
pGiaSuff : Int2_Man_t_
pGlobalVars : sat_solver3_t, sat_solver_t
pGloVars : Int_Man_t_
pGraph : Rwr_Man_t_, Rwt_Man_t_
pGraphBest : Ref_Man_t_
pGroup : Abc_TgMan_t_
pGroupValues : Ssw_RarMan_t_
pGuide : Bmc_EsPar_t_
pHaig : Ivy_Man_t_
Phase : Amap_Pin_t_, Fpga_CutStruct_t_, Map_CutStruct_t_, Mio_PinStruct_t_, Nf_Cfg_t_, Pf_Mat_t_
phase : PLA_t
phase_saving : Gluco2::Solver, Gluco::Solver, Minisat::Solver
phases : CaDiCaL::Internal, cadical_kitten, kissat, kitten
pHash : Abc_Frame_t_, Eso_Man_t_, Fx_Man_t_, Mpm_Man_t_, Sbl_Man_t_, Sdm_Man_t_, Supp_Man_t_, Unm_Man_t_
pHashC : Pln_Man_t_
pHashM : Pln_Man_t_
pHashTable : If_Man_t_
pHead : _reo_plane, Cut_ListStruct_t_, FxuListCube, FxuListDouble, FxuListLit, FxuListPair, FxuListSingle, FxuListVar, Ivy_FraigList_t_, MvcListStruct, Ndr_Data_t_, Pr_Man_t_, Sto_Man_t_
pHeap : Vec_Que_t_
pHeapDouble : FxuMatrix
pHeapSingle : FxuMatrix
pHNext : FxuLit
pHPrev : FxuLit
pHTable : Au_Ntk_t_
pId2Class : Dch_Cla_t_, Ssw_Cla_t_
pId2Part : Opa_Man_t_
pIfDsdMan : If_Man_t_
pIfMan : Lpk_Man_t_
pImpData : Aig_Man_t_
pImpFunc : Aig_Man_t_
pIn : StochSynData_t_
pInCellDef : Scl_Con_t_
pInfo : Abc_ManRes_t_, Prf_Man_t_
pInit : Llb_Img_t_, Llb_Mnn_t_
pInitNtk : MinRegMan_t_
pInitObj : Flow_Data_t_
pInits : Wlc_Ntk_t_
pInitToOrig : MinRegMan_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_
pInvFileName : Pdr_Par_t_
PioId : Nwk_Obj_t_
PioNum : Hop_Obj_t_
pIPerm : Tree_Sto_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_, CbsP_Man_t_, Tas_Man_t_
Pivot : Gia_Sto_t_, Sbd_Man_t_, Sbd_Sto_t_, Sdb_Sto_t_
pivot : candidate
pivot_vars : sat_solver3_t, sat_solver_t
pJsonStrs : Abc_Frame_t_
pJust : Cbs0_Man_t_, Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_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_, Gia_Cut_t_, If_Cut_t_, Lf_Cut_t_, Lpk_Cut_t_, Mf_Cut_t_, Mpm_Cut_t_, Nf_Cut_t_, Of_Cut_t_, Pf_Cut_t_, Pf_Obj_t_, Sbd_Cut_t_, Sdb_Cut_t_
pLevel : Abc_EnuMan_t_, Fpga_NodeStruct_t_, Msat_Solver_t_, Rewire::Miaig_Data
pLevelOrder : _reo_man
pLevels : Cof_Man_t_, Gia_IsoMan_t_, Saig_MvMan_t_, Seg_Man_t_
pLfObjs : Mf_Man_t_
pLib : Amap_Gat_t_, Amap_Man_t_, Bus_Man_t_, Iff_Man_t_, Mio_GateStruct_t_, Mpm_Par_t_, Rtl_Ntk_t_, SC_Man_, SC_Time_, Sfm_Dec_t_, Sfm_Tim_t_
pLibBox : Abc_Frame_t_
pLibGen : Abc_Frame_t_
pLibGen2 : Abc_Frame_t_
pLibLut : Abc_Frame_t_, Mpm_Man_t_
pLibrary : Abc_Des_t_
pLibScl : Abc_Frame_t_
pLibSuper : Abc_Frame_t_
pLimit : Prs_Man_t_, Psr_Man_t_, Smt_Prs_t_
pLink : Pdr_Obl_t_
pListFree : Hop_Man_t_, Ivy_Man_t_
pLists1 : Nwk_Grf_t_
pLists2 : Nwk_Grf_t_
pLits : Maj3_Man_t_, MvcCoverStruct, Pr_Cls_t_, Sto_Cls_t_, Tas_Cls_t_, Zyx_Man_t_
pLoads : SC_Man_, SC_Time_
pLoads2 : SC_Time_
pLogFileName : Saig_ParBmc_t_
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_
pLutRefs : Gia_Man_t_
pLutStruct : If_Par_t_
pLutTimes : Abc_Ntk_t_
pMan : Au_Ntk_t_, Cnf_Dat_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_, Tab_Man_t_, Txs3_Man_t_, Txs_Man_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_
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_, Rtl_Lib_t_, Wlc_Ntk_t_, Wln_Ntk_t_
pManProof : Pr_Man_t_
pManRes : Csw_Man_t_
pManRsb : Shr_Man_t_
pManSop : FxuDataStruct
pManTim : If_Man_t_, Nf_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_, Rtl_Lib_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
pMark : Abc_BddMan_
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_, 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_, Tree_Sto_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_, xSAT_Solver_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_
pMioGate : Mio_Cell2_t_
pMioLib : Acb_Man_t_, Bac_Man_t_, Cba_Man_t_
pMit : Sfm_Dec_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
pModelName : Scl_Con_t_
pMods : Acb_Man_t_, Bac_Man_t_, 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_, Acb_Man_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_, Bac_Man_t_, Bac_Pair_t_, Bac_Trip_t_, Bbl_Man_t_, Cba_Man_t_, Fpga_LutLibStruct_t_, Gia_Man_t_, If_Box_t_, If_LibLut_t_, If_Man_t_, Io_BlifObj_t_, Io_MvMod_t_, Map_SuperLibStruct_t_, Mig_Man_t_, Mio_Cell2_t_, Mio_Cell_t_, Mio_GateStruct_t_, Mio_LibraryStruct_t_, Mio_PinStruct_t_, Mpm_LibLut_t_, Nwk_Man_t_, Pla_Man_t_, Prs_Man_t_, Prs_VerPrim_t_, Psr_Man_t_, Rewire::Miaig_Data, SC_Cell_, SC_Lib_, SC_Pin_, SC_Surface_, SC_TableTempl_, SC_Timings_, SC_WireLoad_, SC_WireLoadSel_, Smt_Pair_t_, Smt_Prs_t_, Super_ManStruct_t_, Wlc_Ntk_t_, Wln_Ntk_t_
pNameFormal : Ver_Bundle_t_
pNames : Io_MvVar_t_, Mux_Man_t_
pNameSake : Nm_Entry_t_
pNamI : Scl_Con_t_
pNamO : Scl_Con_t_
pnCounts : Rwr_Man4_t_
pNdr : Abc_Frame_t_
pNdrArray : Abc_Frame_t_
pNegCof : Dsc_node_t_
pNetBackup : Abc_Ntk_t_
pNetlist : Tst_Dat_t_
pNetwork : Ses_TimesEntry_t_
pNew : Bal_Man_t_, Cec2_Man_t_, Cec3_Man_t_, Cec4_Man_t_, Cec5_Man_t_, Gia_ChMan_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 : Fraig_NodeStruct_t_
pNexts : Abc_BddMan_, Abc_ZddMan_, 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_, Dtt_Man_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_LutCas_t_, ABC_ManagerStruct_t, Abc_Obj_t_, Abc_RRMan_t_, Abc_ShaMan_t_, Acb_Mfs_t_, Buf_Man_t_, Bus_Man_t_, Io_MvMod_t_, Lpk_Man_t_, Mfs_Man_t_, MinRegMan_t_, Prs_Man_t_, Psr_Man_t_, rrr::Scheduler< Ntk, Opt, Par >::Job, saucy, SC_Man_, Sfm_Dec_t_, Sfm_Tim_t_, Sim_Man_t_, Str_Man_t_, Sym_Man_t_, Wlc_Prs_t_, Wln_Ret_t_
pNtk_permuted : saucy
pNtkAig : Abc_Aig_t_
pNtkBackup : Abc_Frame_t_
pNtkBest : Abc_Frame_t_
pNtkBestArea : Abc_Frame_t_
pNtkBestDelay : Abc_Frame_t_
pNtkCur : Abc_Frame_t_, Io_ReadBlif_t_
pNtkMapped : Rewire::Miaig_Data
pNtkMaster : Io_ReadBlif_t_
pNtks : Bac_Man_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_BddMan_, Abc_IffMan_t_, Abc_ZddMan_, Agi_Man_t_, Bbl_Man_t_, Dar_Lib_t_, Dua_Dsd_t_, Faig_Man_t_, Gem_Man_t_, Gia_Man_t_, Gla_Man_t_, Ifd_Man_t_, Iso_Man_t_, Odc_Man_t_, Of_Man_t_, Rf2_Man_t_, Rnm_Man_t_, Sfm_Lib_t_, Str_Ntk_t_, Unr_Man_t_, Vta_Man_t_, Wlc_Ntk_t_
pObjToFraig : Fra_Bmc_t_
pObjToFrames : Fra_Bmc_t_
pOffSet : Gia_RsbMan_t_
poison : CaDiCaL::Flags
poisoned : assigned, kissat
pol : varinfo2_t, varinfo_t
Polar : Abc_EnuMan_t_
Polarity : Lpk_Res_t_
polarity : Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver3_t, sat_solver_t, solver_t_
pOld : Str_Man_t_
pOne : Fpga_CutStruct_t_, Map_CutStruct_t_, Super2_GateStruct_t_
pOne0 : Min_Man_t_
pOne1 : Min_Man_t_
pOnSet : Gia_RsbMan_t_
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 : Extra_UnateVar_t_
pos : CaDiCaL::Clause, counter, gz_state, heap, kormat, symbolic_list_struct
pos_lhs_ids : CaDiCaL::Gate
posArray : swapInfo
PosCur : que
posCur : Bar_Progress_t_, ProgressBarStruct
PosIn : que
position : varInfo
positionToSwap1 : swapInfo
positionToSwap2 : swapInfo
positive : CaDiCaL::Stats
PosMark : que
PosOut : que
posTotal : Bar_Progress_t_, ProgressBarStruct
pOut : StochSynData_t_
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_
Power2 : Sbl_Man_t_, Seg_Man_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_, Acb_Mfs_t_, Amap_Man_t_, Bdc_Man_t_, Bmc_Load_t_, Bmcg_Man_t_, Bmcs_Man_t_, Bus_Man_t_, Cec2_Man_t_, Cec3_Man_t_, Cec4_Man_t_, Cec5_Man_t_, Cec_ManFra_t_, Cec_ManSat_t_, Cec_ManSim_t_, Cgt_Man_t_, Dar_Man_t_, Dch_Man_t_, Exa3_Man_t_, Exa_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_, Of_Man_t_, Pdr_Man_t_, Pf_Man_t_, Ref_Man_t_, Res_Man_t_, Sbd_Man_t_, Sfm_Dec_t_, Sfm_Ntk_t_, Ssc_Man_t_, Ssw_Man_t_, Ssw_RarMan_t_, Vta_Man_t_, Wla_Man_t_, Zyx_Man_t_
pPars1 : Sbd_Pro_t_
pPars2 : Sbd_Pro_t_
pPart : Bbr_ImageNode_t_, Cgt_Man_t_, Extra_ImageNode_t_
pParts : Llb_Mgr_t_
pPat : Abc_BSEval_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 : Gia_Sto_t_, If_Set_t_, Sbd_Srv_t_, Sbd_Sto_t_, Sdb_Sto_t_
ppCutsTemp : Amap_Man_t_
ppData : Extra_BitMat_t_
pPdrPars : Wla_Man_t_
pPerm : Abc_TgMan_t_, Aig_RMan_t_, If_Man_t_, Rwt_Man_t_, Tree_Sto_t_
pPermDir : Abc_TgMan_t_
pPermR : Aig_RMan_t_
pPerms : Dar_Lib_t_, Dec_Man_t_, Dtt_Man_t_, Rwr_Man_t_, Rwt_Man_t_
pPerms4 : Dar_Lib_t_, Rwr_Man_t_, Rwt_Man_t_
pPermT : Abc_TgMan_t_
pPermTRev : Abc_TgMan_t_
pPfObjs : Pf_Man_t_
ppGates0 : Mio_LibraryStruct_t_
ppGatesName : Mio_LibraryStruct_t_
ppGraphs : Bac_Man_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_
ppLits : Res6_Man_t_
ppMasks : MvcDataStruct
ppNodes : cloudManager
ppObjs : Gia_ManAre_t_
pPosCof : Dsc_node_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_
pPres : Dtt_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
pPrimNames : Bac_Man_t_
pPrimSymbs : Bac_Man_t_
pPrios : Dar_Lib_t_
pPriosMem : Dar_Lib_t_
pProd : Rewire::Miaig_Data
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_, Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_Man_t_, Tas_Man_t_
ppSets : Res6_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_
pRanges : Wln_Ntk_t_
pRarity : Ssw_RarMan_t_
pre : Glucose2_Pars_, Glucose_Pars_
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_
pred : Flow_Data_t_
Predec : Gem_Obj_t_
prefix : CaDiCaL::Internal, kissat, rrr::Scheduler< Ntk, Opt, Par >::Job
pRefNodes : _reo_man
pRefs : Abc_EnuMan_t_, Fsim_Man_t_, Gia_Man_t_, Lpk_Man_t_, Raig_Man_t_, Rewire::Miaig_Data
pRefsCopy : Fsim_Man_t_
pRegsUndef : Saig_MvMan_t_
pRegsValues : Saig_MvMan_t_
pReoMan : If_Par_t_
pRepr : Fpga_NodeStruct_t_, Fraig_NodeStruct_t_, Map_NodeStruct_t_, SC_Cell_
preprocessing : CaDiCaL::Inc, CaDiCaL::Internal, CaDiCaL::Limit, CaDiCaL::Option, kissat
preprocessings : CaDiCaL::Stats
pReprs : Aig_Man_t_, Gia_Man_t_
pReprsOld : Gia_Man_t_
pReprsProved : Dch_Man_t_
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 : cube, Fxch_Obj_t_
prev : Abc_FrameInitializer_t_, CaDiCaL::Link, CaDiCaL::Phases, CaDiCaL::Quotient, CaDiCaL::Sweeper, FM_cell, internal_state, kink, links, quotient, sweeper
prev_col : sm_col_struct, sm_element_struct
prev_length : internal_state
prev_match : internal_state
prev_row : sm_element_struct, sm_row_struct
prev_units : CaDiCaL::Sweeper
prevnon : saucy
prime : cadical_kitten
primes : cost_struct
print_automorphism : saucy
Prio : Rf2_Obj_t_, Rfn_Obj_t_, Rnm_Obj_t_, Vta_Obj_t_
prio : Pdr_Obl_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
private_steps : CaDiCaL::Internal
pRnm : Ga2_Man_t_, Gla_Man_t_
probe : CaDiCaL::Last, CaDiCaL::Stats, enabled, limits, remember
probe_reason : CaDiCaL::Internal
probed : CaDiCaL::Stats
probefailed : CaDiCaL::Stats
probehbr_chains : CaDiCaL::Internal
probes : CaDiCaL::Internal
probing : kissat
probingrounds : CaDiCaL::Stats
process : CaDiCaL::Stats
Profile : Mio_GateStruct_t_
Profile2 : Mio_GateStruct_t_
progress_estimate : Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver2_t, sat_solver3_t, sat_solver_t
promote : frame, kissat
promoted1 : CaDiCaL::Stats
promoted2 : CaDiCaL::Stats
proof : CaDiCaL::Internal
proof_clauses : CaDiCaL::Eliminator
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_
prop_limit : satoko_opts
propagate : CaDiCaL::Sweeper, kissat
propagated : CaDiCaL::Internal, cadical_kitten, kitten
propagated2 : CaDiCaL::Internal
propagation_budget : Gluco2::Solver, Gluco::Solver, Minisat::Solver
propagations : CaDiCaL::Checker, CaDiCaL::Last, CaDiCaL::Stats, CaDiCaL::Walker, Gluco2::Solver, Gluco::Solver, Minisat::Solver, stats_t
propagator : CaDiCaL::External
propergated : CaDiCaL::Internal
protected_reasons : CaDiCaL::Internal
pRowSums : Llb_Mtr_t_
pRules : Amap_Lib_t_
pRulesX : Amap_Lib_t_
pS : Gluco2::Solver::JustOrderLt2
pSameVar : Cut_CMan_t_
pSat : Acb_Mfs_t_, Aig_Gla1Man_t_, Aig_Gla2Man_t_, Aig_Gla3Man_t_, Bmc_Load_t_, Bmc_Mna_t_, Ccf_Man_t_, Cec2_Man_t_, Cec3_Man_t_, Cec4_Man_t_, Cec5_Man_t_, Cec_ManSat_t_, Cgt_Man_t_, Dch_Man_t_, Exa3_Man_t_, Exa_Man_t_, Fra_Man_t_, Fraig_ManStruct_t_, Ga2_Man_t_, Gia_Man2Min_t_, Gia_ManAre_t_, Gia_ManBmc_t_, Gla_Man_t_, If_DsdMan_t_, Int2_Man_t_, Inter_Check_t_, Ivy_FraigMan_t_, Maj3_Man_t_, Maj_Man_t_, Mfs_Man_t_, Msat_Order_t_, Saig_Bmc_t_, Sbd_Man_t_, Sbl_Man_t_, Sbm_Man_t_, Seg_Man_t_, Ses_Man_t_, Ses_Store_t_, Sfm_Dec_t_, Sfm_Ntk_t_, Sle_Man_t_, Ssc_Man_t_, Ssw_Sat_t_, Swp_Man_t_, Vta_Man_t_, Zyx_Man_t_
pSat2 : Cec_ManSat_t_, Gia_ManBmc_t_, Saig_Bmc_t_
pSat3 : Gia_ManBmc_t_
pSatBmc : Cla_Man_t_, Clu_Man_t_
pSatlutWinman : Gia_Man_t_
pSatMain : Cla_Man_t_, Clu_Man_t_
pSatPref : Int2_Man_t_
pSats : Bmcg_Man_t_, Bmcs_Man_t_
pSatSuff : Int2_Man_t_
pSatSyn : Qbf_Man_t_
pSatSynG : 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_
pSCHashTable : Fxch_Man_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_
pScript : StochSynData_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_, Gia_RsbMan_t_, Gia_SimAbsMan_t_
pSets : Amap_Nod_t_, Gia_ResbMan_t_
pShared : Dss_Ent_t_
pSibls : Gia_Man_t_
pSigNames : Prs_VerInfo_t_
pSigns : Mpm_Man_t_
pSigs : Bac_Trip_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_, Acb_Man_t_, Agi_Man_t_, Aig_Man_t_, Bac_Man_t_, Cba_Man_t_, Gia_Man_t_, Nwk_Man_t_, Pla_Man_t_, Rtl_Lib_t_, Ses_Man_t_, Wlc_Ntk_t_, Wln_Ntk_t_
pSpecName : Abc_Frame_t_
pSrv : Sbd_Man_t_
pStairDecFunc : Ses_Man_t_
pStart : Gia_ManTranStochParam
pState : Pdr_Obl_t_
pStateNew : Gia_ManEra_t_
pSto : Sbd_Man_t_
pstop : Gluco2::Solver, Gluco::Solver, solver_t_
pStore : Abc_Nam_t_, Dau_Sto_t_, If_DsdMan_t_, sat_solver3_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_
pStrs : Acb_Man_t_, Bac_Man_t_, Cba_Man_t_, Prs_Man_t_, Prs_Ntk_t_, Psr_Man_t_, Psr_Ntk_t_, Smt_Prs_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_
pSymb : Bac_Pair_t_
pSymms : Extra_SymmInfo_t_
pSymStr : Bmc_EsPar_t_
pSynthesizedImp : Ses_Store_t_
pSynthesizedRL : Ses_Store_t_
pSynthesizedTrivial : Ses_Store_t_
pT : _reo_unit
pT2V : Abc_ZddMan_
ptab : CaDiCaL::Internal
pTable : Agi_Man_t_, Aig_Man_t_, Bdc_Man_t_, Cec4_Man_t_, Cec5_Man_t_, Csw_Man_t_, Dsd_Cache_t_, Dtt_Man_t_, FxuMatrix, Ga2_Man_t_, Hop_Man_t_, Io_BlifMan_t_, Ivy_Man_t_, Odc_Man_t_, Rewire::Miaig_Data, Rwr_Man_t_, Rwt_Man_t_, Tab_Man_t_, Tru_Man_t_
pTableF : Fraig_ManStruct_t_
pTableF0 : Fraig_ManStruct_t_
pTableS : Fraig_ManStruct_t_
pTableTemp : Gia_SimAbsMan_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_, Cec_ManS_t_, Min_Man_t_
pTemp1 : Lms_Man_t_
pTemp2 : Lms_Man_t_
pTempOutputID : Fxch_Man_t_
pTerSimData : Aig_Man_t_
pThird : Agi_Man_t_
pThread : Wla_Man_t_
pTim : Sfm_Dec_t_
pTime4Outs : Gia_ManBmc_t_, Pdr_Man_t_
pTimes : Dtt_Man_t_, 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, vi_
pTrail : Int_Man_t_, Inta_Man_t_, Intb_Man_t_, Intp_Man_t_, Pr_Man_t_
pTravIds : Agi_Man_t_, Gia_Man_t_, Rewire::Miaig_Data
pTree : FxuHeapDouble, FxuHeapSingle
pTried : Tree_Sto_t_
pTriv0 : Min_Man_t_
pTriv1 : Min_Man_t_
pTruth : Abc_TgMan_t_, Aig_RMan_t_, Aig_Tru_t_, Dua_Dsd_t_, Exa3_Man_t_, Exa_Man_t_, Gia_ChMan_t_, Gia_MapLut_t_, Gli_Obj_t_, If_Hte_t_, Ifn_Ntk_t_, Lpk_Fun_t_, Mio_GateStruct_t_, Ses_TruthEntry_t_, Sfm_Ntk_t_, Tru_One_t_, Zyx_Man_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_, Mini_Lut_t_, Rewire::Miaig_Data
pTruthTemp : Aig_RMan_t_
pTStates : Saig_MvMan_t_
pTtElems : Dss_Man_t_, Gem_Man_t_, If_DsdMan_t_, Ifn_Ntk_t_, Sfm_Dec_t_, Sfm_Ntk_t_
pTtGia : If_DsdMan_t_
pTtObjs : Ifn_Ntk_t_, Ses_Man_t_
pTtStr : Bmc_EsPar_t_
pTtValues : Ses_Man_t_
pTwin : Amap_Gat_t_, Mio_GateStruct_t_
pTwo : Fpga_CutStruct_t_, Map_CutStruct_t_, Super2_GateStruct_t_
pTxs3 : Pdr_Man_t_
pTypeName : Prs_VerInfo_t_
pTypeNames : Acb_Man_t_, Cba_Man_t_
puAux : Cut_CMan_t_
puCanons : Dar_Lib_t_, Dec_Man_t_, Rwr_Man4_t_, Rwr_Man_t_, Rwt_Man_t_
pUData : Gia_Man_t_
puFunc : Bdc_Fun_t_
pUnique : Abc_BddMan_, Abc_ZddMan_
pUniques : Gia_IsoMan_t_
pUnitFreeList : _reo_man
pUnr : Ccf_Man_t_
pUnsynthesizedImp : Ses_Store_t_
pUnsynthesizedRL : Ses_Store_t_
puOff : Bdc_Isf_t_
puOn : Bdc_Isf_t_
pure : CaDiCaL::Stats
pUserMan : If_Man_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_
pValues : Tab_Man_t_
pVar : FxuCube, FxuLit
pVar1 : FxuSingle
pVar2 : FxuSingle
pVar2Level : NewBdd::Param, NewTt::Param, rrr::NewBdd::Param
pVarCosts : _reo_man
pVarDefs : Dau_Dsd_t_
pVarLevels : Dau_Dsd_t_
pVarNums : Cnf_Dat_t_
pVars : Abc_BddMan_, Extra_SymmInfo_t_, Extra_UnateInfo_t_, If_Grp_t_, Llb_Mgr_t_, Msat_Order_t_, Msat_Queue_t_, Sbd_Pro_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_
pvFans : Rewire::Miaig_Data
pvId2Vars : Pdr_Man_t_
pVisited : Dtt_Man_t_, 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_