abc70930: Data Fields

- n -

n : _reo_unit
nAdded : Rwt_Man_t_ , Super_ManStruct_t_ , Rwr_Man_t_ , Abc_ManRec_t_ , Rwr_Node_t_
nAddedFuncs : Abc_ManRec_t_
nAliases : Super_ManStruct_t_
Name : Nm_Entry_t_
names : _CSAT_Target_ResultT
nan : EpDoubleStruct
nAndPrev : Aig_Man_t_
nAndTotal : Aig_Man_t_
nAplBeg : _reo_man
nAplCur : _reo_man
nAplEnd : _reo_man
nAreaIters : If_Par_t_
nAreaLim : Lpk_Fun_t_
nAsserts : Aig_Man_t_
nAttempts : If_Man_t_
nAttrs : Attr_ManStruct_t_
nAttrSize : Attr_ManStruct_t_
nBackTracks : Msat_Solver_t_
nBase : FxuPair
nBddSizeLimit : Prove_ParamsStruct_t_
nBenefited : Lpk_Man_t_
nBins : Map_CutTableStrutct_t , Map_ManStruct_t_ , Map_HashTableStruct_t_ , Hash_Flt_t_ , Hash_Int_t_ , Hash_Ptr_t_ , Nm_Man_t_ , Fraig_HashTableStruct_t_ , Aig_Tsi_t_ , Abc_Aig_t_ , Abc_ManRec_t_ , Fpga_CutTableStrutct_t , Fpga_ManStruct_t_
nBinVars : MvcDataStruct
nBits : Odc_Man_t_ , Abc_ManRes_t_ , MvcCoverStruct
nBitShift : Extra_BitMat_t_ , Cut_ParamsStruct_t_
nBlocks : Lpk_Man_t_
nBSVars : Lpk_Res_t_
nBTLimit : Fraig_ParamsStruct_t_ , Fraig_ManStruct_t_
nBTLimitGlobal : Fra_Man_t_ , Ivy_FraigMan_t_
nBTLimitMiter : Fra_Par_t_ , Ivy_FraigParams_t_
nBTLimitNode : Fra_Par_t_ , Ivy_FraigParams_t_
nBufferSize : Ver_Stream_t_ , Extra_FileReader_t_
nBufFixes : Aig_Man_t_
nBufMax : Aig_Man_t_
nBufReplaces : Aig_Man_t_
nBytesIn : Res_Sim_t_
nCacheHits : cloudManager
nCacheMisses : cloudManager
nCalledSRed : Lpk_Man_t_
nCalls : sat_solver_t
nCalls2 : sat_solver_t
nCands : Res_Par_t_
nCandSets : Res_Man_t_
nCanons : Fpga_ManStruct_t_ , Map_ManStruct_t_
nCap : Dec_Graph_t_ , Kit_Graph_t_ , Fpga_NodeVecStruct_t_ , Map_NodeVecStruct_t_ , Vec_Att_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_
nCellFound : Cut_CMan_t_
nCellNotFound : Cut_CMan_t_
nChanges : Lpk_Man_t_
nChars : Ver_Stream_t_
nChoiceNodes : Fpga_ManStruct_t_ , Map_ManStruct_t_
nChoices : Fra_Man_t_ , Fpga_ManStruct_t_ , If_Man_t_ , Map_ManStruct_t_
nChoicesFake : Fra_Man_t_
nChunks : 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_
nChunksAlloc : 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_
nChunkSize : Fraig_MemFixed_t_ , Msat_MmFixed_t_ , Msat_MmFlex_t_ , Pr_Man_t_ , Aig_MmFixed_t_ , Aig_MmFlex_t_ , Part_Man_t_ , Mem_Fixed_t_ , Mem_Flex_t_ , Supp_Man_t_ , Extra_MmFixed_t_ , Extra_MmFlex_t_ , Sat_MmFixed_t_ , Sat_MmFlex_t_ , Sto_Man_t_
nChunkUsed : Sto_Man_t_ , Pr_Man_t_
nClasses : Rwt_Man_t_ , Rwr_Man_t_ , Rwr_Man4_t_
nClassesBeg : Ivy_FraigMan_t_
nClassesEnd : Ivy_FraigMan_t_
nClassesSkip : Ivy_Man_t_
nClassesZero : Ivy_FraigMan_t_
nClauses : Cnf_Dat_t_ , sat_solver_t , Sto_Man_t_ , Msat_Solver_t_ , Pr_Man_t_
nClausesA : Sto_Man_t_ , Pr_Man_t_
nClausesAlloc : Msat_Solver_t_
nClausesAllocL : Msat_Solver_t_
nClausesInit : Msat_Solver_t_
nClausesStart : Msat_Solver_t_
nClosAlloc : Int_Man_t_
nCofVars : Lpk_Res_t_
ncols : sm_matrix_struct
nCols : LUT
nConeFanStop : Abc_ManCut_t_
nConeSizeMax : Abc_ManCut_t_ , Abc_ManRef_t_
nConflicts : Msat_SolverStats_t_
nConfLimit : sat_solver_t , Fraig_ParamsStruct_t_
nConsidered : Rwt_Man_t_ , Rwr_Man_t_ , Rwr_Man4_t_
nConstsUsed : Res_Man_t_
nCounts : Map_ManStruct_t_
nCountsBest : Map_ManStruct_t_
nCreated : Aig_Man_t_ , Hop_Man_t_ , Ivy_Man_t_
nCubes : Kit_Sop_t_ , FxuVar
nCubesAlloc : MvcCoverStruct
nCutBytes : If_Man_t_
nCutMax : Abc_ManRst_t_
nCutMemUsed : Dar_Man_t_
nCuts : Aig_Obj_t_ , Ivy_Store_t_ , Abc_ManRec_t_ , Fpga_CutTableStrutct_t , If_Set_t_ , Map_CutTableStrutct_t , Cut_OracleStruct_t_ , Lpk_Man_t_
nCutsAll : Dar_Man_t_
nCutsAlloc : Cut_ManStruct_t_
nCutsBad : Dar_Man_t_ , Rwt_Man_t_ , Rwr_Man_t_
nCutsConsidered : Abc_ManRst_t_
nCutsCur : Cut_ManStruct_t_
nCutsDealloc : Cut_ManStruct_t_
nCutSet : Cut_ParamsStruct_t_
nCutsExplored : Abc_ManRst_t_
nCutsFilter : Cut_ManStruct_t_
nCutsGood : Dar_Man_t_ , Rwt_Man_t_ , Rwr_Man_t_
nCutSize : Csw_Cut_t_ , Csw_Man_t_
nCutSizeMax : Abc_ManScl_t_
nCutsLimit : Cut_ManStruct_t_
nCutsM : Ivy_Store_t_
nCutsMax : Csw_Man_t_ , Dar_RwrPar_t_ , Dar_RefPar_t_ , Ivy_Store_t_ , If_Par_t_ , If_Set_t_ , Lpk_Man_t_
nCutsMerged : If_Man_t_
nCutsPeak : Cut_ManStruct_t_
nCutsSkipped : Dar_Man_t_
nCutsTotal : Lpk_Man_t_
nCutsTried : Dar_Man_t_ , Ref_Man_t_
nCutsTriv : Cut_ManStruct_t_ , Cut_OracleStruct_t_
nCutsUsed : Dar_Man_t_ , Ref_Man_t_ , If_Man_t_
nCutsUseful : Lpk_Man_t_
nDatas : Dar_Lib_t_
nDecisions : Msat_SolverStats_t_
nDecs : Dsd_Node_t_
nDelayLim : Lpk_Fun_t_
nDelayMin : Cut_ManStruct_t_
nDeleted : Aig_Man_t_ , Hop_Man_t_ , Ivy_Man_t_
nDeletes : Extra_BitMat_t_
nDepth : Fra_Bmc_t_
nDivNodes : Res_Man_t_
nDivs : Abc_ManRes_t_ , FxuMatrix
nDivs1 : FxuMatrix
nDivs2 : FxuMatrix
nDivs3 : FxuMatrix
nDivsLimit : Bdc_Man_t_
nDivsMax : Abc_ManRes_t_
nDivsPlus : Res_Win_t_
nDivsTotal : FxuMatrix
nDsds : Lpk_Man_t_
nEdges : traventry
nEdgesRemoved : Abc_RRMan_t_
nEdgesTried : Abc_RRMan_t_
Neg : Extra_UnateVar_t_
neg : cuddPathPair
nEntries : Abc_Aig_t_ , Map_HashTableStruct_t_ , Nm_Man_t_ , FxuMatrix , Fraig_HashTableStruct_t_
nEntriesAlloc : Extra_MmFixed_t_ , Sat_MmFixed_t_ , Fraig_MemFixed_t_ , Msat_MmFixed_t_ , Aig_MmFixed_t_ , Mem_Fixed_t_
nEntriesMax : Aig_MmFixed_t_ , Mem_Fixed_t_ , Extra_MmFixed_t_ , Sat_MmFixed_t_ , Fraig_MemFixed_t_ , Msat_MmFixed_t_
nEntriesUsed : 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_
nEntrySize : Aig_MmFixed_t_ , Mem_Fixed_t_ , Extra_MmFixed_t_ , Sat_MmFixed_t_ , Fraig_MemFixed_t_ , Msat_MmFixed_t_
nEvals : Lpk_Man_t_
next : DdNode , GlobalQueueItem , LocalQueueItem , DdHook , DdLocalCache , DdHashItem , DdSubtable , Move , DdQueueItem , set_family , symbolic_list_struct , symbolic_label_struct , symbolic_struct , st_table_entry , stmm_table_entry
Next : _reo_unit
next_col : sm_element_struct , sm_col_struct
next_row : sm_element_struct , sm_row_struct
nextDead : DdManager
nextDyn : DdManager
nextFree : DdHashTable , DdManager
nExtraAlloc : Rtm_Man_t_
nExtraCur : Rtm_Man_t_
nFailure : Dsd_Cache_t_
nFaninLevels : Abc_RRMan_t_
nFanins : Rtm_Obj_t_ , Cnf_Cut_t_ , Csw_Cut_t_ , Map_SuperStruct_t_ , Super_GateStruct_t_
nFanLimit : Map_SuperStruct_t_
nFanoutLevels : Abc_RRMan_t_
nFanoutLimit : Res_Win_t_
nFanouts : Rtm_Obj_t_ , Fraig_NodeStruct_t_
nFanoutViolations : Map_ManStruct_t_
nFans : Ivy_Dec_t_ , Kit_DsdObj_t_
nFansAlloc : Aig_Man_t_
nFileRead : Ver_Stream_t_ , Extra_FileReader_t_
nFileSize : Ver_Stream_t_ , Extra_FileReader_t_
nFilterError : Abc_ManRec_t_
nFilterRedund : Abc_ManRec_t_
nFilterSame : Abc_ManRec_t_
nFilterSize : Abc_ManRec_t_
nFilterTruth : Abc_ManRec_t_
nFilterVolume : Abc_ManRec_t_
nFlowIters : If_Par_t_
nFraigingLimitMulti : Prove_ParamsStruct_t_
nFraigingLimitStart : Prove_ParamsStruct_t_
nFrames : Fra_Sml_t_
nFramesAll : Fra_Man_t_ , Fra_Bmc_t_
nFramesK : Fra_Par_t_
nFramesP : Fra_Par_t_ , Fra_Lcr_t_
nFreeSize : Part_Man_t_ , Supp_Man_t_
nFuncs : Rwt_Man_t_ , Mv_Man_t_ , Rwr_Man_t_ , Rwr_Man4_t_
nFunsFound : Abc_ManRec_t_
nFunsNotFound : Abc_ManRec_t_
nGain : Rwr_Node_t_
nGainTotal : Lpk_Man_t_
nGates : Map_SuperStruct_t_ , Mio_LibraryStruct_t_ , Super2_LibStruct_t_ , Super_ManStruct_t_
nGatesAlloc : Super2_LibStruct_t_
nGood : Cut_CMan_t_
nGrowthFactor : Nm_Man_t_
nGrowthLevel : Lpk_Par_t_ , Res_Par_t_
nIdsMax : Cut_ParamsStruct_t_
nImplies : Fraig_ManStruct_t_
nImplies0 : Fraig_ManStruct_t_
nImplies1 : Fraig_ManStruct_t_
nInputs : Aig_TBox_t_ , Mv_Man_t_ , Dsd_Manager_t_ , Fpga_ManStruct_t_ , Map_ManStruct_t_ , Mio_GateStruct_t_ , Super2_LibStruct_t_ , Sym_Man_t_ , Sim_Man_t_
nIns : LUT
nInserts : Extra_BitMat_t_
nInsLimit : sat_solver_t
nInsLimitGlobal : Fra_Man_t_ , Ivy_FraigMan_t_
nInsP : LUT
nInspects : Msat_SolverStats_t_
nInspLimit : Fraig_ParamsStruct_t_ , Fraig_ManStruct_t_
nIntersAlloc : Int_Man_t_
nItems : Ivy_FraigList_t_ , MvcListStruct , FxuListCube , FxuListVar , FxuListLit , FxuListPair , FxuListDouble , FxuListSingle , FxuHeapDouble , FxuHeapSingle , Msat_OrderRing_t_
nItemsAlloc : FxuHeapDouble , FxuHeapSingle
nItemsNext : Bar_Progress_t_ , ProgressBarStruct
nItemsTotal : Bar_Progress_t_ , ProgressBarStruct
nIterations : Map_ManStruct_t_
nIters : Fra_Lcr_t_ , _reo_man
nItersMax : Prove_ParamsStruct_t_
nKeepMax : Cut_ParamsStruct_t_
nLargeChunks : Extra_MmStep_t_
nLargeChunksAlloc : Extra_MmStep_t_
nLastGain : Abc_ManRef_t_ , Abc_ManRst_t_ , Abc_ManRes_t_
nLat0 : Dec_Node_t_ , Kit_Node_t_
nLat1 : Dec_Node_t_ , Kit_Node_t_
nLat2 : Dec_Node_t_ , Kit_Node_t_
nLatches : Ivy_Cut_t_ , Fpga_ManStruct_t_ , If_Par_t_
nLatches1 : Fpga_NodeStruct_t_
nLatches2 : Fpga_NodeStruct_t_
nLats : Rtm_Edg_t_ , Dar_LibDat_t_
nLeafMax : Csw_Cut_t_ , Csw_Man_t_ , Dar_RefPar_t_
nLeaves : Dar_Cut_t_ , Dec_Graph_t_ , Kit_Graph_t_ , Abc_ManRes_t_ , Fpga_CutStruct_t_ , If_Cut_t_ , Map_CutStruct_t_ , Cut_CutStruct_t_ , Lpk_Cut_t_
nLeavesMax : Abc_ManRes_t_
nLevDivMax : Res_Win_t_
nLevelMax : Aig_Man_t_ , Ivy_Man_t_ , If_Man_t_
nLevelRoot : Msat_Solver_t_
nLevels : Odc_Man_t_ , Super2_LibStruct_t_ , Super_ManStruct_t_
nLevelsOld : Abc_RRMan_t_
nLevLeafMin : Res_Win_t_
nLevTfiMinus : Res_Win_t_
nLevTravMin : Res_Win_t_
nLimit : Ivy_SuppMan_t_ , If_Cut_t_
nLineCounter : Ver_Stream_t_ , Extra_FileReader_t_
nLines : Map_SuperLibStruct_t_
nLiterals : Cnf_Dat_t_
nLits : Sto_Cls_t_ , Pr_Cls_t_
nLits1 : FxuPair
nLits2 : FxuPair
nLitsBeg : Fra_Man_t_ , Fra_Lcr_t_
nLitsEnd : Fra_Man_t_ , Fra_Lcr_t_
nLookups : Super_ManStruct_t_ , Extra_BitMat_t_
nLutK : Lpk_Fun_t_
nLuts : Lpk_Cut_t_
nLutSize : Abc_ManScl_t_ , If_Par_t_ , Lpk_Par_t_
nLutsMax : Lpk_Par_t_
nLutsOver : Lpk_Par_t_
nMapSize : Aig_MmStep_t_ , Mem_Step_t_ , Extra_MmStep_t_ , Sat_MmStep_t_ , Msat_MmStep_t_
nMatches : Fpga_ManStruct_t_ , Map_ManStruct_t_
nMaxImps : Fra_Par_t_
nMaxIters : If_Man_t_
nMemAlloc : Fra_Man_t_
nMemChunks : _reo_man
nMemChunksAlloc : _reo_man
nMemoryAlloc : 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_
nMemoryUsed : 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_
nMems : Sat_MmStep_t_ , Msat_MmStep_t_ , Extra_MmStep_t_ , Aig_MmStep_t_ , Mem_Step_t_
nMemUsed : cloudManager
nMergeLimit : Cnf_Man_t_
nMffc : Abc_ManRes_t_ , Lpk_Man_t_
nMffcMin : Dar_RefPar_t_
nMints : Super2_LibStruct_t_ , Super_ManStruct_t_
nMiteringLimitLast : Prove_ParamsStruct_t_
nMiteringLimitMulti : Prove_ParamsStruct_t_
nMiteringLimitStart : Prove_ParamsStruct_t_
nMulti : LUT
nMuxes : Lpk_Man_t_
nNDnodes : Io_MvMan_t_
nNets : If_Man_t_
nNISwaps : _reo_man
nNodeCuts : Cut_ManStruct_t_
nNodeFanStop : Abc_ManCut_t_
nNodes : Bdc_Man_t_ , Dar_Lib_t_ , Kit_DsdNtk_t_ , Fpga_ManStruct_t_ , Extra_SymmInfo_t_ , Cut_ManStruct_t_ , Lpk_Cut_t_ , Map_ManStruct_t_
nNodes0 : Dar_Lib_t_
nNodes0Max : Dar_Lib_t_
nNodes0Total : Dar_Lib_t_
nNodesAlloc : Bdc_Man_t_ , Kit_DsdNtk_t_ , cloudManager
nNodesBeg : Fra_Man_t_ , Fra_Lcr_t_ , Abc_ManRef_t_ , Abc_ManRes_t_ , _reo_man , Rwr_Man_t_
nNodesBelow : Ref_Man_t_
nNodesConsidered : Rwt_Man_t_ , Abc_ManRef_t_ , Abc_ManRst_t_ , Rwr_Man_t_
nNodesCur : cloudManager , _reo_man
nNodesCuts : Csw_Man_t_
nNodesDag : Cut_ManStruct_t_
nNodesDup : Lpk_Cut_t_
nNodesEnd : Fra_Man_t_ , Fra_Lcr_t_ , Abc_ManRef_t_ , Abc_ManRes_t_ , _reo_man , Rwr_Man_t_
nNodesExt : FxuDataStruct
nNodesExten : Ref_Man_t_
nNodesGained : Rwt_Man_t_ , Abc_ManRef_t_ , Rwr_Man_t_ , Abc_ManRst_t_
nNodesInit : Dar_Man_t_ , Ref_Man_t_
nNodeSizeMax : Abc_ManRef_t_ , Abc_ManCut_t_
nNodesLimit : Bdc_Man_t_ , cloudManager
nNodesMax : Abc_ManScl_t_
nNodesMaxAlloc : _reo_man
nNodesMiter : Fra_Man_t_ , Ivy_FraigMan_t_
nNodesNew : FxuDataStruct , Bdc_Man_t_
nNodesNoCuts : Cut_ManStruct_t_
nNodesOld : Abc_RRMan_t_ , FxuDataStruct
nNodesOver : Lpk_Man_t_
nNodesRefactored : Abc_ManRef_t_
nNodesRestructured : Abc_ManRst_t_
nNodesRewritten : Rwr_Man_t_ , Rwt_Man_t_
nNodesTotal : Dar_Lib_t_ , Lpk_Man_t_
nNodesTried : Csw_Man_t_ , Dar_Man_t_ , Ref_Man_t_
nNodesTriv0 : Csw_Man_t_
nNodesTriv1 : Csw_Man_t_
nNodesTriv2 : Csw_Man_t_
no_branching : stats_struct
no_sig : _CSAT_Target_ResultT
nObjBytes : If_Man_t_
nObjCounts : Abc_Ntk_t_
nObjects : Io_BlifMan_t_
nObjs : Aig_Man_t_ , Hop_Man_t_ , Ivy_Man_t_ , Ivy_SuppMan_t_ , Abc_Ntk_t_ , Odc_Man_t_ , If_Man_t_ , Dar_Lib_t_
nObjsAlloc : Odc_Man_t_
Node : Kit_Edge_t_
node : GlobalQueueItem , LocalQueueItem
Node : Dec_Edge_t_
node : DdGen
nodelist : DdSubtable
nodes : DdGen , stats_struct
nodesPointer : NodeData
nog : ABC_ManagerStruct_t
nOnes : MvcCubeStruct , Fraig_NodeStruct_t_
nOrderAlloc : Aig_Man_t_
nOutputs : Aig_TBox_t_ , Fpga_ManStruct_t_ , Map_ManStruct_t_ , Sim_Man_t_ , Sym_Man_t_
nOuts : Part_One_t_ , Supp_One_t_
nOutsAlloc : Supp_One_t_ , Part_One_t_
nPairs : Fra_Cla_t_ , Ivy_FraigMan_t_
nPairsBeg : Ivy_FraigMan_t_
nPairsEnd : Ivy_FraigMan_t_
nPairsMax : FxuDataStruct
nPairsNonSymm : Sym_Man_t_
nPairsRem : Sym_Man_t_
nPairsSymm : Sym_Man_t_
nPairsSymmStr : Sym_Man_t_
nPairsTotal : Sym_Man_t_
nPats : Res_Sim_t_
nPats0 : Res_Sim_t_
nPats1 : Res_Sim_t_
nPatsDyna : Fraig_ParamsStruct_t_
nPatsIn : Res_Sim_t_
nPatsOut : Res_Sim_t_
nPatsRand : Fraig_ParamsStruct_t_
nPatWords : Fra_Man_t_ , Ivy_FraigMan_t_
nPercCutoff : Odc_Man_t_
nPermWords : If_Man_t_
nPhases : Map_ManStruct_t_ , Map_SuperStruct_t_
nPis : Aig_TMan_t_ , Odc_Man_t_
nPlanes : _reo_man
nPos : Aig_TMan_t_
nPref : Fra_Sml_t_ , Fra_Bmc_t_
nPropagations : Msat_SolverStats_t_
nProvedSets : Res_Man_t_
nQuantsOver : Odc_Man_t_
nRefAct : Map_NodeStruct_t_
nRefErrors : Fraig_ManStruct_t_
nRefEst : Map_NodeStruct_t_
nRefNodes : _reo_man
nRefNodesAlloc : _reo_man
nRefs : Ivy_Supp_t_ , Kit_DsdObj_t_ , Fpga_NodeStruct_t_ , Part_One_t_ , Aig_Obj_t_ , Hop_Obj_t_ , Ivy_Obj_t_ , Supp_One_t_ , If_Obj_t_ , Fraig_NodeStruct_t_ , Map_NodeStruct_t_
nRegs : Aig_Man_t_
nRegsBeg : Fra_Lcr_t_ , Fra_Man_t_
nRegsEnd : Fra_Man_t_ , Fra_Lcr_t_
nRemoved : Super_ManStruct_t_
nReprsAlloc : Aig_Man_t_
nResLits : Pr_Man_t_ , Int_Man_t_
nResLitsAlloc : Int_Man_t_ , Pr_Man_t_
nRestarts : sat_solver_t
nRewritingLimitMulti : Prove_ParamsStruct_t_
nRewritingLimitStart : Prove_ParamsStruct_t_
nRoots : Sto_Man_t_ , sat_solver_t , Pr_Man_t_ , Dsd_Manager_t_
nRootsAlloc : Dsd_Manager_t_
nRootSize : Int_Man_t_ , Pr_Man_t_
nrows : sm_matrix_struct
nSatCalls : Fraig_ManStruct_t_ , Ivy_FraigMan_t_ , Fra_Man_t_
nSatCallsImp : Fraig_ManStruct_t_
nSatCallsRecent : Fra_Man_t_
nSatCallsSat : Ivy_FraigMan_t_ , Fra_Man_t_
nSatCallsSkipped : Fra_Man_t_
nSatCallsUnsat : Ivy_FraigMan_t_ , Fra_Man_t_
nSatCounter : Fraig_ManStruct_t_
nSatCounterImp : Fraig_ManStruct_t_
nSatFails : Ivy_FraigMan_t_ , Fraig_ManStruct_t_ , Fra_Man_t_
nSatFailsImp : Fraig_ManStruct_t_
nSatFailsReal : Fraig_ManStruct_t_ , Ivy_FraigMan_t_ , Fra_Man_t_
nSatImpls : Fraig_ManStruct_t_
nSatNums : Fraig_ManStruct_t_
nSatProof : Ivy_FraigMan_t_ , Fra_Man_t_ , Fraig_ManStruct_t_
nSatProofImp : Fraig_ManStruct_t_
nSatRuns : Sim_Man_t_ , Sym_Man_t_
nSatRunsSat : Sym_Man_t_ , Sim_Man_t_
nSatRunsUnsat : Sym_Man_t_ , Sim_Man_t_
nSatSupps : Fraig_ManStruct_t_
nSatVars : Ivy_FraigMan_t_ , Fra_Man_t_
nSatZeros : Fraig_ManStruct_t_
nScore : Rwr_Node_t_
nScores : Rwt_Man_t_ , Rwr_Man_t_
nSeconds : Fraig_ParamsStruct_t_ , Fraig_ManStruct_t_
nSeenId : Msat_Solver_t_
nSetBytes : If_Man_t_
nSignCur : cloudManager
nSimBits : Sim_Man_t_
nSimEmpty : Res_Man_t_
nSimple : LUT
nSimplifies0 : Fraig_ManStruct_t_
nSimplifies1 : Fraig_ManStruct_t_
nSimRounds : Fra_Sml_t_ , Fra_Man_t_ , Ivy_FraigMan_t_
nSimsEmpty : Odc_Man_t_
nSimWords : Ivy_FraigParams_t_ , Res_Par_t_ , Sim_Man_t_ , Fra_Par_t_ , Sym_Man_t_ , Ivy_FraigMan_t_
nSingleMax : FxuDataStruct
nSingleTotal : FxuMatrix
nSize : Map_NodeVecStruct_t_ , Extra_BitMat_t_ , Ivy_Cut_t_ , Ivy_SuppMan_t_ , Ivy_Supp_t_ , Fpga_NodeVecStruct_t_ , Hash_Int_t_ , Vec_Flt_t_ , Vec_Ptr_t_ , Msat_Clause_t_ , Msat_ClauseVec_t_ , Msat_IntVec_t_ , Fraig_NodeVecStruct_t_ , Hash_Flt_t_ , Vec_Str_t_ , Vec_Vec_t_ , Vec_Int_t_ , Hash_Ptr_t_ , Dec_Graph_t_ , Kit_Graph_t_
nSizeAlloc : Msat_Clause_t_ , Fra_Man_t_
nSizeFactor : Nm_Man_t_
nSizeMax : Ivy_Cut_t_
nSpeculs : Fra_Man_t_
nStarts : Msat_SolverStats_t_
nSteps : Abc_Frame_t_
nStepSize : Part_Man_t_ , Supp_Man_t_
nStrash0 : Abc_Aig_t_
nStrash1 : Abc_Aig_t_
nStrash2 : Abc_Aig_t_
nStrash5 : Abc_Aig_t_
nSubgMax : Dar_RwrPar_t_
nSubgr : Dar_Lib_t_
nSubgr0 : Dar_Lib_t_
nSubgr0Total : Dar_Lib_t_
nSubgraphs : Rwr_Man_t_ , Dar_Lib_t_ , Rwt_Man_t_
nSubgrTotal : Dar_Lib_t_
nSuccess : Dsd_Cache_t_
nSuccesses : Msat_SolverStats_t_
nSupers : Map_SuperStruct_t_
nSupersAll : Map_SuperLibStruct_t_
nSupersReal : Map_SuperLibStruct_t_
nSupp : _reo_man
nSuppAlloc : _reo_man
nSuppBits : Sim_Man_t_
nSuppSizeL : Lpk_Res_t_
nSuppSizeS : Lpk_Res_t_
nSuppWords : Sim_Man_t_ , Fraig_ManStruct_t_
nSwaps : _reo_man
nSymGroups : Cut_CMan_t_
nSymGroupsE : Cut_CMan_t_
nSymms : Extra_SymmInfo_t_
nTableSize : Ivy_Man_t_ , Dsd_Cache_t_ , Io_BlifMan_t_ , Aig_Man_t_ , _reo_man , FxuMatrix , Odc_Man_t_ , Csw_Man_t_ , Hop_Man_t_ , Bdc_Man_t_
nTablesLeft : Io_BlifMan_t_ , Io_MvMan_t_
nTablesRead : Io_MvMan_t_ , Io_BlifMan_t_
ntkFunc : Abc_Ntk_t_
ntkType : Abc_Ntk_t_
nTops : _reo_man
nTopsAlloc : _reo_man
nTotal : Cut_CMan_t_
nTotalBacktrackLimit : Prove_ParamsStruct_t_
nTotalBacktracksMade : Prove_ParamsStruct_t_
nTotalDcs : Odc_Man_t_
nTotalDivs : Abc_ManRes_t_
nTotalGain : Abc_ManRes_t_
nTotalInspectLimit : Prove_ParamsStruct_t_
nTotalInspectsMade : Prove_ParamsStruct_t_
nTotalLeaves : Abc_ManRes_t_
nTotalNets : Lpk_Man_t_ , Res_Man_t_
nTotalNets2 : Lpk_Man_t_ , Res_Man_t_
nTotalNodes : Lpk_Man_t_ , Res_Man_t_
nTotalNodes2 : Lpk_Man_t_ , Res_Man_t_
nTotalSubgs : Dar_Man_t_
nTrailSize : Int_Man_t_ , Pr_Man_t_
nTravIds : Odc_Man_t_ , Rwt_Man_t_ , Aig_TMan_t_ , Abc_Ntk_t_ , Ivy_Man_t_ , Aig_Man_t_ , Fpga_ManStruct_t_ , Fraig_ManStruct_t_ , Hop_Man_t_ , Rwr_Man_t_ , Map_ManStruct_t_
nTravIds2 : Fraig_ManStruct_t_
nTried : Abc_ManRec_t_ , Super2_ManStruct_t_ , Super_ManStruct_t_
nTruePis : Res_Sim_t_
nTruthWords : Cut_ManStruct_t_ , Cut_OracleStruct_t_ , Csw_Man_t_ , If_Man_t_
nTwoLits : Msat_Solver_t_
nTwoLitsL : Msat_Solver_t_
Num : Msat_Clause_t_ , Rtm_Obj_t_ , Map_SuperStruct_t_ , Map_NodeStruct_t_ , Fraig_NodeStruct_t_ , Msat_OrderVar_t_ , FxuSingle , Fpga_NodeStruct_t_ , FxuDouble , Dar_LibObj_t_
Num0 : Cut_CutStruct_t_
Num1 : Cut_CutStruct_t_
Num2 : Fpga_NodeStruct_t_
num_binary_vars : cube_struct
num_bins : st_table , stmm_table
num_cftg : _CSAT_Target_ResultT
num_cfts : _CSAT_Target_ResultT
num_dec : _CSAT_Target_ResultT
num_entries : stmm_table , st_table
num_imp : _CSAT_Target_ResultT
num_mv_vars : cube_struct
num_vars : cube_struct
NumA : Fpga_NodeStruct_t_
Number : Super_GateStruct_t_
numberXovers : DdManager
numBuckets : DdHashTable , DdLevelQueue
NumPi : Fraig_NodeStruct_t_
NumTemp : Map_NodeStruct_t_
nUnate : Extra_UnateInfo_t_
nUnique : Super_ManStruct_t_
nUniqueHits : cloudManager
nUniqueMisses : cloudManager
nUniqueSteps : cloudManager
nUnitsUsed : _reo_man
nUnused : MvcCoverStruct , MvcCubeStruct
nUsed : Cut_Cell_t_ , Map_SuperStruct_t_
nUsedNode0 : Abc_ManRes_t_
nUsedNode1And : Abc_ManRes_t_
nUsedNode1Or : Abc_ManRes_t_
nUsedNode2And : Abc_ManRes_t_
nUsedNode2AndOr : Abc_ManRes_t_
nUsedNode2Or : Abc_ManRes_t_
nUsedNode2OrAnd : Abc_ManRes_t_
nUsedNode3AndOr : Abc_ManRes_t_
nUsedNode3OrAnd : Abc_ManRes_t_
nUsedNodeC : Abc_ManRes_t_
nUsedNodeTotal : Abc_ManRes_t_
nValues : Io_MvVar_t_
nVarCounts : Cut_CMan_t_
nVars : Lpk_Fun_t_ , Msat_Queue_t_ , Cnf_Dat_t_ , Kit_DsdNtk_t_ , Pr_Man_t_ , Msat_Solver_t_ , Bdc_Man_t_ , cloudManager , Abc_ManRec_t_ , Cut_Cell_t_ , Extra_UnateInfo_t_ , Extra_SymmInfo_t_ , Kit_DsdMan_t_ , Sto_Man_t_
nVarsAB : Int_Man_t_ , Pr_Man_t_
nVarsAlloc : Msat_Solver_t_ , Pr_Man_t_ , Int_Man_t_ , Msat_Order_t_
nVarsClauses : Fraig_ManStruct_t_
nVarsInit : Abc_ManRec_t_
nVarsMax : Super_ManStruct_t_ , Map_SuperLibStruct_t_ , Map_ManStruct_t_ , Fpga_ManStruct_t_ , Cut_CutStruct_t_ , Odc_Man_t_ , Bdc_Par_t_ , Cut_ParamsStruct_t_ , Extra_SymmInfo_t_ , Extra_UnateInfo_t_ , Lpk_Par_t_
nVarsShared : Lpk_Par_t_
nVisits : Dsd_Node_t_ , If_Obj_t_
nVisitsCopy : If_Obj_t_
nVolume : Fpga_CutStruct_t_ , Map_CutStruct_t_
nWeightLimit : FxuMatrix
nWidthBeg : _reo_man
nWidthCur : _reo_man
nWidthEnd : _reo_man
nWindow : Res_Par_t_
nWinNodes : Res_Man_t_
nWins : Res_Man_t_ , Odc_Man_t_
nWinsEmpty : Odc_Man_t_
nWinsFinish : Odc_Man_t_
nWinsTriv : Res_Man_t_
nWinsUsed : Res_Man_t_
nWinTfiMax : Res_Win_t_
nWinTfoMax : Res_Win_t_
nWords : Kit_DsdMan_t_ , MvcCoverStruct , Abc_ManScl_t_ , Extra_BitMat_t_ , Int_Man_t_ , Bdc_Man_t_ , Abc_ManRes_t_ , Res_Sim_t_ , Aig_Tsi_t_ , Abc_ManRec_t_ , Cnf_Cut_t_ , Odc_Man_t_
nWordsDyna : Fraig_ManStruct_t_
nWordsFrame : Fra_Sml_t_
nWordsIn : Res_Sim_t_
nWordsOut : Res_Sim_t_
nWordsPref : Fra_Sml_t_
nWordsRand : Fraig_ManStruct_t_
nWordsTotal : Fra_Sml_t_