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

- n -

• n : _reo_unit , saucy , saucy_graph
• n_inputs : SC_Cell_
• n_occ : Minisat::SimpSolver::ElimLt , Minisat::SimpSolver
• n_outputs : SC_Cell_
• n_touched : Minisat::SimpSolver
• nAbsOld : Gla_Man_t_
• nAdded : Lms_Man_t_ , Rwr_Man_t_ , Rwr_Node_t_ , Rwt_Man_t_ , Super_ManStruct_t_
• nAddedFuncs : Lms_Man_t_
• nAliases : Super_ManStruct_t_
• nAllDisproved : Cec_ManFra_t_
• nAllDsd : Sdm_Man_t_
• nAllFailed : Cec_ManFra_t_
• nAllProved : Cec_ManFra_t_
• name : gz_header_s , ltlNode_t , Minisat::Option
• Name : Nm_Entry_t_
• name_max : gz_header_s
• names : _CSAT_Target_ResultT
• nan : EpTypeUnion
• nAnd2Delay : Gia_Man_t_
• nAndPrev : Aig_Man_t_
• nAnds : Dam_Man_t_ , Ifd_Obj_t_ , Mpm_Dsd_t_ , Sdm_Dsd_t_ , Wlc_Ntk_t_
• nAndTotal : Aig_Man_t_
• nAntStart : Intp_Man_t_
• nAplBeg : _reo_man
• nAplCur : _reo_man
• nAplEnd : _reo_man
• nAreaIters : If_Par_t_
• nAreaLim : Lpk_Fun_t_
• nAreaTuner : Jf_Par_t_
• nAsserts : Aig_Man_t_
• nAssigns() : Minisat::Solver
• nAttempts : If_Man_t_
• nAttrs : Attr_ManStruct_t_
• nAttrSize : Attr_ManStruct_t_
• nBackTracks : Msat_Solver_t_
• nBarBufs : Abc_Ntk_t_ , Aig_Man_t_
• nBarBufs2 : Abc_Ntk_t_
• nBase : FxuPair
• nBatches : Clu_Man_t_
• nBddIterMax : Fra_Sec_t_
• nBddMax : Bbr_ImageTree_t_ , Fra_Sec_t_ , Gia_ParLlb_t_ , Saig_ParBbr_t_
• nBddSizeLimit : Prove_ParamsStruct_t_
• nBddVarsMax : Fra_Sec_t_
• nBenefited : Lpk_Man_t_
• nBestCutSmall : If_Man_t_
• nBestEdges : Abc_Frame_t_
• nBestLevels : Abc_Frame_t_
• nBestLuts : Abc_Frame_t_
• nBins : 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_ , Hash_Flt_t_ , Hash_Gen_t_ , Hash_Int_t_ , Hash_Ptr_t_ , If_DsdMan_t_ , Iso_Man_t_ , Map_CutTableStrutct_t , Map_HashTableStruct_t_ , Map_ManStruct_t_ , Nm_Man_t_ , Npn_Man_t_ , Saig_Tsim_t_ , SC_Lib_ , Vta_Man_t_
• nBinSize : Ssw_RarMan_t_ , Ssw_RarPars_t_
• nBinVars : MvcDataStruct
• nBits : Abc_Cex_t_ , Abc_ManRes_t_ , Mmr_Step_t_ , MvcCoverStruct , Odc_Man_t_
• nBitShift : Cut_ParamsStruct_t_ , Extra_BitMat_t_
• nblock : EState
• nblock_used : DState
• nblockMAX : EState
• nBlocks : Lpk_Man_t_ , Pdr_Man_t_
• nBobPar : Gia_ParAbs_t_
• nBoundary : Cov_Man_t_
• nBoxes : Au_Ntk_t_
• nBranch0 : Buf_Man_t_
• nBranch1 : Buf_Man_t_
• nBranchCrit : Buf_Man_t_
• nBSVars : Lpk_Res_t_
• nBTLimit : Cbs0_Par_t_ , Cbs_Par_t_ , Cec_ParCec_t_ , Cec_ParChc_t_ , Cec_ParCor_t_ , Cec_ParFra_t_ , Cec_ParSat_t_ , Cec_ParSeq_t_ , Cec_ParSmf_t_ , Clu_Man_t_ , Dch_Pars_t_ , Fra_Sec_t_ , Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_ , Hcd_Man_t_ , Hcd_Pars_t_ , Int2_ManPars_t_ , Inter_ManParams_t_ , Mfs_Par_t_ , Sfm_Par_t_ , Ssc_Pars_t_ , Ssw_Pars_t_ , Tas_Par_t_
• nBTLimitGlobal : Fra_Man_t_ , Fra_Sec_t_ , Ivy_FraigMan_t_ , Ssw_Pars_t_
• nBTLimitInter : Fra_Sec_t_
• nBTLimitMiter : Fra_Par_t_ , Ivy_FraigParams_t_
• nBTLimitNode : Fra_Par_t_ , Ivy_FraigParams_t_
• nBTThis : Cbs0_Par_t_ , Cbs_Par_t_ , Tas_Par_t_
• nBTThisNc : Cbs_Par_t_ , Tas_Par_t_
• nBTTotal : Cbs0_Par_t_ , Cbs_Par_t_ , Tas_Par_t_
• nBuf : buflist
• nBufferSize : Extra_FileReader_t_ , Npn_Man_t_ , Ver_Stream_t_
• nBufFixes : Aig_Man_t_
• nBufMax : Aig_Man_t_
• nBufNum : Gia_ManBmc_t_
• nBufReplaces : Aig_Man_t_
• nBufs : Gia_Man_t_
• nBuilds : Abc_EnuMan_t_
• nBytes : Aig_CMan_t_ , bz2file
• nBytesIn : Res_Sim_t_
• nBytesMax : bz2file
• nBytesUsed : Amap_Man_t_
• nCache : Dss_Man_t_
• nCacheEntries : Dss_Man_t_
• nCacheHits : cloudManager , Dss_Man_t_ , If_Man_t_
• nCacheLookups : Abc_ZddMan_
• nCacheMask : Abc_ZddMan_
• nCacheMisses : Abc_ZddMan_ , cloudManager , Dss_Man_t_ , If_Man_t_
• nCallBacks1 : Bmc_Load_t_
• nCallBacks2 : Bmc_Load_t_
• nCalledSRed : Lpk_Man_t_
• nCalls : Cgt_Man_t_ , Pdr_Man_t_ , Rf2_Man_t_ , Rnm_Man_t_ , sat_solver_t
• nCalls2 : sat_solver_t
• nCallsCount : Ssw_Man_t_
• nCallsDelta : Ssw_Man_t_
• nCallsFiltered : Cgt_Man_t_
• nCallsMax : Ssw_Man_t_
• nCallsRecycle : Cec_ParSat_t_ , Dch_Pars_t_ , Hcd_Pars_t_ , Ssc_Pars_t_
• nCallsS : Pdr_Man_t_
• nCallsSat : Cgt_Man_t_ , Ssw_Man_t_
• nCallsSince : Cec_ManSat_t_ , Dch_Man_t_ , Ssc_Man_t_
• nCallsU : Pdr_Man_t_
• nCallsUndec : Cgt_Man_t_
• nCallsUnsat : Cgt_Man_t_ , Ssw_Man_t_
• nCandMax : Cgt_Par_t_
• nCands : Res_Par_t_
• nCands1 : Dch_Cla_t_ , Ssw_Cla_t_
• nCandSets : Res_Man_t_
• nCanons : Fpga_ManStruct_t_ , Map_ManStruct_t_
• nCap : Agi_Man_t_ , Dec_Graph_t_ , Fpga_NodeVecStruct_t_ , Fraig_NodeVecStruct_t_ , Kit_Graph_t_ , Map_NodeVecStruct_t_ , Mini_Aig_t_ , Msat_ClauseVec_t_ , Msat_IntVec_t_ , Vec_Att_t_ , Vec_Bit_t_ , Vec_Flt_t_ , Vec_Int_t_ , Vec_Mem_t_ , Vec_Ptr_t_ , Vec_Que_t_ , Vec_Str_t_ , Vec_Vec_t_ , Vec_Wec_t_ , Vec_Wrd_t_
• nCares : Mfs_Man_t_
• nCasesSS : Pdr_Man_t_
• nCasesSU : Pdr_Man_t_
• nCasesUS : Pdr_Man_t_
• nCasesUU : Pdr_Man_t_
• nCellFound : Cut_CMan_t_
• nCellNotFound : Cut_CMan_t_
• nCells : Nf_Man_t_
• nCexes : Clu_Man_t_ , Ga2_Man_t_ , Gla_Man_t_ , Mfs_Man_t_ , Sfm_Ntk_t_ , Vta_Man_t_
• nCexesAlloc : Clu_Man_t_
• nCexLits : Cec_ManSat_t_
• nChanges : Lpk_Man_t_
• nChars : Ver_Stream_t_
• nChecks : Gia_ManAre_t_
• nChoiceNodes : Fpga_ManStruct_t_ , Map_ManStruct_t_
• nChoices : Dch_Man_t_ , Fpga_ManStruct_t_ , Fra_Man_t_ , If_Man_t_ , Map_ManStruct_t_ , Mig_Man_t_
• nChoicesAdded : Amap_Man_t_
• nChoicesFake : Fra_Man_t_
• nChoicesGiven : Amap_Man_t_
• nChunks : 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_
• nChunksAlloc : 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_
• nChunkSize : Aig_MmFixed_t_ , Aig_MmFlex_t_ , Extra_MmFixed_t_ , Extra_MmFlex_t_ , Fraig_MemFixed_t_ , Gia_MmFixed_t_ , Gia_MmFlex_t_ , Mem_Fixed_t_ , Mem_Flex_t_ , Msat_MmFixed_t_ , Msat_MmFlex_t_ , Part_Man_t_ , Pr_Man_t_ , Sat_MmFixed_t_ , Sat_MmFlex_t_ , Sto_Man_t_ , Supp_Man_t_
• nChunkUsed : Pr_Man_t_ , Sto_Man_t_
• nCis : Faig_Man_t_ , Fsim_Man_t_ , Raig_Man_t_ , Tim_Man_t_
• nCis1 : Faig_Man_t_
• nCisNos1 : Faig_Man_t_
• nCisNosPos1 : Faig_Man_t_
• nClasses : Dch_Cla_t_ , Iso_Man_t_ , Rwr_Man4_t_ , Rwr_Man_t_ , Rwt_Man_t_ , Ssw_Cla_t_ , Super_ManStruct_t_
• nClassesBeg : Ivy_FraigMan_t_
• nClassesEnd : Ivy_FraigMan_t_
• nClassesSkip : Ivy_Man_t_
• nClassesZero : Ivy_FraigMan_t_
• nClauses : Clu_Man_t_ , Cnf_Dat_t_ , Minisat::Solver , Mpm_Dsd_t_ , Msat_Solver_t_ , Pr_Man_t_ , sat_solver_t , Sdm_Dsd_t_ , Sto_Man_t_ , Tas_Man_t_
• nClausesA : Pr_Man_t_ , Sto_Man_t_
• nClausesAlloc : Msat_Solver_t_
• nClausesAllocL : Msat_Solver_t_
• nClausesInit : Msat_Solver_t_
• nClausesMax : Clu_Man_t_
• nClausesStart : Msat_Solver_t_
• nClosAlloc : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_
• nClusterMax : Gia_ParLlb_t_
• nCoarse : Jf_Man_t_
• nCoarseLimit : Jf_Par_t_
• ncode : inflate_state
• nCoDrivers : Lf_Man_t_
• nCofOnes : Aig_VSig_t_
• nCofVars : Lpk_Res_t_
• nCols : Llb_Mtr_t_ , LUT
• ncols : sm_matrix_struct
• nCompares : Gia_ManAre_t_
• nComplEdges : Aig_Man_t_
• nCompls : Fx_Man_t_
• nConeFanStop : Abc_ManCut_t_
• nConeMax : Dch_Man_t_
• nConesConstr : Ssw_Man_t_
• nConeSizeMax : Abc_ManCut_t_ , Abc_ManRef_t_
• nConesTotal : Ssw_Man_t_
• nConeThis : Dch_Man_t_
• nConfCur : Inter_Man_t_
• nConflicts : Msat_SolverStats_t_ , Ssw_Pars_t_
• nConfLimit : Abs_Par_t_ , Aig_Gla1Man_t_ , Bmc_AndPar_t_ , Fraig_ParamsStruct_t_ , Inter_Man_t_ , Pdr_Par_t_ , Saig_ParBmc_t_ , sat_solver2_t , sat_solver_t
• nConfLimitJump : Saig_ParBmc_t_
• nConfMax : Ccf_Man_t_ , Cgt_Par_t_ , Gia_ParAbs_t_ , Ssw_Sem_t_ , Swp_Man_t_
• nConfMaxAll : Saig_Bmc_t_
• nConfMaxBmc : Gia_ParAbs_t_
• nConfMaxOne : Saig_Bmc_t_
• nConfMaxStart : Ssw_Sem_t_
• nConfSat : Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManSat_t_ , Tas_Man_t_
• nConfTotal : Tas_Man_t_
• nConfUndec : Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManSat_t_ , Tas_Man_t_
• nConfUnsat : Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManSat_t_ , Tas_Man_t_
• nConsidered : Rwr_Man4_t_ , Rwr_Man_t_ , Rwt_Man_t_
• nConstr : Ifn_Ntk_t_
• nConstrReduced : Ssw_Man_t_
• nConstrs : Abc_Ntk_t_ , Aig_Man_t_ , Gia_Man_t_
• nConstrTotal : Ssw_Man_t_
• nConsts : Dau_Dsd_t_ , Wlc_Prs_t_
• nConstsUsed : Res_Man_t_
• nContents : Amap_Tree_t_ , Scl_Tree_t_
• nCos : Faig_Man_t_ , Fsim_Man_t_ , Raig_Man_t_ , Tim_Man_t_
• nCountDsd : Mpm_Man_t_ , Sdm_Man_t_
• nCountGates : Abc_ShaMan_t_
• nCountNonDec : If_Man_t_
• nCounts : Map_ManStruct_t_
• nCountsBest : Map_ManStruct_t_
• nCreated : Hop_Man_t_ , Ivy_Man_t_
• nCrossCut : Fsim_Man_t_
• nCrossCutMax : Fsim_Man_t_
• nCubes : FxuVar , Kit_Sop_t_ , Min_Man_t_ , Pdr_Man_t_
• nCubesAlloc : MvcCoverStruct
• nCubesMax : Cov_Man_t_
• nCutBytes : If_Man_t_
• nCutCounts : Lf_Man_t_ , Mf_Man_t_
• nCutCur : Frc_Man_t_
• nCutEqual : Lf_Man_t_
• nCutMax : Abc_ManRst_t_ , Frc_Man_t_
• nCutMemUsed : Dar_Man_t_
• nCutMux : Lf_Man_t_
• nCutNum : Bal_Man_t_ , Jf_Par_t_
• nCutNumMax : Jf_Par_t_
• nCuts : Aig_Obj_t_ , Amap_Obj_t_ , Clu_Man_t_ , Cut_OracleStruct_t_ , Fpga_CutTableStrutct_t , If_Set_t_ , Ivy_Store_t_ , Lms_Man_t_ , Lpk_Man_t_ , Map_CutTableStrutct_t , Mpm_Man_t_
• nCuts5 : If_Man_t_
• nCuts5a : If_Man_t_
• nCutsAll : Dar_Man_t_
• nCutsAlloc : Cut_ManStruct_t_
• nCutsBad : Dar_Man_t_ , Rwr_Man_t_ , Rwt_Man_t_
• nCutsConsidered : Abc_ManRst_t_
• nCutsCount : If_Man_t_
• nCutsCountAll : If_Man_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_ , Rwr_Man_t_ , Rwt_Man_t_
• nCutSize : Aig_Cut_t_ , Aig_ManCut_t_ , Csw_Cut_t_ , Csw_Man_t_
• nCutSizeMax : Abc_ManScl_t_
• nCutsLimit : Cut_ManStruct_t_
• nCutsM : Ivy_Store_t_
• nCutsMax : Aig_ManCut_t_ , Amap_Par_t_ , Clu_Man_t_ , Csw_Man_t_ , Dar_RefPar_t_ , Dar_RwrPar_t_ , If_Par_t_ , If_Set_t_ , Ivy_Store_t_ , Lpk_Man_t_
• nCutsMerged : If_Man_t_ , Mpm_Man_t_
• nCutsMergedAll : Mpm_Man_t_
• nCutsPeak : Cut_ManStruct_t_
• nCutsSkipped : Dar_Man_t_
• nCutStore : Mpm_Man_t_
• nCutsTotal : If_Man_t_ , Lpk_Man_t_
• nCutsTried : Amap_Man_t_ , Dar_Man_t_ , Ref_Man_t_
• nCutsTried3 : Amap_Man_t_
• nCutsTriv : Cut_ManStruct_t_ , Cut_OracleStruct_t_
• nCutsUsed : Amap_Man_t_ , Dar_Man_t_ , If_Man_t_ , Ref_Man_t_
• nCutsUseful : Lpk_Man_t_
• nCutsUseless : If_Man_t_
• nCutsUselessAll : If_Man_t_
• nCutUseAll : Nf_Man_t_
• nCutWords : Lf_Man_t_ , Lf_Mem_t_
• nCycle : Saig_Tsim_t_
• nDataAig : Fsim_Man_t_
• nDatas : Dar_Lib_t_
• nDBreduces : sat_solver2_t , sat_solver_t
• nDcMints : Mfs_Man_t_
• nDecisions : Msat_SolverStats_t_
• nDecMax : Rsb_Man_t_
• nDecs : Dsd_Node_t_
• nDegree : Iff_Man_t_ , Ifif_Par_t_ , SC_BusPars_
• 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_
• nDepthMax : Cec_ParFra_t_ , Mfs_Par_t_ , Sfm_Par_t_
• ndiffnons : saucy
• ndiffs : saucy
• nDims : Emb_Par_t_
• nDisjs : Gia_ManAre_t_
• nDisjs2 : Gia_ManAre_t_
• nDisjs3 : Gia_ManAre_t_
• ndist : inflate_state
• nDistMax : Emb_Man_t_
• nDivMax : Rsb_Man_t_ , Shr_Man_t_
• nDivMux : Fx_Man_t_
• nDivNodes : Res_Man_t_
• nDivs : Abc_ManRes_t_ , Dam_Man_t_ , Fx_Man_t_ , FxuMatrix
• nDivs1 : FxuMatrix
• nDivs2 : FxuMatrix
• nDivs3 : FxuMatrix
• nDivsLimit : Bdc_Man_t_
• nDivsMax : Abc_ManRes_t_
• nDivsPlus : Res_Win_t_
• nDivsS : Fx_Man_t_
• nDivsTotal : FxuMatrix
• nDivWords : Mfs_Man_t_
• nDomNodes : Aig_Sto_t_
• nDomsFilter1 : Aig_Sto_t_
• nDomsFilter2 : Aig_Sto_t_
• nDomsTotal : Aig_Sto_t_
• nDropOuts : Bmc_AndPar_t_ , Pdr_Par_t_ , Saig_ParBmc_t_
• nDsds : Lpk_Man_t_
• nDuplicate : Buf_Man_t_
• nDupNum : Gia_ManBmc_t_
• nEdgeHash : Nwk_Grf_t_
• nEdges : Nwk_Grf_t_ , Nwk_Vrt_t_ , traventry
• nEdgesRemoved : Abc_RRMan_t_
• nEdgesTried : Abc_RRMan_t_
• neg : cuddPathPair
• Neg : Extra_UnateVar_t_
• nEntries : Abc_Aig_t_ , Aig_RMan_t_ , Fraig_HashTableStruct_t_ , FxuMatrix , Gia_IsoMan_t_ , Iso_Man_t_ , Map_HashTableStruct_t_ , Mmr_Fixed_t_ , Mmr_Flex_t_ , Mmr_Step_t_ , Nm_Man_t_ , Npn_Man_t_ , Sat_Mem_t_ , Vec_Mem_t_ , Vec_Set_t_
• nEntriesAll : Mmr_Step_t_
• nEntriesAlloc : Aig_MmFixed_t_ , Extra_MmFixed_t_ , Fraig_MemFixed_t_ , Gia_MmFixed_t_ , Mem_Fixed_t_ , Msat_MmFixed_t_ , Sat_MmFixed_t_
• nEntriesMax : Aig_MmFixed_t_ , Extra_MmFixed_t_ , Fraig_MemFixed_t_ , Gia_MmFixed_t_ , Mem_Fixed_t_ , Mmr_Fixed_t_ , Mmr_Flex_t_ , Mmr_Step_t_ , Msat_MmFixed_t_ , Sat_MmFixed_t_
• nEntriesUsed : Aig_MmFixed_t_ , Aig_MmFlex_t_ , Extra_MmFixed_t_ , Extra_MmFlex_t_ , Fraig_MemFixed_t_ , Gia_MmFixed_t_ , Gia_MmFlex_t_ , Mem_Fixed_t_ , Mem_Flex_t_ , Msat_MmFixed_t_ , Msat_MmFlex_t_ , Sat_MmFixed_t_ , Sat_MmFlex_t_
• nEntrySize : Aig_MmFixed_t_ , Extra_MmFixed_t_ , Fraig_MemFixed_t_ , Gia_MmFixed_t_ , Mem_Fixed_t_ , Msat_MmFixed_t_ , Sat_MmFixed_t_ , Tru_Man_t_ , Vec_Mem_t_
• nEntryWords : Mmr_Fixed_t_
• nEnts : satset_t
• nEquals : Gia_ManAre_t_
• nEquivs : Dch_Man_t_
• nEquivsConstr : Ssw_Man_t_
• nEquivsTotal : Ssw_Man_t_
• nEstNodes : SC_Man_
• nEvals : Lpk_Man_t_
• newDecisionLevel() : Minisat::Solver
• newVar() : Minisat::SimpSolver , Minisat::Solver
• Next : _reo_unit
• next : Abc_FrameInitializer_t_
• Next : Amap_Item_t_
• next : buflist , DdHashItem , DdHook , DdLocalCache , DdNode , DdQueueItem , DdSubtable , FM_cell , GlobalQueueItem , gz_state , hash_element , inflate_state , LocalQueueItem , Move
• Next : Scl_Item_t_
• next : set_family
• Next : Shr_Fan_t_
• next : st__table_entry , stmm_table_entry , symbolic_label_struct , symbolic_list_struct , symbolic_struct , TlClause
• Next : Tru_One_t_
• next_col : sm_col_struct , sm_element_struct
• next_in : bz_stream , z_stream_s
• next_out : bz_stream , z_stream_s
• next_row : sm_element_struct , sm_row_struct
• nextCap() : Minisat::vec< T >
• nextDead : DdManager
• nextDyn : DdManager
• nextFree : DdHashTable , DdManager
• nextnon : saucy
• nExtraAlloc : Rtm_Man_t_
• nExtraCur : Rtm_Man_t_
• nFailOuts : Bmc_AndPar_t_ , Pdr_Par_t_ , Saig_ParBmc_t_
• nFailure : Dsd_Cache_t_
• nFaninLevels : Abc_RRMan_t_
• nFaninMax : Cov_Man_t_ , Mfs_Man_t_
• nFanins : Aig_Cut_t_ , Au_Obj_t_ , Bbl_Obj_t_ , Cnf_Cut_t_ , Cof_Obj_t_ , Csw_Cut_t_ , Emb_Obj_t_ , Frc_Obj_t_ , Gla_Obj_t_ , Gli_Obj_t_ , Ifn_Obj_t_ , Map_SuperStruct_t_ , Mfs_Man_t_ , Mio_Cell_t_ , Nwk_Obj_t_ , Rtm_Obj_t_ , Str_Obj_t_ , Super_GateStruct_t_ , Wlc_Obj_t_
• nFanioAlloc : Nwk_Obj_t_
• nFanioPlus : Nwk_Man_t_
• nFanLimit : Map_SuperStruct_t_
• nFanMax : Buf_Man_t_
• nFanMin : Buf_Man_t_
• nFanoutLevels : Abc_RRMan_t_
• nFanoutLimit : Res_Win_t_
• nFanoutMax : Sfm_Par_t_
• nFanouts : Cof_Obj_t_ , Emb_Obj_t_ , Fraig_NodeStruct_t_ , Frc_Obj_t_ , Gli_Obj_t_ , Nwk_Obj_t_ , Rtm_Obj_t_
• nFanoutsM : Cof_Obj_t_
• nFanoutsMax : Mfs_Par_t_
• nFanoutViolations : Map_ManStruct_t_
• nFans : Amap_Cut_t_ , Amap_Out_t_ , Dau_Dsd_t_ , Dss_Fun_t_ , Dss_Obj_t_ , Dua_Obj_t_ , Gia_ObjSat1_t_ , If_DsdObj_t_ , Ivy_Dec_t_ , Kit_DsdObj_t_
• nFansAlloc : Aig_Man_t_ , Gia_Man_t_
• nFfs : Faig_Man_t_ , Llb_Mtr_t_
• nFfToAddMax : Saig_ParBmc_t_
• nFileRead : Extra_FileReader_t_ , Ver_Stream_t_
• nFileSize : Bbl_Man_t_ , Extra_FileReader_t_ , Ver_Stream_t_ , Wlc_Prs_t_
• nFilterError : Lms_Man_t_
• nFilterRedund : Lms_Man_t_
• nFilterSame : Lms_Man_t_
• nFilterSize : Lms_Man_t_
• nFilterTruth : Lms_Man_t_
• nFilterVolume : Lms_Man_t_
• nFiNeg : Iso_Dat_t_
• nFinished : Abc_EnuMan_t_
• nFinNeg : Iso_Obj_t_
• nFirstFixed : Sfm_Par_t_
• nFlops : Saig_MvMan_t_
• nFlopsMin : Cgt_Par_t_
• nFlowIters : If_Par_t_
• nFlowRefs : Mf_Obj_t_
• nFoNeg : Iso_Dat_t_
• nFoPos : Iso_Dat_t_
• nFoundGates : Abc_ShaMan_t_
• nFouts : Amap_Obj_t_
• nFraigingLimitMulti : Prove_ParamsStruct_t_
• nFraigingLimitStart : Prove_ParamsStruct_t_
• nFrameMax : Ccf_Man_t_ , Pdr_Par_t_
• nFrames : Abc_Frame_t_ , Aig_Gla1Man_t_ , Cec_ParCor_t_ , Cec_ParSeq_t_ , Cec_ParSim_t_ , Cec_ParSmf_t_ , Clu_Man_t_ , Fra_Sml_t_ , Gia_ParFra_t_ , Inter_Man_t_ , Pdr_Man_t_ , Ssw_Frm_t_ , Ssw_Man_t_ , Ssw_RarMan_t_ , Ssw_RarPars_t_ , Ssw_Sml_t_
• nFramesAdd : Bmc_AndPar_t_
• nFramesAddSim : Ssw_Pars_t_
• nFramesAll : Fra_Bmc_t_ , Fra_Man_t_
• nFramesBmc : Gia_ParAbs_t_
• nFramesDone : Gia_ParAbs_t_
• nFramesJump : Saig_ParBmc_t_
• nFramesK : Fra_Par_t_ , Fra_Ssw_t_ , Int2_ManPars_t_ , Inter_Check_t_ , Inter_ManParams_t_ , Ssw_Pars_t_
• nFramesMax : Abs_Par_t_ , Aig_Gla1Man_t_ , Aig_Gla2Man_t_ , Aig_Gla3Man_t_ , Bmc_AndPar_t_ , Fra_Sec_t_ , Gia_ParAbs_t_ , Int2_ManPars_t_ , Inter_ManParams_t_ , Saig_Bmc_t_ , Saig_ParBmc_t_
• nFramesNoChange : Abs_Par_t_
• nFramesNoChangeLim : Abs_Par_t_
• nFramesP : Fra_Lcr_t_ , Fra_Par_t_ , Fra_Ssw_t_
• nFramesPast : Abs_Par_t_
• nFramesS : Int2_ManPars_t_
• nFramesStart : Abs_Par_t_
• nFramesSweep : Ssw_Sem_t_
• nFreeSize : Part_Man_t_ , Supp_Man_t_
• nFreeVars() : Minisat::Solver
• nFreq : Ifd_Obj_t_
• nFront : Fsim_Man_t_ , Gia_Man_t_
• nFrontMax : Lf_Man_t_
• nFuncs : Abc_TtStore_t , Abc_TtStore_t_ , Mv_Man_t_ , Rpo_TtStore_t_ , Rwr_Man4_t_ , Rwr_Man_t_ , Rwt_Man_t_
• nGain : Dam_Man_t_ , Rwr_Node_t_
• nGainTotal : Lpk_Man_t_
• nGainX : Dam_Man_t_
• nGates : Map_SuperStruct_t_ , Mio_LibraryStruct_t_ , SC_Cell_ , Super2_LibStruct_t_ , Super_ManStruct_t_
• nGatesAlloc : Super2_LibStruct_t_
• nGateSize : If_Par_t_
• nGatesMax : Super_ManStruct_t_
• nGiaObjMax : Au_Man_t_
• nGlitches : Gli_Obj_t_
• nGloVars : Int_Man_t_
• nGood : Cut_CMan_t_
• nGroups : Ssw_RarMan_t_ , Str_Ntk_t_
• nGrowthFactor : Nm_Man_t_
• nGrowthLevel : Lpk_Par_t_ , Mfs_Par_t_ , Res_Par_t_ , Sfm_Par_t_
• nHashHit : Ga2_Man_t_ , Gia_Man_t_ , Gia_ManBmc_t_
• nHashMiss : Ga2_Man_t_ , Gia_Man_t_ , Gia_ManBmc_t_
• nHashOver : Ga2_Man_t_
• nHintDepth : Gia_ParLlb_t_
• nHoleInTheWall : Lms_Man_t_
• nHTable : Au_Ntk_t_ , Gia_Man_t_
• nice_length : config_s
• nice_match : internal_state
• nIdsMax : Cut_ParamsStruct_t_
• nImplies : Fraig_ManStruct_t_
• nImplies0 : Fraig_ManStruct_t_
• nImplies1 : Fraig_ManStruct_t_
• nIncUpdates : SC_Man_
• nIndFrames : Abc_Frame_t_
• ninduce : saucy
• nInps : Ifn_Ntk_t_
• nInputs : Dsd_Manager_t_ , Fpga_ManStruct_t_ , Map_ManStruct_t_ , Mio_GateStruct_t_ , Mv_Man_t_ , Saig_ManCba_t_ , Saig_RefMan_t_ , Sec_MtrStatus_t_ , Sim_Man_t_ , Super2_LibStruct_t_ , Sym_Man_t_ , Tim_Box_t_
• nIns : Aig_CMan_t_ , Amap_Set_t_ , LUT
• nInserts : Extra_BitMat_t_
• nInsLimit : sat_solver2_t , sat_solver_t
• nInsLimitGlobal : Fra_Man_t_ , Ivy_FraigMan_t_
• nInsP : LUT
• nInspects : Msat_SolverStats_t_
• nInspLimit : Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_
• nIntersAlloc : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_
• nInUse : DState , EState
• nInverters : Lf_Man_t_
• nInvs : Nf_Man_t_
• nIsleDist : Ssw_Pars_t_
• nItem : Gia_PtrAre_t_
• nItems : Amap_Tree_t_ , FxuHeapDouble , FxuHeapSingle , FxuListCube , FxuListDouble , FxuListLit , FxuListPair , FxuListSingle , FxuListVar , Ivy_FraigList_t_ , Msat_OrderRing_t_ , MvcListStruct , Scl_Tree_t_
• nItemsAlloc : FxuHeapDouble , FxuHeapSingle
• nItemsNext : Bar_Progress_t_ , ProgressBarStruct
• nItemsTotal : Bar_Progress_t_ , ProgressBarStruct
• nIter : Bbr_ImageTree_t_ , Extra_ImageTree_t_
• nIterArea : Amap_Par_t_
• nIterations : Map_ManStruct_t_
• nIterCheck : Bmc_ParFf_t_
• nIterFlow : Amap_Par_t_
• nItermAlloc : Amap_Tree_t_ , Scl_Tree_t_
• nIterMax : Gia_ParLlb_t_ , Saig_ParBbr_t_
• nIterNoChange : SC_SizePars_
• nIters : _reo_man , Emb_Par_t_ , Fra_Lcr_t_ , Fra_Ssw_t_ , Fsim_ParSim_t_ , Fsim_ParSwitch_t_ , Gia_Iso2Man_t_ , Gia_ManTer_t_ , Gia_ParSim_t_ , Gia_ParSwi_t_ , SC_SizePars_ , Ssw_Pars_t_
• nItersMax : Cec_ParFra_t_ , Prove_ParamsStruct_t_
• nItersStop : Ssw_Pars_t_
• nJustLimit : Cbs0_Par_t_ , Cbs_Par_t_ , Tas_Par_t_
• nJustThis : Cbs0_Par_t_ , Cbs_Par_t_ , Tas_Par_t_
• nJustTotal : Cbs0_Par_t_ , Cbs_Par_t_ , Tas_Par_t_
• nKeepMax : Cut_ParamsStruct_t_
• nLargeChunks : Extra_MmStep_t_ , Mem_Step_t_
• nLargeChunksAlloc : Extra_MmStep_t_ , Mem_Step_t_
• nLastGain : Abc_ManRef_t_ , Abc_ManRes_t_ , Abc_ManRst_t_
• nLat0 : Dec_Node_t_ , Kit_Node_t_
• nLat1 : Dec_Node_t_ , Kit_Node_t_
• nLat2 : Dec_Node_t_ , Kit_Node_t_
• nLatches : Fpga_ManStruct_t_ , Ivy_Cut_t_ , Nwk_Man_t_
• nLatches1 : Fpga_NodeStruct_t_
• nLatches2 : Fpga_NodeStruct_t_
• nLatchesCi : If_Par_t_
• nLatchesCiBox : If_Par_t_
• nLatchesCo : If_Par_t_
• nLatchesCoBox : If_Par_t_
• nLats : Dar_LibDat_t_ , Rtm_Edg_t_
• nLCIElems : Rpo_Man_t_
• nLeafMax : Aig_Cut_t_ , Aig_ManCut_t_ , Csw_Cut_t_ , Csw_Man_t_ , Dar_RefPar_t_ , Rsb_Man_t_
• nLearnedDelta : Abs_Par_t_ , Saig_ParBmc_t_
• nLearnedMax : Abs_Par_t_
• nLearnedPerce : Abs_Par_t_ , Saig_ParBmc_t_
• nLearnedStart : Abs_Par_t_ , Saig_ParBmc_t_
• nLearntDelta : sat_solver2_t , sat_solver_t
• nLearntMax : sat_solver2_t , sat_solver_t
• nLearntRatio : sat_solver2_t , sat_solver_t
• nLearnts() : Minisat::Solver
• nLearntStart : sat_solver2_t , sat_solver_t
• nLeaves : Abc_ManRes_t_ , Bal_Cut_t_ , Cut_CutStruct_t_ , Dar_Cut_t_ , Dec_Graph_t_ , Fpga_CutStruct_t_ , If_Cut_t_ , Kit_Graph_t_ , Lf_Cut_t_ , Lpk_Cut_t_ , Map_CutStruct_t_ , Mf_Cut_t_ , Mpm_Cut_t_ , Nf_Cut_t_
• nLeavesMax : Abc_ManRes_t_
• nlen : inflate_state
• nLevDivMax : Res_Win_t_
• nLevelMax : Aig_Man_t_ , Amap_Man_t_ , Cec_ParCor_t_ , Cec_ParFra_t_ , Cec_ParSeq_t_ , Cgt_Par_t_ , Dam_Man_t_ , Fra_Par_t_ , If_Man_t_ , Ivy_Man_t_ , Sfm_Ntk_t_
• nLevelRoot : Msat_Solver_t_
• nLevels : Clu_Man_t_ , Cof_Man_t_ , Gia_Man_t_ , Odc_Man_t_ , Super2_LibStruct_t_ , Super_ManStruct_t_
• nLevelsMax : Saig_MvMan_t_
• nLevelsOld : Abc_RRMan_t_
• nLevLeafMin : Res_Win_t_
• nLevTfiMinus : Res_Win_t_
• nLevTravMin : Res_Win_t_
• nLimit : If_Cut_t_ , Ivy_SuppMan_t_
• nLineCounter : Extra_FileReader_t_ , Ver_Stream_t_
• nLines : Amap_Tree_t_ , Map_SuperLibStruct_t_ , Scl_Tree_t_
• nLiterals : Cnf_Dat_t_
• nLits : Dch_Cla_t_ , Dch_Man_t_ , Fx_Man_t_ , Kit_Sop_t_ , Min_Cube_t_ , Pdr_Set_t_ , Pr_Cls_t_ , Rpo_Man_t_ , Ssw_Cla_t_ , Sto_Cls_t_ , Tas_Cls_t_
• nLits1 : FxuPair
• nLits2 : FxuPair
• nLitsBeg : Fra_Lcr_t_ , Fra_Man_t_ , Ssw_Man_t_
• nLitsEnd : Fra_Lcr_t_ , Fra_Man_t_ , Ssw_Man_t_
• nLitsMax : Rpo_Man_t_
• nLitUsed : Gia_ManBmc_t_
• nLitUseless : Gia_ManBmc_t_
• nLookups : Extra_BitMat_t_ , Super_ManStruct_t_
• nLutK : Lpk_Fun_t_
• nLuts : Lpk_Cut_t_
• nLutSize : Abc_ManScl_t_ , Bal_Man_t_ , Clu_Man_t_ , If_Par_t_ , Iff_Man_t_ , Ifif_Par_t_ , Jf_Par_t_ , Lpk_Par_t_ , Mpm_Man_t_ , Str_Man_t_ , Str_Mux_t_
• nLutSizeMax : Jf_Par_t_
• nLutSizeMux : Jf_Par_t_
• nLutsMax : Lpk_Par_t_
• nLutsOver : Lpk_Par_t_
• nMapRefs : Mf_Obj_t_
• nMapSize : Aig_MmStep_t_ , Extra_MmStep_t_ , Gia_MmStep_t_ , Mem_Step_t_ , Msat_MmStep_t_ , Sat_MmStep_t_
• nMapWords : Rf2_Man_t_
• nMarked : Ga2_Man_t_
• nMatches : Fpga_ManStruct_t_ , Map_ManStruct_t_
• nMaxDistance : Nwk_LMPars_t_
• nMaxDivs : Mfs_Man_t_ , Sfm_Ntk_t_
• nMaxFanout : Nwk_LMPars_t_
• nMaxImps : Fra_Par_t_ , Fra_Ssw_t_
• nMaxIters : If_Man_t_
• nMaxLevelDiff : Nwk_LMPars_t_
• nMaxLevs : Fra_Par_t_ , Fra_Ssw_t_ , Ssw_Pars_t_
• nMaxLutSize : Nwk_LMPars_t_
• nMaxSuppSize : Nwk_LMPars_t_
• nMem : Dss_Ntk_t_
• nMemAlloc : Dss_Ntk_t_ , Fra_Man_t_
• nMemBytes1 : Nwk_Grf_t_
• nMemBytes2 : Nwk_Grf_t_
• nMemChunks : _reo_man
• nMemChunksAlloc : _reo_man
• nMemory : Abc_ZddMan_
• nMemoryAlloc : Aig_MmFixed_t_ , Aig_MmFlex_t_ , Extra_MmFixed_t_ , Extra_MmFlex_t_ , Fraig_MemFixed_t_ , Gia_MmFixed_t_ , Gia_MmFlex_t_ , Mem_Fixed_t_ , Mem_Flex_t_ , Msat_MmFixed_t_ , Msat_MmFlex_t_ , Sat_MmFixed_t_ , Sat_MmFlex_t_
• nMemoryUsed : Aig_MmFixed_t_ , Aig_MmFlex_t_ , Extra_MmFixed_t_ , Extra_MmFlex_t_ , Fraig_MemFixed_t_ , Gia_MmFixed_t_ , Gia_MmFlex_t_ , Mem_Fixed_t_ , Mem_Flex_t_ , Msat_MmFixed_t_ , Msat_MmFlex_t_ , Sat_MmFixed_t_ , Sat_MmFlex_t_
• nMems : Aig_MmStep_t_ , Cec_ManSim_t_ , Extra_MmStep_t_ , Gia_MmStep_t_ , Mem_Step_t_ , Msat_MmStep_t_ , Raig_Man_t_ , Sat_MmStep_t_
• nMemsMax : Cec_ManSim_t_ , Raig_Man_t_
• nMemUsed : cloudManager
• nMergeLimit : Cnf_Man_t_
• nMffc : Abc_ManRes_t_ , Lpk_Man_t_
• nMffcMin : Dar_RefPar_t_
• nMinDomSize : Cec_ParSeq_t_ , Fra_Ssw_t_ , Ssw_Pars_t_
• nMinOutputs : Cec_ParSmf_t_
• nMints : Super2_LibStruct_t_ , Super_ManStruct_t_
• nMintsCare : Mfs_Man_t_
• nMintsTotal : Mfs_Man_t_
• nMiteringLimitLast : Prove_ParamsStruct_t_
• nMiteringLimitMulti : Prove_ParamsStruct_t_
• nMiteringLimitStart : Prove_ParamsStruct_t_
• nMTF : EState
• nMulti : LUT
• nMultiSize : Abc_ShaMan_t_
• nMuxes : Gia_Man_t_ , Lpk_Man_t_
• nMyu : If_Grp_t_
• nNDnodes : Io_MvMan_t_
• nNets : If_Man_t_
• nNewSize : Shr_Man_t_ , Unm_Man_t_
• nninduce : saucy
• nNISwaps : _reo_man
• nNodeAnds : Au_Ntk_t_
• nNodeCuts : Cut_ManStruct_t_
• nNodeFanStop : Abc_ManCut_t_
• nNodeMax : Abc_EnuMan_t_
• nNodeMuxs : Au_Ntk_t_
• nNodes : Abc_EnuMan_t_ , Agi_Man_t_ , Aig_CMan_t_ , Aig_Dom_t_ , Amap_Lib_t_ , Au_Ntk_t_ , Bbr_ImagePart_t_ , Bdc_Man_t_ , Cof_Man_t_ , Cov_Man_t_ , Cut_ManStruct_t_ , Dar_Lib_t_ , Extra_ImagePart_t_ , Extra_SymmInfo_t_ , Fpga_ManStruct_t_ , Fsim_Man_t_ , Kit_DsdNtk_t_ , Lpk_Cut_t_ , Map_ManStruct_t_ , Raig_Man_t_ , Sec_MtrStatus_t_ , Sfm_Ntk_t_
• nNodes0 : Dar_Lib_t_
• nNodes0Max : Dar_Lib_t_
• nNodes0Total : Dar_Lib_t_
• nNodesAhead : Dch_Pars_t_ , Hcd_Pars_t_
• nNodesAlloc : Amap_Lib_t_ , Bdc_Man_t_ , cloudManager , Kit_DsdNtk_t_
• nNodesBad : Mfs_Man_t_
• nNodesBeg : _reo_man , Abc_ManRef_t_ , Abc_ManRes_t_ , Fra_Lcr_t_ , Fra_Man_t_ , Rwr_Man_t_ , Ssw_Man_t_
• nNodesBegC : Ssw_Man_t_
• nNodesBelow : Ref_Man_t_
• nNodesConsidered : Abc_ManRef_t_ , Abc_ManRst_t_ , Rwr_Man_t_ , Rwt_Man_t_
• nNodesCur : _reo_man , cloudManager
• nNodesCuts : Csw_Man_t_
• nNodesDag : Cut_ManStruct_t_
• nNodesDec : Mfs_Man_t_
• nNodesDup : Lpk_Cut_t_
• nNodesEnd : _reo_man , Abc_ManRef_t_ , Abc_ManRes_t_ , Fra_Lcr_t_ , Fra_Man_t_ , Rwr_Man_t_ , Ssw_Man_t_
• nNodesEndC : Ssw_Man_t_
• nNodesExt : FxuDataStruct
• nNodesExten : Ref_Man_t_
• nNodesGained : Abc_ManRef_t_ , Abc_ManRst_t_ , Mfs_Man_t_ , Rwr_Man_t_ , Rwt_Man_t_
• nNodesGainedLevel : Mfs_Man_t_
• nNodesInit : Dar_Man_t_ , Ref_Man_t_
• nNodeSizeMax : Abc_ManCut_t_ , Abc_ManRef_t_
• nNodesLimit : cloudManager
• nNodesMax : Abc_ManScl_t_ , Bbr_ImageTree_t_ , Bdc_Man_t_ , Extra_ImageTree_t_ , Saig_Bmc_t_ , Sfm_Par_t_
• nNodesMaxAlloc : _reo_man
• nNodesMaxT : Bbr_ImageTree_t_ , Extra_ImageTree_t_
• nNodesMiter : Fra_Man_t_ , Ivy_FraigMan_t_
• nNodesNew : Bdc_Man_t_ , FxuDataStruct
• nNodesNoCuts : Cut_ManStruct_t_
• nNodesOld : Abc_RRMan_t_ , FxuDataStruct
• nNodesOver : Lpk_Man_t_
• nNodesRefactored : Abc_ManRef_t_
• nNodesRestructured : Abc_ManRst_t_
• nNodesResub : Mfs_Man_t_
• nNodesRewritten : Rwr_Man_t_ , Rwt_Man_t_
• nNodesTotal : Dar_Lib_t_ , Lpk_Man_t_
• nNodesTried : Csw_Man_t_ , Dar_Man_t_ , Mfs_Man_t_ , Ref_Man_t_ , Sfm_Ntk_t_
• nNodesTriv0 : Csw_Man_t_
• nNodesTriv1 : Csw_Man_t_
• nNodesTriv2 : Csw_Man_t_
• nNodeXors : Au_Ntk_t_
• nNoMatch : Mpm_Man_t_
• nNonDecLimit : Dss_Man_t_ , If_Par_t_
• nNonDsd : Mpm_Man_t_ , Sdm_Man_t_
• nNonRefines : Cec_ParSim_t_ , Cec_ParSmf_t_
• nNonXRegs : Saig_Tsim_t_
• nNos : Faig_Man_t_
• nNumCuts : Mpm_Man_t_ , Mpm_Par_t_
• no_branching : stats_struct
• no_sig : _CSAT_Target_ResultT
• nObjAdded : Ga2_Man_t_ , Gla_Man_t_ , Vta_Man_t_
• nObjAlloc : Buf_Man_t_
• nObjBits : Vta_Man_t_
• nObjBytes : If_Man_t_
• nObjCount : Str_Ntk_t_
• nObjCounts : Abc_Ntk_t_
• nObjData : Cof_Man_t_ , Emb_Man_t_ , Frc_Man_t_ , Gli_Man_t_
• nObjects : Io_BlifMan_t_
• nObjIds : Iso_Man_t_
• nObjMask : Vta_Man_t_
• nObjNums : Gia_ManBmc_t_
• nObjPages : Gia_ManAre_t_
• nObjs : Abc_IffMan_t_ , Abc_Ntk_t_ , Abc_ZddMan_ , Agi_Man_t_ , Aig_Man_t_ , Amap_Man_t_ , Au_Ntk_t_ , Cof_Man_t_ , Dar_Lib_t_ , Dua_Dsd_t_ , Emb_Man_t_ , Faig_Man_t_ , Frc_Man_t_ , Fsim_Man_t_ , Gia_Iso2Man_t_ , Gia_IsoMan_t_ , Gia_Man_t_ , Gia_ManAre_t_ , Gla_Man_t_ , Gli_Man_t_ , Hop_Man_t_ , If_Man_t_ , Ifd_Man_t_ , Ifn_Ntk_t_ , Int_Ntk_t_ , Iso_Man_t_ , Iso_Sto_t_ , Ivy_Man_t_ , Ivy_SuppMan_t_ , Mig_Man_t_ , Nwk_Grf_t_ , Nwk_Man_t_ , Odc_Man_t_ , Raig_Man_t_ , Rf2_Man_t_ , Rnm_Man_t_ , Saig_Bmc_t_ , Saig_MvMan_t_ , SC_Man_ , SC_Time_ , Sfm_Ntk_t_ , Ssw_Frm_t_ , Str_Ntk_t_ , Unr_Man_t_ , Vta_Man_t_ , Wlc_Ntk_t_
• nObjsAlloc : Abc_ZddMan_ , Au_Ntk_t_ , Gia_Man_t_ , Ifd_Man_t_ , Odc_Man_t_ , Rf2_Man_t_ , Rnm_Man_t_ , Saig_MvMan_t_ , Str_Ntk_t_ , Vta_Man_t_ , Wlc_Ntk_t_
• nObjsFrame : Rf2_Man_t_ , Rnm_Man_t_
• nObjsPrev : If_DsdMan_t_
• nObjStart : Buf_Man_t_
• nObjsUsed : Au_Ntk_t_
• nObligs : Pdr_Man_t_
• nOdcMax : Cgt_Par_t_
• node : DdGen
• Node : Dec_Edge_t_
• node : GlobalQueueItem
• Node : Kit_Edge_t_
• node : LocalQueueItem
• nodelist : avl_generator_struct , DdSubtable
• nodes : DdGen
• Nodes : Ifn_Ntk_t_
• nodes : saucy_stats , stats_struct
• nodesPointer : NodeData
• nof_learnts : sat_solver2_t
• nOffset : Gia_ObjSat1_t_
• nog : ABC_ManagerStruct_t
• nOneHots : Clu_Man_t_
• nOneHotsProven : Clu_Man_t_
• nOnes : Aig_VSig_t_ , Fraig_NodeStruct_t_ , MvcCubeStruct
• nOrderAlloc : Aig_Man_t_
• Notches : SC_SizePars_
• nOutputs : Fpga_ManStruct_t_ , Map_ManStruct_t_ , Sec_MtrStatus_t_ , Sim_Man_t_ , Sym_Man_t_ , Tim_Box_t_
• nOuts : Aig_CMan_t_ , Cec_ManSim_t_ , Part_One_t_ , Supp_One_t_
• nOutsAlloc : Part_One_t_ , Supp_One_t_
• nOverSize : Fra_Ssw_t_ , Ssw_Pars_t_
• nPage : Gia_PtrAre_t_
• nPageAlloc : Vec_Mem_t_
• nPageBase : Mmr_Fixed_t_ , Mmr_Flex_t_
• nPagesAlloc : Sat_Mem_t_ , Vec_Set_t_
• nPageSize : Sat_Mem_t_ , Vec_Set_t_
• nPairs : Fra_Cla_t_ , Ivy_FraigMan_t_
• npairs : saucy
• nPairsBeg : Ivy_FraigMan_t_
• nPairsD : Fx_Man_t_
• nPairsEnd : Ivy_FraigMan_t_
• nPairsMax : FxuDataStruct
• nPairsNonSymm : Sym_Man_t_
• nPairsRem : Sym_Man_t_
• nPairsS : Fx_Man_t_
• nPairsSymm : Sym_Man_t_
• nPairsSymmStr : Sym_Man_t_
• nPairsTotal : Sym_Man_t_
• nPars : Ifn_Ntk_t_ , Qbf_Man_t_
• nParsVIni : Ifn_Ntk_t_
• nParsVNum : Ifn_Ntk_t_
• nParts : Bbr_ImageVar_t_ , Extra_ImageVar_t_ , Opa_Man_t_
• nPartSize : Fra_Ssw_t_ , Ssw_Pars_t_
• nPartValue : Gia_ParLlb_t_
• nPatLits : Cec_ManPat_t_
• nPatLitsAll : Cec_ManPat_t_
• nPatLitsMin : Cec_ManPat_t_
• nPatLitsMinAll : Cec_ManPat_t_
• nPatRepeat : Aig_ManPack_t_
• nPats : Cec_ManPat_t_ , Res_Sim_t_
• nPats0 : Res_Sim_t_
• nPats1 : Res_Sim_t_
• nPatsAll : Cec_ManPat_t_
• nPatsDyna : Fraig_ParamsStruct_t_
• nPatsIn : Res_Sim_t_
• nPatSkip : Aig_ManPack_t_
• nPatsOut : Res_Sim_t_
• nPatsRand : Fraig_ParamsStruct_t_
• nPatterns : Ssw_Man_t_ , Ssw_Sem_t_
• nPatternsAlloc : Ssw_Sem_t_
• nPatTotal : Aig_ManPack_t_
• nPatts : Cgt_Man_t_
• nPattWords : Cgt_Man_t_
• nPatWords : Fra_Man_t_ , Ivy_FraigMan_t_ , Ssw_Man_t_
• nPdrCalls : Ga2_Man_t_
• nPdrTimeout : Fra_Sec_t_
• nPercCutoff : Odc_Man_t_
• nPermSize : Abc_ZddMan_
• nPermWords : If_Man_t_
• nPhases : Map_ManStruct_t_ , Map_SuperStruct_t_
• nPins : Amap_Gat_t_
• nPis : Abc_Cex_t_ , Faig_Man_t_ , Fsim_Man_t_ , If_Box_t_ , Llb_Mtr_t_ , Odc_Man_t_ , Raig_Man_t_ , Saig_MvMan_t_ , Sfm_Ntk_t_
• nPis1 : Faig_Man_t_
• nPisAbstract : Saig_ParBmc_t_
• nPlanes : _reo_man
• nPorts : Au_Ntk_t_
• nPortsC0 : Au_Man_t_
• nPortsC1 : Au_Man_t_
• nPortsNC : Au_Man_t_
• nPos : Dau_Dsd_t_ , Faig_Man_t_ , Fsim_Man_t_ , If_Box_t_ , Raig_Man_t_ , Sfm_Ntk_t_
• nPref : Clu_Man_t_ , Fra_Bmc_t_ , Fra_Sml_t_ , Fsim_ParSwitch_t_ , Gia_ParSwi_t_ , Ssw_Sml_t_
• nPrefix : Cec_ParCor_t_ , Saig_Tsim_t_
• nProcNum : Jf_Par_t_
• nProcNumMax : Jf_Par_t_
• nProofIds : Ga2_Man_t_ , Gla_Man_t_
• nPropagations : Msat_SolverStats_t_
• nProvedSets : Res_Man_t_
• nProveOuts : Pdr_Par_t_
• nQuantsOver : Odc_Man_t_
• nQueCur : Pdr_Man_t_
• nQueLim : Pdr_Man_t_
• nQueMax : Pdr_Man_t_
• nRandPiFactor : Gia_ParSwi_t_
• nRandPiNum : Fsim_ParSwitch_t_
• nRandSeed : Ssw_RarPars_t_
• nRatio : Gia_ParAbs_t_
• nRatioMax : Abs_Par_t_
• nRatioMin : Abs_Par_t_
• nRatioMin2 : Abs_Par_t_
• nReached : Emb_Man_t_
• nRealloced : Nwk_Man_t_
• nRecCalls : Gia_ManAre_t_
• nRecycle : Pdr_Par_t_
• nRecycleCalls : Ssw_Man_t_ , Ssw_Pars_t_
• nRecycleCalls2 : Ssw_Pars_t_
• nRecycles : Cec_ManSat_t_ , Cgt_Man_t_ , Dch_Man_t_ , Ssc_Man_t_ , Ssw_Man_t_
• nRecyclesTotal : Ssw_Man_t_
• nRefAct : Map_NodeStruct_t_
• nRefErrors : Fraig_ManStruct_t_
• nRefEst : Map_NodeStruct_t_
• nRefId : Rnm_Man_t_
• nRefines : Rf2_Man_t_ , Rnm_Man_t_
• nRefNodes : _reo_man
• nRefNodesAlloc : _reo_man
• nRefs : Abc_Nam_t_ , Aig_Obj_t_ , Amap_Obj_t_ , Au_Man_t_ , Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , Hop_Obj_t_ , If_Obj_t_ , Ivy_Obj_t_ , Ivy_Supp_t_ , Kit_DsdObj_t_ , Map_NodeStruct_t_ , Part_One_t_ , Pdr_Obl_t_ , Pdr_Set_t_ , Supp_One_t_
• nRegs : Abc_Cex_t_ , Agi_Man_t_ , Aig_Man_t_ , Emb_Man_t_ , Frc_Man_t_ , Gia_Man_t_ , Gli_Man_t_ , Mig_Man_t_ , Mini_Aig_t_
• nRegsAlloc : Gia_Man_t_
• nRegsBeg : Fra_Lcr_t_ , Fra_Man_t_ , Ssw_Man_t_
• nRegsBegC : Ssw_Man_t_
• nRegsEnd : Fra_Lcr_t_ , Fra_Man_t_ , Ssw_Man_t_
• nRegsEndC : Ssw_Man_t_
• nRegsMax : Aig_ManPre_t_
• nRegsValues : Saig_MvMan_t_
• nRelaxRatio : If_Par_t_ , Jf_Par_t_
• nRemoved : Super_ManStruct_t_
• nRemoves : Mfs_Man_t_ , Sfm_Ntk_t_
• nReprs : Dch_Man_t_
• nReprsAlloc : Aig_Man_t_
• nResimDelta : Ssw_Pars_t_
• nResLits : Int_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• nResLitsAlloc : Int_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• nRestart : Ssw_RarPars_t_
• nRestarts : sat_solver_t
• nRestLimit : Pdr_Par_t_
• nResubs : Mfs_Man_t_ , Sfm_Ntk_t_
• nRewritingLimitMulti : Prove_ParamsStruct_t_
• nRewritingLimitStart : Prove_ParamsStruct_t_
• nRoots : Dsd_Manager_t_ , Pr_Man_t_ , sat_solver_t , Sto_Man_t_
• nRootsAlloc : Dsd_Manager_t_
• nRootSize : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• nRounds : Cec_ParChc_t_ , Cec_ParCor_t_ , Cec_ParFra_t_ , Cec_ParSim_t_ , Cec_ParSmf_t_ , Jf_Par_t_ , Ssw_RarPars_t_
• nRoundsEla : Jf_Par_t_
• nRows : Llb_Mtr_t_
• nrows : sm_matrix_struct
• nRUndefs : Saig_MvMan_t_
• nRuntimeLimit : sat_solver2_t , sat_solver_t
• nRValues : Saig_MvMan_t_
• nSat : Sec_MtrStatus_t_
• nSatCalls : Dch_Man_t_ , Fra_Man_t_ , Fraig_ManStruct_t_ , Ivy_FraigMan_t_ , Mfs_Man_t_ , Sfm_Ntk_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Swp_Man_t_
• nSatCallsImp : Fraig_ManStruct_t_
• nSatCallsRecent : Fra_Man_t_
• nSatCallsSat : Dch_Man_t_ , Fra_Man_t_ , Ivy_FraigMan_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Swp_Man_t_
• nSatCallsSkipped : Fra_Man_t_
• nSatCallsUndec : Ssc_Man_t_ , Swp_Man_t_
• nSatCallsUnsat : Dch_Man_t_ , Fra_Man_t_ , Ivy_FraigMan_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Swp_Man_t_
• nSatCexes : Mfs_Man_t_
• nSatCounter : Fraig_ManStruct_t_
• nSatCounterImp : Fraig_ManStruct_t_
• nSatFails : Fra_Man_t_ , Fraig_ManStruct_t_ , Ivy_FraigMan_t_
• nSatFailsImp : Fraig_ManStruct_t_
• nSatFailsReal : Dch_Man_t_ , Fra_Man_t_ , Fraig_ManStruct_t_ , Ivy_FraigMan_t_ , Ssw_Man_t_
• nSatImpls : Fraig_ManStruct_t_
• nSatNums : Fraig_ManStruct_t_
• nSatProof : Dch_Man_t_ , Fra_Man_t_ , Fraig_ManStruct_t_ , Ivy_FraigMan_t_ , Ssw_Man_t_
• nSatProofImp : Fraig_ManStruct_t_
• nSatProofs : Swp_Man_t_
• nSatRuns : Sim_Man_t_ , Sym_Man_t_
• nSatRunsSat : Sim_Man_t_ , Sym_Man_t_
• nSatRunsUnsat : Sim_Man_t_ , Sym_Man_t_
• nSatSat : Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManSat_t_ , Tas_Man_t_
• nSatSupps : Fraig_ManStruct_t_
• nSatTotal : Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManSat_t_ , Tas_Man_t_
• nSatUndec : Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManSat_t_ , Tas_Man_t_
• nSatUnsat : Cbs0_Man_t_ , Cbs_Man_t_ , Cec_ManSat_t_ , Tas_Man_t_
• nSatVarMax : Cec_ParSat_t_ , Dch_Pars_t_ , Hcd_Pars_t_ , Ssc_Pars_t_ , Ssw_Pars_t_
• nSatVarMax2 : Ssw_Pars_t_
• nSatVars : Bmc_Mna_t_ , Cec_ManSat_t_ , Dch_Man_t_ , Fra_Man_t_ , Ga2_Man_t_ , Gia_ManBmc_t_ , Gla_Man_t_ , Ivy_FraigMan_t_ , Saig_Bmc_t_ , Sfm_Ntk_t_ , Ssc_Man_t_ , Ssw_Sat_t_ , Swp_Man_t_
• nSatVarsPivot : Ssc_Man_t_
• nSatVarsTestBeg : Cla_Man_t_
• nSatVarsTestCur : Cla_Man_t_
• nSatZeros : Fraig_ManStruct_t_
• nScore : Llb_Var_t_ , Rwr_Node_t_
• nScores : Rwr_Man_t_ , Rwt_Man_t_
• nSecLimit : Int2_ManPars_t_ , Inter_ManParams_t_
• nSeconds : Fraig_ManStruct_t_ , Fraig_ParamsStruct_t_
• nSeenAll : Vta_Man_t_
• nSeenGla : Vta_Man_t_
• nSeenId : Msat_Solver_t_
• nSeparate : Buf_Man_t_
• nSeries : Cec_ManPat_t_
• nSetBytes : If_Man_t_
• nSets : Amap_Lib_t_
• nSetWords : Lf_Man_t_
• nShared : Dss_Ent_t_ , If_Man_t_
• nSignCur : cloudManager
• nSimBits : Sim_Man_t_
• nSimEmpty : Res_Man_t_
• nSimFrames : Clu_Man_t_
• nSimple : LUT
• nSimplifies0 : Fraig_ManStruct_t_
• nSimplifies1 : Fraig_ManStruct_t_
• nSimRounds : Fra_Man_t_ , Fra_Sml_t_ , Ivy_FraigMan_t_ , Ssc_Man_t_ , Ssw_Man_t_ , Ssw_Sml_t_
• nSimsEmpty : Odc_Man_t_
• nSimWords : Clu_Man_t_ , Fra_Par_t_ , Ivy_FraigMan_t_ , Ivy_FraigParams_t_ , Res_Par_t_ , Sim_Man_t_ , Sym_Man_t_
• nSimWordsPref : Clu_Man_t_
• nsinduce : saucy
• nSingleMax : FxuDataStruct
• nSingles : Gia_IsoMan_t_ , Iso_Man_t_
• nSingleTotal : FxuMatrix
• nSize : Cbs0_Que_t_ , Cbs_Que_t_ , Dec_Graph_t_ , Extra_BitMat_t_ , Fpga_NodeVecStruct_t_ , Fraig_NodeVecStruct_t_ , Gia_ManAre_t_ , Hash_Flt_t_ , Hash_Gen_t_ , Hash_Int_t_ , Hash_Ptr_t_ , Hsh_IntMan_t_ , Hsh_VecObj_t_ , Ivy_Cut_t_ , Ivy_Supp_t_ , Ivy_SuppMan_t_ , Kit_Graph_t_ , Llb_Prt_t_ , Map_NodeVecStruct_t_ , Mini_Aig_t_ , Msat_Clause_t_ , Msat_ClauseVec_t_ , Msat_IntVec_t_ , Tas_Que_t_ , Tas_Sto_t_ , Vec_Bit_t_ , Vec_Flt_t_ , Vec_Int_t_ , Vec_Mem_t_ , Vec_Ptr_t_ , Vec_Que_t_ , Vec_Str_t_ , Vec_Vec_t_ , Vec_Wec_t_ , Vec_Wrd_t_
• nSizeAlloc : Fra_Man_t_ , Msat_Clause_t_
• nSizeFactor : Nm_Man_t_
• nSizeMax : Ivy_Cut_t_ , Llb_Mgr_t_
• nSizeNonDec : Dau_Dsd_t_
• nSmallSupp : If_Man_t_ , Mpm_Man_t_
• nSMnumber : Fra_Sec_t_
• nSols : Emb_Par_t_
• nSolved : Ssw_RarPars_t_
• nSolverCalls : Ssw_Sat_t_
• nSpeculs : Fra_Man_t_
• nsplits : saucy
• nSRMiterMaxId : Ssw_Man_t_
• nStableMax : Gia_ParAbs_t_
• nStaPages : Gia_ManAre_t_
• nStart : Aig_Gla2Man_t_ , Aig_Gla3Man_t_ , Bmc_AndPar_t_ , Saig_ParBmc_t_
• nStartCols : Abc_ShaMan_t_
• nStarts : Msat_SolverStats_t_ , Pdr_Man_t_
• nStas : Gia_ManAre_t_
• nStas0 : Gia_ObjAre_t_
• nStas1 : Gia_ObjAre_t_
• nStas2 : Gia_ObjAre_t_
• nStatesMax : Saig_MvMan_t_
• nStateWords : Gia_ManTer_t_
• nSteps : Abc_Frame_t_
• nStepSize : Part_Man_t_ , Supp_Man_t_
• nStepsMax : Cec_ParCor_t_ , Ssw_Pars_t_
• nStitchVars : Saig_Bmc_t_
• nStore : Abc_Nam_t_
• nStrangers : Ssw_Man_t_
• nStrash0 : Abc_Aig_t_
• nStrash1 : Abc_Aig_t_
• nStrash2 : Abc_Aig_t_
• nStrash5 : Abc_Aig_t_
• nStructType : If_Par_t_
• nSubgMax : Dar_RwrPar_t_
• nSubgr : Dar_Lib_t_
• nSubgr0 : Dar_Lib_t_
• nSubgr0Total : Dar_Lib_t_
• nSubgraphs : Dar_Lib_t_ , Rwr_Man_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 , Bbr_ImagePart_t_ , Dss_Obj_t_ , Dua_Dsd_t_ , Extra_ImagePart_t_ , If_DsdObj_t_ , Ifd_Obj_t_
• nSuppAlloc : _reo_man
• nSuppBits : Sim_Man_t_
• nSuppMax : Llb_Mgr_t_
• nSupps : Cov_Man_t_
• nSuppSize : Amap_Nod_t_
• nSuppSizeL : Lpk_Res_t_
• nSuppSizeS : Lpk_Res_t_
• nSuppsMax : Cov_Man_t_
• nSuppWords : Fraig_ManStruct_t_ , Sim_Man_t_
• nSwaps : _reo_man
• nSwitches : Gli_Obj_t_
• nSymGroups : Cut_CMan_t_
• nSymGroupsE : Cut_CMan_t_
• nSymms : Extra_SymmInfo_t_
• nTable : Ga2_Man_t_
• nTableEntries : If_Man_t_
• nTableLookups : Tru_Man_t_
• nTableSize : _reo_man , Aig_Man_t_ , Bdc_Man_t_ , Csw_Man_t_ , Dsd_Cache_t_ , FxuMatrix , Hop_Man_t_ , If_Man_t_ , Io_BlifMan_t_ , Ivy_Man_t_ , Odc_Man_t_ , Tru_Man_t_
• nTablesLeft : Io_BlifMan_t_ , Io_MvMan_t_
• nTablesRead : Io_BlifMan_t_ , Io_MvMan_t_
• nTerLoop : Gia_Man_t_
• nTerStates : Gia_Man_t_
• nTfoLevMax : Sfm_Par_t_
• nTimeFails : Lf_Man_t_
• nTimeMax : Ccf_Man_t_
• nTimeOut : Abs_Par_t_ , Bmc_AndPar_t_ , Bmc_BCorePar_t_ , Bmc_ParFf_t_ , Pdr_Par_t_ , Saig_ParBmc_t_ , Swp_Man_t_
• nTimeOutGap : Pdr_Par_t_ , Saig_ParBmc_t_
• nTimeOutOne : Pdr_Par_t_ , Saig_ParBmc_t_
• nTimeOuts : Mfs_Man_t_ , Sfm_Ntk_t_
• nTimeOutsLevel : Mfs_Man_t_
• ntkFunc : Abc_Ntk_t_
• ntkType : Abc_Ntk_t_
• nTNodesSize : Saig_MvMan_t_
• nTops : _reo_man , Abc_EnuMan_t_
• nTopsAlloc : _reo_man
• nTotal : Aig_RMan_t_ , Cut_CMan_t_ , Pdr_Set_t_
• nTotalBacktrackLimit : Prove_ParamsStruct_t_
• nTotalBacktracksMade : Prove_ParamsStruct_t_
• nTotalDcs : Odc_Man_t_
• nTotalDivs : Abc_ManRes_t_ , Mfs_Man_t_ , Sfm_Ntk_t_
• nTotalEdgesBeg : Mfs_Man_t_ , Sfm_Ntk_t_
• nTotalEdgesEnd : Mfs_Man_t_ , Sfm_Ntk_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_
• nTotalNodesBeg : Mfs_Man_t_ , Sfm_Ntk_t_
• nTotalNodesEnd : Mfs_Man_t_ , Sfm_Ntk_t_
• nTotalSubgs : Dar_Man_t_
• nTotConfLevel : Mfs_Man_t_
• nTotConfLim : Mfs_Man_t_
• nTrailSize : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• nTravIds : Abc_Ntk_t_ , Agi_Man_t_ , Aig_Man_t_ , Au_Ntk_t_ , Cof_Man_t_ , Emb_Man_t_ , Fpga_ManStruct_t_ , Fraig_ManStruct_t_ , Gia_Man_t_ , Gli_Man_t_ , Hop_Man_t_ , Ivy_Man_t_ , Map_ManStruct_t_ , Mig_Man_t_ , Nwk_Man_t_ , Odc_Man_t_ , Rwr_Man_t_ , Rwt_Man_t_ , Sfm_Ntk_t_ , Tim_Man_t_ , Wlc_Ntk_t_
• nTravIds2 : Fraig_ManStruct_t_ , Sfm_Ntk_t_
• nTravIdsAlloc : Gia_Man_t_
• nTrees : Str_Ntk_t_
• nTried : Lms_Man_t_ , Super2_ManStruct_t_ , Super_ManStruct_t_
• nTries : Abc_EnuMan_t_
• nTruePis : Aig_Man_t_ , Nwk_Man_t_ , Res_Sim_t_
• nTruePos : Aig_Man_t_ , Nwk_Man_t_
• nTruth6Words : If_Man_t_
• nTruthWords : Aig_ManCut_t_ , Csw_Man_t_ , Cut_ManStruct_t_ , Cut_OracleStruct_t_
• nTruWords : Mpm_Man_t_
• nTryRemoves : Mfs_Man_t_ , Sfm_Ntk_t_
• nTryResubs : Mfs_Man_t_ , Sfm_Ntk_t_
• nTStatesSize : Saig_MvMan_t_
• nTtDsd : Aig_RMan_t_
• nTtDsdNot : Aig_RMan_t_
• nTtDsdPart : Aig_RMan_t_
• nTtVars : Gia_Man_t_
• nTtWords : Gia_Man_t_
• nTwoLits : Msat_Solver_t_
• nTwoLitsL : Msat_Solver_t_
• Num : Dar_LibObj_t_ , Fpga_NodeStruct_t_ , Fraig_NodeStruct_t_ , FxuDouble , FxuSingle , Gia_ObjEra_t_ , Map_NodeStruct_t_ , Map_SuperStruct_t_ , Msat_Clause_t_ , Msat_OrderVar_t_ , Rtm_Obj_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_cells : qps_problem
• num_cftg : _CSAT_Target_ResultT
• num_cfts : _CSAT_Target_ResultT
• num_dec : _CSAT_Target_ResultT
• num_entries : avl_tree_struct , st__table , stmm_table
• num_imp : _CSAT_Target_ResultT
• num_mv_vars : cube_struct
• num_vars : cube_struct
• NumA : Fpga_NodeStruct_t_
• numAnds : Bdc_Man_t_
• Number : Saig_SimObj_t_ , Super_GateStruct_t_
• numberXovers : DdManager
• numBuckets : DdHashTable , DdLevelQueue
• numCalls : Bdc_Man_t_
• numMuxes : Bdc_Man_t_
• numNodes : Bdc_Man_t_
• numOrs : Bdc_Man_t_
• NumPi : Fraig_NodeStruct_t_
• numReuse : Bdc_Man_t_
• NumTemp : Map_NodeStruct_t_
• numWeaks : Bdc_Man_t_
• numZ : EState
• nUnate : Extra_UnateInfo_t_
• nUndec : Sec_MtrStatus_t_
• nundiffs : saucy
• nUniProps : Gia_ManBmc_t_
• nUnique : Super_ManStruct_t_
• nUniqueHits : cloudManager , If_DsdMan_t_
• nUniqueMask : Abc_ZddMan_
• nUniqueMisses : cloudManager , If_DsdMan_t_
• nUniques : Gia_Iso2Man_t_ , Gia_IsoMan_t_ , Ssw_Man_t_
• nUniquesAdded : Ssw_Man_t_
• nUniqueSteps : cloudManager
• nUniquesUseful : Ssw_Man_t_
• nUniqueVars : Aig_RMan_t_
• nUnits : sat_solver2_t
• nUnitsUsed : _reo_man
• nUnsat : Sec_MtrStatus_t_
• 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_
• nValuesMax : Saig_MvMan_t_
• nVarCounts : Cut_CMan_t_
• nVarFuncs : Aig_RMan_t_
• nVars : Abc_EnuMan_t_ , Abc_TtStore_t , Abc_TtStore_t_ , Abc_ZddMan_ , Aig_RMan_t_ , Aig_Tru_t_ , Bdc_Man_t_ , cloudManager , Cnf_Dat_t_ , Cut_Cell_t_ , Dss_Man_t_ , Dss_Ntk_t_ , Dua_Dsd_t_ , Extra_SymmInfo_t_ , Extra_UnateInfo_t_ , Fx_Man_t_ , If_DsdMan_t_ , If_Grp_t_ , Ifn_Ntk_t_ , Inter_Check_t_ , Kit_DsdMan_t_ , Kit_DsdNtk_t_ , Llb_Mgr_t_ , Lms_Man_t_ , Lpk_Fun_t_ , Min_Cube_t_ , Min_Man_t_ , Minisat::Solver , Mpm_Dsd_t_ , Msat_Queue_t_ , Msat_Solver_t_ , Pr_Man_t_ , Qbf_Man_t_ , Rpo_Man_t_ , Rpo_TtStore_t_ , Sdm_Dsd_t_ , Sto_Man_t_ , Tru_Man_t_
• nVarsAB : Int_Man_t_ , Pr_Man_t_
• nVarsAlloc : Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Msat_Order_t_ , Msat_Solver_t_ , Pr_Man_t_
• nVarsClauses : Fraig_ManStruct_t_
• nVarsFree : Abc_EnuMan_t_
• nVarsIn : Kit_ManDec_t_
• nVarsInit : Dau_Dsd_t_
• nVarsMax : Bdc_Par_t_ , Cut_CutStruct_t_ , Cut_ParamsStruct_t_ , Extra_SymmInfo_t_ , Extra_UnateInfo_t_ , Fpga_ManStruct_t_ , Gia_ManSup_t_ , Kit_ManDec_t_ , Lpk_Par_t_ , Map_ManStruct_t_ , Map_SuperLibStruct_t_ , Odc_Man_t_ , Ssw_Man_t_ , Super_ManStruct_t_
• nVarsMin : Cgt_Par_t_
• nVarsOut : Kit_ManDec_t_
• nVarsShared : Lpk_Par_t_
• nVarsUsed : Dau_Dsd_t_
• nVarUsed : sat_solver_t
• nVerbLimit : Jf_Par_t_
• nVerts : Nwk_Grf_t_
• nVertsMax : Nwk_Grf_t_
• nVisCounter : Ssw_Man_t_
• nVisited : Rnm_Man_t_
• nVisits : Aig_Tru_t_ , Dsd_Node_t_ , If_Obj_t_
• nVisitsCopy : If_Obj_t_
• nVolume : Fpga_CutStruct_t_ , Map_CutStruct_t_
• nVolumeMax : Gia_ParLlb_t_
• nVolumeMin : Gia_ParLlb_t_
• nWeightLimit : FxuMatrix
• nWidthBeg : _reo_man
• nWidthCur : _reo_man
• nWidthEnd : _reo_man
• nWindow : Res_Par_t_
• nWinMax : Mfs_Par_t_
• nWinNodes : Res_Man_t_
• nWins : Odc_Man_t_ , Res_Man_t_
• nWinsEmpty : Odc_Man_t_
• nWinsFinish : Odc_Man_t_
• nWinSizeMax : Sfm_Par_t_
• nWinsTriv : Res_Man_t_
• nWinsUsed : Res_Man_t_
• nWinTfiMax : Res_Win_t_
• nWinTfoLevs : Mfs_Par_t_
• nWinTfoMax : Res_Win_t_
• nWordNum : Gia_ManBmc_t_
• nWords : Abc_ManRes_t_ , Abc_ManScl_t_ , Abc_TtStore_t , Abc_TtStore_t_ , Aig_Tsi_t_ , Bbl_Fnc_t_ , Bdc_Man_t_ , Cec_ManSim_t_ , Cec_ParChc_t_ , Cec_ParCor_t_ , Cec_ParFra_t_ , Cec_ParSim_t_ , Cec_ParSmf_t_ , Cnf_Cut_t_ , Cov_Man_t_ , Dch_Pars_t_ , Dss_Ent_t_ , Dss_Obj_t_ , Dua_Dsd_t_ , Extra_BitMat_t_ , Faig_Man_t_ , Fsim_Man_t_ , Fsim_ParSim_t_ , Fsim_ParSwitch_t_ , Gia_ManAre_t_ , Gia_ManSim_t_ , Gia_ManSwi_t_ , Gia_ParSim_t_ , Gia_ParSwi_t_ , Gia_Sim2_t_ , Hcd_Pars_t_ , If_DsdMan_t_ , Ifn_Ntk_t_ , Int_Man_t_ , Kit_DsdMan_t_ , Lms_Man_t_ , Mfs_Man_t_ , Min_Cube_t_ , Min_Man_t_ , MvcCoverStruct , Odc_Man_t_ , Prf_Man_t_ , Raig_Man_t_ , Res_Sim_t_ , Rpo_TtStore_t_ , Saig_Tsim_t_ , Ssc_Pars_t_ , Ssw_RarMan_t_ , Ssw_RarPars_t_ , Tru_Man_t_ , Vta_Man_t_
• nWordsAlloc : Cec_ManSim_t_ , Raig_Man_t_
• nWordsDat : Gia_ManEra_t_
• nWordsDyna : Fraig_ManStruct_t_
• nWordsFrame : Fra_Sml_t_ , Ssw_Sml_t_
• nWordsIn : Res_Sim_t_
• nWordsMax : Gia_ManSup_t_ , Kit_ManDec_t_
• nWordsOld : Cec_ManSim_t_
• nWordsOut : Kit_ManDec_t_ , Res_Sim_t_
• nWordsPref : Fra_Sml_t_ , Ssw_Sml_t_
• nWordsRand : Fraig_ManStruct_t_
• nWordsReg : Ssw_RarMan_t_
• nWordsSim : Gia_ManEra_t_
• nWordsTotal : Fra_Sml_t_ , Ssw_Sml_t_
• nXors : Gia_Man_t_