abc70930: Data Fields

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 : Rwt_Node_t_ , Rwr_Node_t_
p1 : Rwt_Node_t_ , Fraig_NodeStruct_t_ , Fpga_NodeStruct_t_ , Map_NodeStruct_t_ , Rwr_Node_t_
p2 : Fpga_NodeStruct_t_ , Map_NodeStruct_t_ , Fraig_NodeStruct_t_
page : ApproxInfo
pAig : Fra_Cla_t_ , Fra_Sml_t_ , Fra_Bmc_t_ , Fra_Lcr_t_ , Aig_CuddMan_t_ , Io_BlifMan_t_ , Res_Man_t_ , Res_Sim_t_ , Aig_Tsi_t_ , Dar_Man_t_ , Ref_Man_t_
pAigFraig : Fra_Bmc_t_
pAigFrames : Fra_Bmc_t_
pair : PLA_t
pairIndex : DdSubtable
paNodes : LUT
Params : ABC_ManagerStruct_t
parent : MtrNode
pArg : Ivy_Eva_t_
parity : NodeData
pArray : Ivy_Cut_t_ , Ivy_Supp_t_ , Fpga_CutTableStrutct_t , Fpga_NodeVecStruct_t_ , Map_CutTableStrutct_t , Map_NodeVecStruct_t_ , Hash_Flt_t_ , Hash_Int_t_ , Hash_Ptr_t_ , Vec_Flt_t_ , Vec_Int_t_ , Vec_Ptr_t_ , Vec_Str_t_ , Vec_Vec_t_ , Fraig_NodeVecStruct_t_ , Msat_ClauseVec_t_ , Msat_IntVec_t_
pArrayInt : Vec_Att_t_
pArrayPtr : Vec_Att_t_
part_size : cube_struct
part_zeros : cdata_struct
parts_active : cdata_struct
pAssigns : Int_Man_t_ , Msat_Solver_t_ , Pr_Man_t_
pAttrs : Attr_ManStruct_t_
pbCodes : LUT
pbCols : LUT
pBins : Fpga_CutTableStrutct_t , Fpga_ManStruct_t_ , Map_CutTableStrutct_t , Map_ManStruct_t_ , Map_HashTableStruct_t_ , Fraig_HashTableStruct_t_ , Aig_Tsi_t_ , Abc_Aig_t_ , Abc_ManRec_t_
pBinsI2N : Nm_Man_t_
pBinsN2I : Nm_Man_t_
pBmc : Fra_Man_t_
pBSet : Abc_ManScl_t_
pBuffer : Io_BlifMan_t_ , Io_MvMan_t_ , Ver_Stream_t_ , Extra_FileReader_t_
pBufferCur : Ver_Stream_t_ , Extra_FileReader_t_
pBufferEnd : Ver_Stream_t_ , Extra_FileReader_t_
pBufferStop : Ver_Stream_t_ , Extra_FileReader_t_
pBytes : Abc_ManRec_t_
pCands : Lpk_Man_t_
pCareSet : Abc_ManRes_t_
pCharMap : Extra_FileReader_t_
pChars : Ver_Stream_t_
pChunkLast : Sto_Man_t_ , Pr_Man_t_
pChunks : Aig_MmFixed_t_ , Aig_MmFlex_t_ , Mem_Fixed_t_ , Mem_Flex_t_ , Extra_MmFixed_t_ , Extra_MmFlex_t_ , Sat_MmFixed_t_ , Sat_MmFlex_t_ , Fraig_MemFixed_t_ , Msat_MmFixed_t_ , Msat_MmFlex_t_
pCla : Fra_Man_t_ , Fra_Lcr_t_
pClauses : Cnf_Dat_t_
pCnf : Res_Man_t_ , Int_Man_t_
pCofVars : Lpk_Res_t_
pCompareNew : Cut_ManStruct_t_
pCompareOld : Cut_ManStruct_t_
pConst1 : Aig_Man_t_ , Hop_Man_t_ , Ivy_Man_t_ , Abc_Aig_t_ , Dsd_Manager_t_ , Fpga_ManStruct_t_ , If_Man_t_ , Map_ManStruct_t_ , Fraig_ManStruct_t_
pCopy : Rtm_Obj_t_ , Bdc_Fun_t_ , Ivy_Man_t_ , Abc_Obj_t_ , Abc_Ntk_t_ , If_Obj_t_
pCounters : Map_ManStruct_t_
pCube : FxuLit
pCube1 : FxuPair
pCube2 : FxuPair
pCubes : Kit_Sop_t_ , MvcCoverStruct
pCurrent : Aig_MmFlex_t_ , Mem_Flex_t_ , Extra_MmFlex_t_ , Sat_MmFlex_t_ , Msat_MmFlex_t_
pCut : Rwt_Man_t_
pCutBest : Fpga_NodeStruct_t_ , Map_NodeStruct_t_
pCutOld : Fpga_NodeStruct_t_
pCuts : Csw_Man_t_ , Ivy_Store_t_ , Fpga_CutTableStrutct_t , Fpga_NodeStruct_t_ , Map_CutTableStrutct_t , Map_NodeStruct_t_ , Lpk_Man_t_
pCuts1 : Fpga_CutTableStrutct_t , Map_CutTableStrutct_t
pCuts2 : Fpga_CutTableStrutct_t , Map_CutTableStrutct_t
pCutSet : If_Obj_t_
pCutsN : Fpga_NodeStruct_t_
pdActivity : Msat_Solver_t_
pData : Aig_Obj_t_ , Aig_Man_t_ , Fra_Sml_t_ , Hop_Obj_t_ , Hop_Man_t_ , Ivy_Man_t_ , Ivy_FraigSim_t_ , Abc_Obj_t_ , Abc_Ntk_t_ , ParseStackFnStruct , ParseStackOpStruct , MvcCubeStruct , Sim_Pat_t_ , Msat_Clause_t_
pData0 : Fpga_NodeStruct_t_ , Map_NodeStruct_t_ , Fraig_NodeStruct_t_
pData1 : Map_NodeStruct_t_ , Fraig_NodeStruct_t_
pDatas : Dar_Lib_t_
pDecs : Dsd_Node_t_
pDelays : Lpk_Fun_t_
pDesign : Abc_Ntk_t_ , Io_MvMan_t_ , Ver_Man_t_
pDiv : FxuPair
pDNext : FxuPair
pDPrev : FxuPair
pDsdMan : Lpk_Man_t_
pDumpFileName : ABC_ManagerStruct_t
pE : _reo_unit
peakLiveNodes : DdManager
pEmpty : Sto_Man_t_ , Pr_Man_t_
pEnd : Aig_MmFlex_t_ , Mem_Flex_t_ , Extra_MmFlex_t_ , Sat_MmFlex_t_ , Msat_MmFlex_t_
pEntriesFree : Aig_MmFixed_t_ , Mem_Fixed_t_ , Extra_MmFixed_t_ , Sat_MmFixed_t_ , Fraig_MemFixed_t_ , Msat_MmFixed_t_
pEquiv : Csw_Man_t_ , Ivy_Obj_t_ , Abc_Obj_t_ , Io_BlifObj_t_ , If_Obj_t_
pEquivs : Aig_Man_t_
Period : If_Man_t_
perm : DdManager
permZ : DdManager
pEvals : Lpk_Man_t_
pExdc : Abc_Ntk_t_
pExtra : Rtm_Man_t_
pFactors : Msat_Solver_t_
pFan0 : Bdc_Fun_t_
pFan1 : Bdc_Fun_t_
pFan2 : Bdc_Fun_t_
pFanData : Aig_Man_t_
pFanFanin1 : Fraig_NodeStruct_t_
pFanFanin2 : Fraig_NodeStruct_t_
pFanin : Abc_RRMan_t_
pFanin0 : Aig_Obj_t_ , Hop_Obj_t_ , Ivy_Obj_t_ , Ivy_FraigSim_t_ , If_Obj_t_
pFanin1 : Aig_Obj_t_ , Hop_Obj_t_ , Ivy_Obj_t_ , Ivy_FraigSim_t_ , If_Obj_t_
pFanins : Cnf_Cut_t_ , Csw_Cut_t_ , Map_SuperStruct_t_ , Super_GateStruct_t_ , Lpk_Fun_t_
pFanio : Rtm_Obj_t_
pFanout : Ivy_Obj_t_ , Abc_RRMan_t_
pFanPivot : Fraig_NodeStruct_t_
pFans : Kit_DsdObj_t_
pFile : Bar_Progress_t_ , Ver_Stream_t_ , ProgressBarStruct , Extra_FileReader_t_ , Int_Man_t_ , sat_solver_t
pFileName : Io_ReadBlif_t_ , Io_BlifMan_t_ , Io_MvMan_t_ , Ver_Man_t_ , Ver_Stream_t_ , Fpga_ManStruct_t_ , Extra_FileReader_t_
pFirst : FxuCube , FxuVar
pForm : Mio_GateStruct_t_
pFormula : Map_SuperStruct_t_
pFreeBuf : Part_Man_t_ , Supp_Man_t_
pFreeList : If_Man_t_
pFreq : Msat_Solver_t_
pFunc : Dar_LibDat_t_ , Dec_Node_t_ , Kit_Node_t_ , MvCommand
pFuncCost : If_Par_t_
pFuncFreeMan : Attr_ManStruct_t_ , Vec_Att_t_
pFuncFreeObj : Attr_ManStruct_t_ , Vec_Att_t_
pFuncNodeHash : Fra_Cla_t_
pFuncNodeIsConst : Fra_Cla_t_
pFuncNodesAreEqual : Fra_Cla_t_
pFuncStartObj : Vec_Att_t_
pFuncUser : If_Par_t_
pGate0 : Mio_LibraryStruct_t_
pGate1 : Mio_LibraryStruct_t_
pGateAnd2 : Mio_LibraryStruct_t_
pGateBuf : Mio_LibraryStruct_t_
pGateInv : 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_Lib_t_ , Map_SuperLibStruct_t_
pGraph : Rwt_Man_t_ , Rwr_Man_t_
pGraphBest : Ref_Man_t_
pHaig : Ivy_Man_t_ , Abc_Ntk_t_
phase : PLA_t
Phase : Fpga_CutStruct_t_ , Map_CutStruct_t_ , Mio_PinStruct_t_
pHead : Ivy_FraigList_t_ , _reo_plane , MvcListStruct , Cut_ListStruct_t_ , FxuListCube , FxuListVar , FxuListLit , FxuListPair , FxuListDouble , FxuListSingle , Sto_Man_t_ , Pr_Man_t_
pHeapDouble : FxuMatrix
pHeapSingle : FxuMatrix
pHNext : FxuLit
pHPrev : FxuLit
pIfMan : Lpk_Man_t_
pImpData : Aig_Man_t_
pImpFunc : Aig_Man_t_
pInfo : Abc_ManRes_t_
pInputArrivals : Fpga_ManStruct_t_ , Map_ManStruct_t_
pInputs : Dsd_Manager_t_ , Fpga_ManStruct_t_ , Map_ManStruct_t_ , Super_ManStruct_t_
pInters : Int_Man_t_
pInToOutNum : Fra_Lcr_t_
pInToOutPart : Fra_Lcr_t_
pIsfAL : Bdc_Man_t_
pIsfAR : Bdc_Man_t_
pIsfOL : Bdc_Man_t_
pIsfOR : Bdc_Man_t_
pla_type : PLA_t
pLargeChunks : Extra_MmStep_t_
pLatest : Io_MvMan_t_
pLearnt : Pr_Man_t_
pLeaves : Dar_Cut_t_ , If_Cut_t_ , Cut_CutStruct_t_ , Lpk_Cut_t_
pLevel : Fpga_NodeStruct_t_ , Msat_Solver_t_
pLevelOrder : _reo_man
pLib : Mio_GateStruct_t_
pLibGen : Abc_Frame_t_
pLibLut : Abc_Frame_t_
pLibrary : Abc_Lib_t_
pLibSuper : Abc_Frame_t_
pLibVer : Abc_Frame_t_
pListFree : Hop_Man_t_ , Ivy_Man_t_
pLits : MvcCoverStruct , Sto_Cls_t_ , Pr_Cls_t_
plusinfinity : DdManager
pLutAreas : Fpga_LutLibStruct_t_ , If_Lib_t_
pLutDelays : Fpga_LutLibStruct_t_ , If_Lib_t_
pLutLib : Fpga_ManStruct_t_ , If_Par_t_
pMan : Cnf_Dat_t_ , Io_MvMod_t_ , MvcDataStruct , Vec_Att_t_ , Res_Man_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_
pManDec : Abc_Frame_t_
pManDsd : Abc_ManRst_t_
pManFraig : Fra_Man_t_ , Ivy_FraigMan_t_
pManFunc : Abc_Ntk_t_ , Abc_Lib_t_
pManMem : Attr_ManStruct_t_
pManName : Abc_Ntk_t_
pManProof : Pr_Man_t_
pManRes : Csw_Man_t_
pManSop : FxuDataStruct
pManTime : Aig_Man_t_ , Abc_Ntk_t_
pMap : Aig_MmStep_t_ , Dar_Lib_t_ , Dec_Man_t_ , Mem_Step_t_ , Rwt_Man_t_ , Extra_MmStep_t_ , Rwr_Man_t_ , Sat_MmStep_t_ , Msat_MmStep_t_
pMapInv : Rwt_Man_t_ , Rwr_Man_t_
pMapToDdVarsFinal : _reo_man
pMapToDdVarsOrig : _reo_man
pMapToPlanes : _reo_man
pMask : MvcCoverStruct
pMaskBin : MvcDataStruct
pMem : Cut_CMan_t_ , Rtm_Man_t_ , Aig_Tsi_t_ , Ivy_SuppMan_t_ , Kit_DsdNtk_t_ , Super2_ManStruct_t_ , Super_ManStruct_t_ , MvcCoverStruct , Nm_Man_t_ , sat_solver_t , Msat_Solver_t_
pMemAnd : If_Man_t_
pMemChunks : _reo_man
pMemCi : If_Man_t_
pMemClasses : Fra_Cla_t_
pMemClassesFree : Fra_Cla_t_
pMemCuts : Cnf_Man_t_ , Csw_Man_t_ , Dar_Man_t_
pMemFanins : Fra_Man_t_
pMemFlex : Super_ManStruct_t_
pMemFraig : Fra_Man_t_
pMemMan : stmm_table , FxuMatrix
pMemObj : Aig_TMan_t_ , If_Man_t_
pMemObjs : Aig_Man_t_
pMemRepr : Fra_Cla_t_
pMems : Aig_MmStep_t_ , Mem_Step_t_ , Extra_MmStep_t_ , Sat_MmStep_t_ , Msat_MmStep_t_
pMemSatNums : Fra_Man_t_
pMemSet : If_Man_t_
pMints : Abc_ManRec_t_
pMiter : Abc_RRMan_t_
pMmCuts : Cut_ManStruct_t_ , Cut_OracleStruct_t_
pMmFlex : Mio_LibraryStruct_t_
pMmNames : ABC_ManagerStruct_t
pMmNode : Rwt_Man_t_ , Rwr_Man_t_
pMmObj : Abc_Ntk_t_
pMmPat : Sim_Man_t_
pMmStep : Abc_Ntk_t_
pModel : Abc_Ntk_t_ , Io_BlifMan_t_ , Fraig_ManStruct_t_ , Msat_Solver_t_
pMvcMem : Dec_Man_t_
pName : Mio_GateStruct_t_ , Abc_Ntk_t_ , Fpga_LutLibStruct_t_ , Aig_Man_t_ , Abc_Lib_t_ , Io_BlifObj_t_ , Io_MvMod_t_ , If_Lib_t_ , Map_SuperLibStruct_t_ , Mio_LibraryStruct_t_ , Mio_PinStruct_t_ , Super_ManStruct_t_
pNameFormal : Ver_Bundle_t_
pNames : Io_MvVar_t_
pNameSake : Nm_Entry_t_
pnCounts : Rwr_Man4_t_
pNetBackup : Abc_Ntk_t_
pNext : Pr_Cls_t_ , Cut_Cell_t_ , Mio_PinStruct_t_ , Hash_Int_Entry_t_ , Fpga_NodeStruct_t_ , Aig_Obj_t_ , Ivy_FraigSim_t_ , Bdc_Fun_t_ , Csw_Cut_t_ , Hop_Obj_t_ , Rwt_Node_t_ , Abc_Obj_t_ , Io_BlifObj_t_ , Fpga_CutStruct_t_ , If_Set_t_ , Map_NodeStruct_t_ , Map_CutStruct_t_ , Map_SuperStruct_t_ , Map_HashEntryStruct_t_ , Mio_GateStruct_t_ , Super2_GateStruct_t_ , Super_GateStruct_t_ , Hash_Flt_Entry_t_ , Hash_Ptr_Entry_t_ , MvcCubeStruct , Cut_CutStruct_t_ , FxuCube , FxuVar , FxuDouble , FxuSingle , Rwr_Node_t_ , Sto_Cls_t_ , Msat_OrderVar_t_
pNext0 : Sto_Cls_t_ , Pr_Cls_t_
pNext1 : Pr_Cls_t_ , Sto_Cls_t_
pNextD : Fraig_NodeStruct_t_
pNextE : Fraig_NodeStruct_t_ , Fpga_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_
pNextVar : Cut_Cell_t_
pNode : Abc_RRMan_t_ , Res_Win_t_ , Odc_Man_t_
pNodeEnd : cloudManager
pNodes : Dar_Lib_t_ , Dec_Graph_t_ , Kit_Graph_t_ , Lpk_Cut_t_ , Kit_DsdNtk_t_ , Bdc_Man_t_
pNodes0 : Dar_Lib_t_
pNodes0Mem : Dar_Lib_t_
pNodesMem : Dar_Lib_t_
pNodeStart : cloudManager
pnRefs : Csw_Man_t_
pNtk : Abc_Obj_t_ , Abc_ManRst_t_ , Abc_RRMan_t_ , Io_MvMod_t_ , Sym_Man_t_ , Sim_Man_t_ , ABC_ManagerStruct_t , Abc_ManRec_t_ , Lpk_Man_t_
pNtkAig : Abc_Aig_t_
pNtkCur : Io_ReadBlif_t_ , Abc_Frame_t_
pNtkMaster : Io_ReadBlif_t_
pObj : Lpk_Man_t_
pObjCopies : Aig_Man_t_
pObjects : Io_BlifMan_t_
pObjs : Odc_Man_t_ , Dar_Lib_t_
pObjToFraig : Fra_Bmc_t_
pObjToFrames : Fra_Bmc_t_
Polarity : Lpk_Res_t_
pOne : Map_CutStruct_t_ , Fpga_CutStruct_t_ , Super2_GateStruct_t_
populationSize : DdManager
pOrder : FxuDouble , FxuVar , FxuCube , Msat_Solver_t_ , _reo_man
pOrderCubes : FxuMatrix
pOrderData : Aig_Man_t_
pOrderInt : _reo_man
pOrderVars : FxuMatrix
Pos : Extra_UnateVar_t_
pos : symbolic_list_struct , cuddPathPair
posCur : ProgressBarStruct , Bar_Progress_t_
postGCHook : DdManager
posTotal : Bar_Progress_t_ , ProgressBarStruct
postReorderingHook : DdManager
pOutName : Mio_GateStruct_t_
pOutputs : Fpga_ManStruct_t_ , Map_ManStruct_t_
pOuts : Supp_One_t_ , Part_One_t_
pParams : Ivy_FraigMan_t_ , Cut_ManStruct_t_ , Cut_OracleStruct_t_ , Abc_RRMan_t_
pParent : Cut_Cell_t_
pPars : Dar_Man_t_ , Lpk_Man_t_ , Res_Man_t_ , Fra_Man_t_ , Ref_Man_t_ , If_Man_t_ , Bdc_Man_t_
pPatScores : Ivy_FraigMan_t_
pPatWords : Ivy_FraigMan_t_ , Fra_Man_t_
ppCuts : If_Set_t_
ppData : Extra_BitMat_t_
pPerm : If_Cut_t_ , Rwt_Man_t_
pPerms : Dec_Man_t_ , Rwr_Man_t_ , Dar_Lib_t_ , Rwt_Man_t_
pPerms4 : Dar_Lib_t_ , Rwt_Man_t_ , Rwr_Man_t_
pPhases : Dar_Lib_t_ , Dec_Man_t_ , Rwr_Man_t_ , Rwt_Man_t_
ppInputNames : Fraig_ManStruct_t_
pPins : Mio_GateStruct_t_
pPis : Aig_TMan_t_
pPlace : Dar_Lib_t_
pPlaceMem : Dar_Lib_t_
pPlanes : _reo_man
ppLeaves : Map_CutStruct_t_ , Fpga_CutStruct_t_
ppMasks : MvcDataStruct
ppNodes : cloudManager
pPos : Aig_TMan_t_
ppOutputNames : Map_ManStruct_t_ , Fraig_ManStruct_t_ , Fpga_ManStruct_t_
ppPairs : FxuVar , FxuMatrix
pppPairs : FxuMatrix
pPractical : Rwr_Man_t_ , Rwt_Man_t_
pPrev : FxuVar , FxuSingle , Msat_OrderVar_t_ , FxuCube , FxuDouble
pPrevFan0 : Ivy_Obj_t_
pPrevFan1 : Ivy_Obj_t_
pPrios : Dar_Lib_t_
pPriosMem : Dar_Lib_t_
pProgress : Ivy_FraigMan_t_ , Ver_Man_t_
pProof : Pr_Cls_t_
pProofNums : Int_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_
pReader : Io_ReadBlif_t_ , Ver_Man_t_
pReady : Cut_ManStruct_t_
pReasons : Msat_Solver_t_ , Pr_Man_t_ , Int_Man_t_
pRefNodes : _reo_man
pRefs : Lpk_Man_t_
preGCHook : DdManager
pReoMan : If_Par_t_
pRepr : Fraig_NodeStruct_t_ , Map_NodeStruct_t_ , Fpga_NodeStruct_t_
pReprs : Aig_Man_t_
preReorderingHook : DdManager
pResetLatch : Io_MvMod_t_
pResLits : Pr_Man_t_ , Int_Man_t_
pResult : ABC_ManagerStruct_t
prev_col : sm_element_struct , sm_col_struct
prev_row : sm_row_struct , sm_element_struct
primes : cost_struct
progress_estimate : sat_solver_t
pRoot : Msat_OrderRing_t_ , Super_GateStruct_t_ , Fpga_CutStruct_t_ , Map_SuperStruct_t_ , Bdc_Man_t_ , Abc_ManRes_t_
pRoots : Dsd_Manager_t_
propagations : stats_t
pSameVar : Cut_CMan_t_
pSat : Fraig_ManStruct_t_ , Fra_Man_t_ , Msat_Order_t_ , Ivy_FraigMan_t_
pScore : Dar_Lib_t_
pScoreMem : Dar_Lib_t_
pSeen : Msat_Solver_t_
pSeens : Int_Man_t_ , Pr_Man_t_
pSim : Res_Man_t_
pSimsDiff : Fraig_ManStruct_t_
pSimsReal : Fraig_ManStruct_t_
pSimStart : Ivy_FraigMan_t_
pSimsTemp : Fraig_ManStruct_t_
pSimWords : Ivy_FraigMan_t_
pSml : Fra_Man_t_
pSop : Mio_GateStruct_t_
pSops : Cnf_Man_t_
pSopSizes : Cnf_Man_t_
pSpec : Abc_Ntk_t_
pStore : sat_solver_t
pStore0 : Cut_ManStruct_t_
pStore1 : Cut_ManStruct_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
pSuppF : Fraig_ManStruct_t_
pSuppS : Fraig_ManStruct_t_
pSupps : Kit_DsdNtk_t_
pSymms : Extra_SymmInfo_t_
pT : _reo_unit
pTable : Rwt_Man_t_ , Dsd_Cache_t_ , Csw_Man_t_ , Ivy_Man_t_ , Aig_CuddMan_t_ , Aig_Man_t_ , FxuMatrix , Io_BlifMan_t_ , Rwr_Man_t_ , Bdc_Man_t_ , Odc_Man_t_ , Hop_Man_t_
pTableF : Fraig_ManStruct_t_
pTableF0 : Fraig_ManStruct_t_
pTableS : Fraig_ManStruct_t_
pTail : FxuListPair , FxuListSingle , FxuListCube , FxuListLit , Sto_Man_t_ , MvcListStruct , FxuListVar , FxuListDouble , Ivy_FraigList_t_ , Pr_Man_t_
pTarget : ABC_ManagerStruct_t
ptDelays : Super_GateStruct_t_
pTemp1 : Abc_ManRec_t_
pTemp2 : Abc_ManRec_t_
pTimesArr : If_Par_t_
pTimesReq : If_Par_t_
pTops : _reo_man
ptr : vecp_t , veci_t
pTrail : Pr_Man_t_ , Int_Man_t_
pTree : FxuHeapDouble , FxuHeapSingle
pTruth : Lpk_Fun_t_ , If_Cut_t_
pTruths : Cnf_Man_t_
pTwo : Super2_GateStruct_t_ , Map_CutStruct_t_ , Fpga_CutStruct_t_
puAux : Cut_CMan_t_
puCanons : Rwr_Man_t_ , Rwt_Man_t_ , Dec_Man_t_ , Dar_Lib_t_ , Rwr_Man4_t_
puFunc : Bdc_Fun_t_
pUnitFreeList : _reo_man
puOff : Bdc_Isf_t_
puOn : Bdc_Isf_t_
puSimD : Fraig_NodeStruct_t_
puSimR : Fraig_NodeStruct_t_
puSupps : Lpk_Man_t_ , Lpk_Fun_t_
puTemp : If_Man_t_ , Csw_Man_t_ , Cut_ManStruct_t_
puTemp1 : Bdc_Man_t_
puTemp2 : Bdc_Man_t_
puTemp3 : Bdc_Man_t_
puTemp4 : Bdc_Man_t_
puTruth : Odc_Man_t_
pVar : FxuLit , FxuCube
pVar1 : FxuSingle
pVar2 : FxuSingle
pVarCosts : _reo_man
pVarNums : Cnf_Dat_t_
pVars : Msat_Queue_t_ , Extra_UnateInfo_t_ , Msat_Order_t_ , Extra_SymmInfo_t_
pVarTypes : Int_Man_t_ , Pr_Man_t_
pVNext : FxuLit
pVPrev : FxuLit
pvWatched : Msat_Solver_t_
pWatches : Int_Man_t_ , Pr_Man_t_
pWidthCofs : _reo_man
pWin : Res_Man_t_
pWnd : Abc_RRMan_t_