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

- n -

n : _reo_unit, saucy, saucy_graph
n_assigns_simplify : solver_t_
n_bin : watch_list
n_conf_fst_reduce : satoko_opts
n_confl_bfr_reduce : solver_t_
n_conflicts : satoko_stats
n_conflicts_all : satoko_stats
n_decisions : satoko_stats
n_inputs : SC_Cell_
n_inspects : satoko_stats
n_learnt_lits : satoko_stats
n_occ : Gluco2::SimpSolver::ElimLt, Gluco2::SimpSolver, Gluco::SimpSolver::ElimLt, Gluco::SimpSolver, Minisat::SimpSolver::ElimLt, Minisat::SimpSolver
n_original_lits : satoko_stats
n_outputs : SC_Cell_
n_propagations : satoko_stats
n_propagations_all : satoko_stats
n_props_simplify : solver_t_
n_reduce_db : satoko_stats
n_starts : satoko_stats
n_touched : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
nAbsFlops : Pdr_Man_t_
nAbsOld : Gla_Man_t_
nAdded : Lms_Man_t_, rrr::Optimizer< Ntk, Ana >::Stats, Rwr_Man_t_, Rwr_Node_t_, Rwt_Man_t_, Super_ManStruct_t_
nAddedFis : rrr::Optimizer< Ntk, Ana >::Stats
nAddedFuncs : Lms_Man_t_
nAdderLimit : Wlc_BstPar_t_
nAlgorithm : Abc_TgMan_t_
nAliases : Super_ManStruct_t_
nAllDisproved : Cec_ManFra_t_
nAllDisprovedS : Cec_ManFra_t_
nAllDivs : Sfm_Dec_t_
nAllDsd : Sdm_Man_t_
nAllFailed : Cec_ManFra_t_
nAllFailedS : Cec_ManFra_t_
nAllProved : Cec_ManFra_t_
nAllProvedS : Cec_ManFra_t_
nAllWin : Sfm_Dec_t_
Name : Nm_Entry_t_
name() : CaDiCaL::File, CaDiCaL::NameVal, CaDiCaL::Option, CaDiCaL::Signal, Gluco2::Option, Gluco::Option, gz_header_s, ltlNode_t, Minisat::Option, opt
name_max : gz_header_s
NameCount : Smt_Prs_t_
NameId : Acb_Ntk_t_, Bac_Ntk_t_, Cba_Ntk_t_, Rtl_Ntk_t_
names : _CSAT_Target_ResultT
nan : EpTypeUnion
nAnalyzerVerbose : rrr::Parameter
nAnd2Delay : Gia_Man_t_
nAndArea : If_Par_t_
nAndDelay : If_Par_t_
nAndNodes : Cec4_Man_t_, Cec5_Man_t_
nAndPrev : Aig_Man_t_
nAnds : Acb_Man_t_, Cba_Man_t_, Dam_Man_t_, Ifd_Obj_t_, Mpm_Dsd_t_, Sdm_Dsd_t_, Wlc_Ntk_t_, Wln_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_
nArrTimeDelta : Ses_Man_t_
nArrTimeMax : Ses_Man_t_
nAssert : Wlc_Ntk_t_
nAsserts : Aig_Man_t_
nAssigns() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
nAssignSimplify : xSAT_Solver_t_
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_
nbBin : Gluco2::Solver, Gluco::Solver
nbclausesbeforereduce : Gluco2::Solver, Gluco::Solver
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_
nbDL2 : Gluco2::Solver, Gluco::Solver
nBenefited : Lpk_Man_t_
nBestCutSmall : If_Man_t_
nBestEdges : Abc_Frame_t_
nBestEdges2 : Abc_Frame_t_
nBestLevels : Abc_Frame_t_
nBestLevels2 : Abc_Frame_t_
nBestLuts : Abc_Frame_t_
nBestLuts2 : Abc_Frame_t_
nBestNtkArea : Abc_Frame_t_
nBestNtkDelay : Abc_Frame_t_
nBestNtkLevels : Abc_Frame_t_
nBestNtkNodes : Abc_Frame_t_
nBI : Bnd_Man_t_
nBI_miss : Bnd_Man_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_, Tab_Man_t_, Tab_Tab_t_, 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_
nBitsAdd : Wlc_Par_t_
nBitsFlop : Wlc_Par_t_
nBitShift : Cut_ParamsStruct_t_, Extra_BitMat_t_
nBitsMul : Wlc_Par_t_
nBitsMux : Wlc_Par_t_
nblock : EState
nblock_used : DState
nblockMAX : EState
nBlocks : Lpk_Man_t_, Pdr_Man_t_
nBO : Bnd_Man_t_
nBO_miss : Bnd_Man_t_
nBobPar : Gia_ParAbs_t_
nBoundary : Cov_Man_t_
nBoxes : Au_Ntk_t_, If_LibBox_t_
nbpos : Gluco2::Solver, Gluco::Solver
nBranch0 : Buf_Man_t_
nBranch1 : Buf_Man_t_
nBranchCrit : Buf_Man_t_
nbReduceDB : Gluco2::Solver, Gluco::Solver
nbReducedClauses : Gluco2::Solver, Gluco::Solver
nbRemovedClauses : Gluco2::Solver, Gluco::Solver
nbSatCalls : Gluco2::Solver, Gluco::Solver
nbstopsrestarts : Gluco2::Solver, Gluco::Solver
nbstopsrestartssame : Gluco2::Solver, Gluco::Solver
nBSVars : Lpk_Res_t_
nBTLimit : Acb_Par_t_, Acec_ParCec_t_, Cbs0_Par_t_, Cbs2_Par_t_, Cbs3_Par_t_, Cbs_Par_t_, CbsP_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_, Sbd_Par_t_, Sbl_Man_t_, Seg_Man_t_, Ses_Man_t_, Ses_Store_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_
nBTLimitPo : Cec_ParFra_t_
nBTThis : Cbs0_Par_t_, Cbs2_Par_t_, Cbs3_Par_t_, Cbs_Par_t_, CbsP_Par_t_, Tas_Par_t_
nBTThisNc : Cbs2_Par_t_, Cbs_Par_t_, CbsP_Par_t_, Tas_Par_t_
nBTTotal : Cbs0_Par_t_, Cbs2_Par_t_, Cbs3_Par_t_, Cbs_Par_t_, CbsP_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_, Pln_Man_t_
nbUn : Gluco2::Solver, Gluco::Solver
nbUnsatCalls : Gluco2::Solver, Gluco::Solver
nBVars : Abc_BSEval_t_
nbVarsInitialFormula : Gluco2::Solver, Gluco::Solver
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_, Ses_Store_t_
nCacheLookups : Abc_BddMan_, Abc_ZddMan_
nCacheMask : Abc_BddMan_, Abc_ZddMan_
nCacheMaxLog : NewBdd::Param, rrr::NewBdd::Param
nCacheMisses : Abc_BddMan_, Abc_ZddMan_, cloudManager, Dss_Man_t_, If_Man_t_
nCacheSizeLog : NewBdd::Param, rrr::NewBdd::Param
nCacheVerbose : NewBdd::Param, rrr::NewBdd::Param
nCallBacks1 : Bmc_Load_t_
nCallBacks2 : Bmc_Load_t_
nCallConfl : Gluco2::Solver, Gluco::Solver
nCalledSRed : Lpk_Man_t_
nCalls : Cgt_Man_t_, Gia_Man2Min_t_, Pdr_Man_t_, Rf2_Man_t_, Rnm_Man_t_, sat_solver3_t, sat_solver_t
nCalls2 : sat_solver3_t, sat_solver_t
nCallsCount : Ssw_Man_t_
nCallsDelta : Ssw_Man_t_
nCallsFiltered : Cgt_Man_t_
nCallsMax : Ssw_Man_t_
nCallsRecycle : Cec_ParFra_t_, Cec_ParSat_t_, Dch_Pars_t_, Hcd_Pars_t_, Ssc_Pars_t_
nCallsS : Pdr_Man_t_
nCallsSat : Cgt_Man_t_, Ssw_Man_t_
nCallsSince : Cec4_Man_t_, Cec5_Man_t_, 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 : Gia_SimAbsMan_t_, 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_, Mini_Lut_t_, Msat_ClauseVec_t_, Msat_IntVec_t_, Ndr_Data_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_, Wln_Vec_t_, xSAT_BQueue_t_, xSAT_Mem_t_, xSAT_VecWatchList_t_, xSAT_WatchList_t_
nCardConstr : Bmc_ParFf_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 : Mio_LibraryStruct_t_, Nf_Man_t_, Pf_Man_t_, Sfm_Lib_t_
nCexes : Cec_ManS_t_, Clu_Man_t_, Ga2_Man_t_, Gla_Man_t_, Mfs_Man_t_, Pdr_Man_t_, Sfm_Ntk_t_, Vta_Man_t_
nCexesAlloc : Clu_Man_t_
nCexesTotal : Pdr_Man_t_
nCexLits : Cec_ManSat_t_
nChanged : rrr::Optimizer< Ntk, Ana >::Stats
nChanges : Acb_Mfs_t_, Lpk_Man_t_
nChars : Ver_Stream_t_
nChecks : Gia_ManAre_t_
nChoice_impl : Bnd_Man_t_
nChoice_spec : Bnd_Man_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_, Min_Man_t_, Raig_Man_t_, Tim_Man_t_
nCis1 : Faig_Man_t_
nCisNos1 : Faig_Man_t_
nCisNosPos1 : Faig_Man_t_
nCisOld : Gia_Man2Min_t_
nClaActInc : xSAT_Solver_t_
nClasses : Dch_Cla_t_, Dtt_Man_t_, Iso_Man_t_, Rwr_Man4_t_, Rwr_Man_t_, Rwt_Man_t_, Ssw_Cla_t_, Super_ManStruct_t_, Wln_Ret_t_
nClassesBeg : Ivy_FraigMan_t_
nClassesEnd : Ivy_FraigMan_t_
nClassesSkip : Ivy_Man_t_
nClassesZero : Ivy_FraigMan_t_
nClauseConf : Cbs2_Man_t_, Cbs3_Man_t_
nClauseLits : xSAT_Stats_t_
nClauses : Clu_Man_t_, Cnf_Dat_t_, Gluco2::Solver, Gluco::Solver, Minisat::Solver, Mpm_Dsd_t_, Msat_Solver_t_, Pr_Man_t_, sat_solver3_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_
nCnfClauses : Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_, Exa_Man_t_
nCnfVars : Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_
nCnfVars2 : Exa6_Man_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_, Fxch_Man_t_
nComps : Dtt_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_
nConfBeforeReduce : xSAT_Solver_t_
nConfCur : Inter_Man_t_
nConfFirstReduce : xSAT_SolverOptions_t_
nConfGenLimit : Pdr_Par_t_
nConfigWords : If_DsdMan_t_
nConflictLimit : rrr::Parameter
nConflicts : Cec4_Man_t_, Cec5_Man_t_, Msat_SolverStats_t_, Ssw_Pars_t_, xSAT_Stats_t_
nConfLimit : Abs_Par_t_, Aig_Gla1Man_t_, Bmc_AndPar_t_, Cec2_Par_t_, Cec3_Par_t_, Fraig_ParamsStruct_t_, Inter_Man_t_, Pdr_Par_t_, Saig_ParBmc_t_, sat_solver2_t, sat_solver3_t, sat_solver_t, xSAT_SolverOptions_t_
nConfLimitJump : Saig_ParBmc_t_
nConfls : Glucose2_Pars_, Glucose_Pars_
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_, Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_Man_t_, Cec_ManSat_t_, Tas_Man_t_
nConfTotal : Tas_Man_t_
nConfUndec : Cbs0_Man_t_, Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_Man_t_, Cec_ManSat_t_, Tas_Man_t_
nConfUnsat : Cbs0_Man_t_, Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_Man_t_, Cec_ManSat_t_, Tas_Man_t_
nConservConstraints : MinRegMan_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_, Min_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_, Tab_Man_t_
nCubesAlloc : cinfo_tag, MvcCoverStruct
nCubesBefore : cinfo_tag
nCubesFree : cinfo_tag
nCubesInit : Fxch_Man_t_
nCubesInUse : cinfo_tag
nCubesMax : cinfo_tag, Cov_Man_t_
nCutBytes : If_Man_t_
nCutClas : Sle_Man_t_
nCutCount : Ses_Store_t_
nCutCounts : Lf_Man_t_, Mf_Man_t_
nCutCur : Frc_Man_t_
nCutEqual : Lf_Man_t_
nCutMax : Frc_Man_t_
nCutMemUsed : Dar_Man_t_
nCutMux : Lf_Man_t_
nCutNum : Bal_Man_t_, Gia_Sto_t_, Jf_Par_t_, Sbd_Par_t_, Sbd_Srv_t_, Sbd_Sto_t_, Sdb_Sto_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_
nCutsCount : If_Man_t_
nCutsCountAll : If_Man_t_
nCutsCur : Cut_ManStruct_t_
nCutsDealloc : Cut_ManStruct_t_
nCutSet : Cut_ParamsStruct_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_, Gia_Sto_t_, Sbd_Par_t_, Sbd_Srv_t_, Sbd_Sto_t_, Sdb_Sto_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_
nCutsOver : Gia_Sto_t_, Sbd_Sto_t_, Sdb_Sto_t_
nCutsPeak : Cut_ManStruct_t_
nCutsR : Gia_Sto_t_, Sbd_Sto_t_, Sdb_Sto_t_
nCutsSkipped : Dar_Man_t_
nCutsSpec : Sbd_Sto_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_, Pf_Man_t_
nCutVars : Sle_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_solver3_t, sat_solver_t
nDcMints : Mfs_Man_t_
nDebugOffset : Ses_Man_t_
nDecisions : Msat_SolverStats_t_, xSAT_Stats_t_
nDecMax : Rsb_Man_t_, Sfm_Par_t_
nDecs : Cbs3_Man_t_, Dsd_Node_t_
nDegree : Iff_Man_t_, Ifif_Par_t_, SC_BusPars_
nDelayClas : Sle_Man_t_
nDelayLim : Lpk_Fun_t_
nDelayLut1 : Jf_Par_t_
nDelayLut2 : Jf_Par_t_
nDelayMin : Cut_ManStruct_t_
nDelayVars : Sle_Man_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_
nDepthOffset : Ses_Man_t_
nDepthVars : Ses_Man_t_
ndiffnons : saucy
ndiffs : saucy
nDigits : Smt_Prs_t_
nDims : Emb_Par_t_
nDisj : Wla_Man_t_
nDisjs : Gia_ManAre_t_
nDisjs2 : Gia_ManAre_t_
nDisjs3 : Gia_ManAre_t_
ndist : inflate_state
nDistance : rrr::Parameter
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_, Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_, Fx_Man_t_, FxuMatrix, Res6_Man_t_, Sbd_Pro_t_, Sfm_Dec_t_
nDivs1 : FxuMatrix
nDivs2 : FxuMatrix
nDivs3 : FxuMatrix
nDivsA : Res6_Man_t_
nDivsAll : Acb_Mfs_t_
nDivsLimit : Bdc_Man_t_
nDivsMax : Abc_ManRes_t_, Gia_ResbMan_t_, Gia_Rsb2Man_t_
nDivsPlus : Res_Win_t_
nDivsS : Fx_Man_t_
nDivsTotal : FxuMatrix
nDivWords : Mfs_Man_t_, Sfm_Dec_t_, Supp_Man_t_
nDivWordsAlloc : Sfm_Dec_t_
nDomNodes : Aig_Sto_t_
nDomsFilter1 : Aig_Sto_t_
nDomsFilter2 : Aig_Sto_t_
nDomsTotal : Aig_Sto_t_
nDowns : rrr::Optimizer< Ntk, Ana >::Stats
nDropOuts : Bmc_AndPar_t_, Pdr_Par_t_, Saig_ParBmc_t_
nDsds : Lpk_Man_t_
nDuplicate : Buf_Man_t_
nDupNum : Gia_ManBmc_t_
nEdgeClas : Sle_Man_t_
nEdgeClas2 : Sle_Man_t_
nEdgeHash : Nwk_Grf_t_
nEdges : Nwk_Grf_t_, Nwk_Vrt_t_, Sbl_Man_t_, Seg_Man_t_, traventry
nEdgesRemoved : Abc_RRMan_t_
nEdgesTried : Abc_RRMan_t_
nEdgeVars : Sle_Man_t_
nEfforts : Sfm_Dec_t_
Neg : Extra_UnateVar_t_
neg_lhs_ids : CaDiCaL::Gate
negate_both() : CaDiCaL::lit_equivalence
negative : CaDiCaL::Stats
negative_horn_satisfiable() : CaDiCaL::Internal
negbincount : closure
nEntries : Abc_Aig_t_, Aig_RMan_t_, Fraig_HashTableStruct_t_, Fxch_SCHashTable_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_
nEntriesCount : Ses_Store_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, Tab_Man_t_
nEqs : rrr::Optimizer< Ntk, Ana >::Stats
nEquals : Gia_ManAre_t_
nEquivs : Dch_Man_t_
nEquivsConstr : Ssw_Man_t_
nEquivsTotal : Ssw_Man_t_
nEstNodes : SC_Man_
nEvals : Lpk_Man_t_
new_and_gate() : CaDiCaL::Closure
new_clause() : CaDiCaL::Closure, CaDiCaL::Internal
new_clause_as() : CaDiCaL::Internal
new_driving_clause() : CaDiCaL::Internal
new_factor_clause() : CaDiCaL::Internal
new_hyper_binary_resolved_clause() : CaDiCaL::Internal
new_hyper_ternary_resolved_clause() : CaDiCaL::Internal
new_hyper_ternary_resolved_clause_and_watch() : CaDiCaL::Internal
new_ite_gate() : CaDiCaL::Closure
new_largecounts() : CaDiCaL::Closure
new_learned_redundant_clause() : CaDiCaL::Internal
new_max_var : CaDiCaL::Mapper
new_proof_on_demand() : CaDiCaL::Internal
new_quotient() : CaDiCaL::Internal
new_resolved_irredundant_clause() : CaDiCaL::Internal
new_tmp_clause() : CaDiCaL::Closure
new_trail_level() : CaDiCaL::Internal
new_unwatched_binary_clauses : CaDiCaL::Closure
new_vsize : CaDiCaL::Mapper
new_xor_gate() : CaDiCaL::Closure
newDecisionLevel() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
newest_clause : CaDiCaL::Internal
newVar() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
nExactConstraints : MinRegMan_t_
Next : _reo_unit, Amap_Item_t_, cube, Fxch_Obj_t_, Scl_Item_t_, Sfm_Fun_t_, Shr_Fan_t_, Tab_Ent_t_, Tab_Obj_t_, Tru_One_t_
next : Abc_FrameInitializer_t_, buflist, CaDiCaL::CheckerClause, CaDiCaL::Coveror, CaDiCaL::HashId, CaDiCaL::IdrupClause, CaDiCaL::LidrupClause, CaDiCaL::Link, CaDiCaL::LratCheckerClause, CaDiCaL::Quotient, CaDiCaL::Random, CaDiCaL::Sweeper, FM_cell, gz_state, hash_element, inflate_state, kink, links, quotient, Ses_TimesEntry_t_, Ses_TruthEntry_t_, set_family, st__table_entry, stmm_table_entry, sweeper, symbolic_label_struct, symbolic_list_struct, symbolic_struct
next_col : sm_col_struct, sm_element_struct
next_decision_variable() : CaDiCaL::Internal
next_decision_variable_on_queue() : CaDiCaL::Internal
next_decision_variable_with_best_score() : CaDiCaL::Internal
next_factor() : CaDiCaL::Internal
next_in : bz_stream, z_stream_s
next_out : bz_stream, z_stream_s
next_probe() : CaDiCaL::Internal
next_row : sm_element_struct, sm_row_struct
next_scheduled() : CaDiCaL::Internal
nExtDivs : Fxch_Man_t_
nextnon : saucy
nExtra : Bnd_Man_t_
nExtraAlloc : Rtm_Man_t_
nExtraCur : Rtm_Man_t_
nFailOuts : Bmc_AndPar_t_, Pdr_Par_t_, Saig_ParBmc_t_
nFails : Cbs2_Man_t_, Cbs3_Man_t_
nFailure : Dsd_Cache_t_
nFaninLevels : Abc_RRMan_t_
nFaninMax : Acb_Ntk_t_, 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_Cell2_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 : Acb_Par_t_, 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_MapLut_t_, Gia_ObjSat1_t_, If_DsdObj_t_, Ivy_Dec_t_, Kit_DsdObj_t_
nFansAlloc : Aig_Man_t_, Gia_Man_t_
nFastEdges : Jf_Par_t_
nFaster : Cec4_Man_t_, Cec5_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_
nFirstBlockRestart : xSAT_SolverOptions_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() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
nFreq : Ifd_Obj_t_
nFront : Fsim_Man_t_, Gia_Man_t_
nFrontMax : Lf_Man_t_
nFuncs : Abc_TtStore_t, Abc_TtStore_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_
nGateOffset : Ses_Man_t_
nGates : Cec4_Man_t_, Cec5_Man_t_, Map_SuperStruct_t_, Mio_LibraryStruct_t_, SC_Cell_, Ses_Man_t_, Super2_LibStruct_t_, Super_ManStruct_t_
nGatesAlloc : Super2_LibStruct_t_
nGateSize : If_Par_t_
nGatesMax : Super_ManStruct_t_
nGateVars : Ses_Man_t_
nGbc : NewBdd::Param, NewTt::Param, rrr::NewBdd::Param
nGenIters : Cec_ParFra_t_
nGiaObjMax : Au_Man_t_
nGlitches : Gli_Obj_t_
nGloVars : Int_Man_t_
nGood : Cut_CMan_t_
nGroups : Abc_TgMan_t_, Ssw_RarMan_t_, Str_Ntk_t_
nGrowthFactor : Nm_Man_t_
nGrowthLevel : Acb_Par_t_, Lpk_Par_t_, Mfs_Par_t_, Res_Par_t_, Sfm_Par_t_
nGVars : Abc_TgMan_t_, TiedGroup_
nHashHit : Ga2_Man_t_, Gia_Man_t_, Gia_ManBmc_t_
nHashMiss : Ga2_Man_t_, Gia_Man_t_, Gia_ManBmc_t_
nHashOver : Ga2_Man_t_
nHashWins : Sbl_Man_t_
nHintDepth : Gia_ParLlb_t_
nHoleInTheWall : Lms_Man_t_
nHops : Gia_ManTranStochParam
nHTable : Au_Ntk_t_
nice_length : config_s
nice_match : internal_state
nIdsMax : Cut_ParamsStruct_t_
nImplicationExecution : Cec_ParSimGen_t_
nImplicationSuccess : Cec_ParSimGen_t_
nImplicationSuccessChecks : Cec_ParSimGen_t_
nImplicationTotalChecks : Cec_ParSimGen_t_
nImplies : Fraig_ManStruct_t_
nImplies0 : Fraig_ManStruct_t_
nImplies1 : Fraig_ManStruct_t_
nImproved : Sbl_Man_t_
nImproves : Sfm_Ntk_t_
nIncReduce : xSAT_SolverOptions_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_, Prs_VerInfo_t_, Rtl_Ntk_t_, Saig_ManCba_t_, Saig_RefMan_t_, Sbm_Man_t_, Sec_MtrStatus_t_, Sim_Man_t_, Super2_LibStruct_t_, Sym_Man_t_, Tim_Box_t_, Ttopt::TruthTable
nIns : Abc_RData_t_, Aig_CMan_t_, Amap_Set_t_, Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_, LUT, Mop_Man_t_, Pla_Man_t_, Res6_Man_t_, Rewire::Miaig, Rewire::Miaig_Data, Tree_Sto_t_
nInserts : Extra_BitMat_t_
nInsLimit : sat_solver2_t, sat_solver3_t, sat_solver_t, xSAT_SolverOptions_t_
nInsLimitGlobal : Fra_Man_t_, Ivy_FraigMan_t_
nInsP : LUT
nInspects : Msat_SolverStats_t_, xSAT_Stats_t_
nInspLimit : Fraig_ManStruct_t_, Fraig_ParamsStruct_t_
nInternal : Bnd_Man_t_
nIntersAlloc : Int_Man_t_, Inta_Man_t_, Intb_Man_t_
nInUse : DState, EState
nInverters : Lf_Man_t_
nInvs : Nf_Man_t_, Pf_Man_t_
nInWords : Pla_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_, Wlc_Par_t_
nIterNoChange : SC_SizePars_
nIterOuts : Sbl_Man_t_
nIters : _reo_man, Abc_LutCas_t_, 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_, Supp_Man_t_, Wla_Man_t_
nItersMax : Cec2_Par_t_, Cec3_Par_t_, Cec_ParFra_t_, Prove_ParamsStruct_t_
nItersSat : Cec4_Man_t_, Cec5_Man_t_
nItersSim : Cec4_Man_t_, Cec5_Man_t_
nItersStop : Ssw_Pars_t_
nJobs : rrr::Parameter
nJscanLimit : CbsP_Par_t_
nJscanThis : CbsP_Par_t_
nJustLimit : Cbs0_Par_t_, Cbs2_Par_t_, Cbs3_Par_t_, Cbs_Par_t_, CbsP_Par_t_, Tas_Par_t_
nJustThis : Cbs0_Par_t_, Cbs2_Par_t_, Cbs3_Par_t_, Cbs_Par_t_, CbsP_Par_t_, Tas_Par_t_
nJustTotal : Cbs0_Par_t_, Cbs2_Par_t_, Cbs3_Par_t_, Cbs_Par_t_, CbsP_Par_t_, Tas_Par_t_
nKeepMax : Cut_ParamsStruct_t_
nLargeChunks : Extra_MmStep_t_, Mem_Step_t_
nLargeChunksAlloc : Extra_MmStep_t_, Mem_Step_t_
nLargeWins : Sbl_Man_t_
nLastGain : Abc_ManRef_t_, Abc_ManRes_t_
nLastLevel : Abc_TtHieMan_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_, MinRegMan_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_
nLBD : xSAT_Clause_t_
nLBDFrozenClause : xSAT_SolverOptions_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_solver3_t, sat_solver_t
nLearntLits : xSAT_Stats_t_
nLearntMax : sat_solver2_t, sat_solver3_t, sat_solver_t
nLearntRatio : sat_solver2_t, sat_solver3_t, sat_solver_t
nLearnts() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
nLearntStart : sat_solver2_t, sat_solver3_t, sat_solver_t
nLeaves : Abc_ManRes_t_, Bal_Cut_t_, Cut_CutStruct_t_, Dar_Cut_t_, Dec_Graph_t_, Fpga_CutStruct_t_, Gia_Cut_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_, Of_Cut_t_, Pf_Cut_t_, Pf_Obj_t_, Sbd_Cut_t_, Sdb_Cut_t_
nLeavesMax : Abc_ManRes_t_
nlen : inflate_state
nLevDivMax : Res_Win_t_
nLevelIncrease : Gia_Rsb2Man_t_
nLevelMax : Aig_Man_t_, Amap_Man_t_, Cec_ManS_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_
nLevelMin : Cec_ManS_t_
nLevelRoot : Msat_Solver_t_
nLevels : Clu_Man_t_, Cof_Man_t_, Gia_Man_t_, Odc_Man_t_, Sle_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 : Gia_ResbMan_t_, If_Cut_t_, Ivy_SuppMan_t_, Wlc_Par_t_
nLimitMax : Cec_ParCor_t_, Ssw_Pars_t_
nLineCounter : Extra_FileReader_t_, Ver_Stream_t_
nLines : Amap_Tree_t_, Map_SuperLibStruct_t_, Scl_Tree_t_
nLiterals : Cnf_Dat_t_
nLiteralsAfter : cinfo_tag
nLiteralsBefore : cinfo_tag
nLits : Dch_Cla_t_, Dch_Man_t_, Fx_Man_t_, Fxch_Man_t_, Kit_Sop_t_, Maj3_Man_t_, Min_Cube_t_, Pdr_Set_t_, Pr_Cls_t_, Rpo_Man_t_, Ssw_Cla_t_, Sto_Cls_t_, Tab_Man_t_, Tas_Cls_t_, Zyx_Man_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_
nLuckyGates : Sfm_Dec_t_
nLuckySizes : Sfm_Dec_t_
nLutDecSize : If_Par_t_
nLutK : Lpk_Fun_t_
nLutNum : Sbd_Par_t_
nLuts : Lpk_Cut_t_, Sbd_Man_t_, Sbd_Pro_t_
nLutSize : Abc_LutCas_t_, Abc_ManScl_t_, Acb_Par_t_, Bal_Man_t_, Bmc_AndPar_t_, Bmc_EsPar_t_, Clu_Man_t_, Exa3_Man_t_, If_Par_t_, Iff_Man_t_, Ifif_Par_t_, Jf_Par_t_, Lpk_Par_t_, Mpm_Man_t_, Sbd_Par_t_, Sbd_Srv_t_, Sbd_Sto_t_, Str_Man_t_, Str_Mux_t_
nLutSizeMax : Jf_Par_t_
nLutSizeMux : Jf_Par_t_
nLutsMax : Abc_LutCas_t_, Lpk_Par_t_
nLutsOver : Lpk_Par_t_
nLVars : Abc_BSEval_t_
nMajSupp : Bmc_EsPar_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_
nMaxDepth : Ses_Man_t_
nMaxDepthTmp : Ses_Man_t_
nMaxDistance : Nwk_LMPars_t_
nMaxDivs : Mfs_Man_t_, Sfm_Dec_t_, Sfm_Ntk_t_
nMaxFanout : Nwk_LMPars_t_
nMaxGates : Ses_Man_t_
nMaxImps : Fra_Par_t_, Fra_Ssw_t_
nMaxIter : Cec_ParSimGen_t_
nMaxIters : If_Man_t_, MinRegMan_t_
nMaxLevelDiff : Nwk_LMPars_t_
nMaxLevs : Fra_Par_t_, Fra_Ssw_t_, Ssw_Pars_t_
nMaxLutSize : Nwk_LMPars_t_
nMaxSuppSize : Nwk_LMPars_t_
nMaxWin : Sfm_Dec_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_BddMan_, 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
nMerged_impl : Bnd_Man_t_
nMerged_spec : Bnd_Man_t_
nMergeLimit : Cnf_Man_t_
nMffc : Abc_ManRes_t_, Gia_Rsb2Man_t_, Lpk_Man_t_, Sfm_Dec_t_
nMffcMax : Sfm_Par_t_
nMffcMin : Dar_RefPar_t_, Sfm_Par_t_
nMinDomSize : Cec_ParSeq_t_, Fra_Ssw_t_, Ssw_Pars_t_
nMinOutputs : Cec_ParSmf_t_
nMinSaved : Dar_RwrPar_t_
nMintNum : Bmc_EsPar_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_
nMultLimit : Wlc_BstPar_t_
nMuxes : Gia_Man_t_, Lpk_Man_t_
nMyu : If_Grp_t_
nNDisj : Wla_Man_t_
nNDnodes : Io_MvMan_t_
nNegative : Wlc_Prs_t_
nNets : If_Man_t_
nNewSize : Shr_Man_t_, Unm_Man_t_
nninduce : saucy
nNISwaps : _reo_man
nNode_impl : Bnd_Man_t_
nNode_patch : Bnd_Man_t_
nNode_patched : Bnd_Man_t_
nNode_spec : Bnd_Man_t_
nNodeAnds : Au_Ntk_t_
nNoDecs : Sfm_Dec_t_
nNodeCuts : Cut_ManStruct_t_
nNodeFanStop : Abc_ManCut_t_
nNodeMax : Abc_EnuMan_t_
nNodeMuxs : Au_Ntk_t_
nNodes : Abc_EnuMan_t_, Acb_Mfs_t_, Agi_Man_t_, Aig_CMan_t_, Aig_Dom_t_, Amap_Lib_t_, Au_Ntk_t_, Bbr_ImagePart_t_, Bdc_Man_t_, Bmc_EsPar_t_, Cof_Man_t_, Cov_Man_t_, Cut_ManStruct_t_, Dar_Lib_t_, Exa3_Man_t_, Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_, Exa_Man_t_, Extra_ImagePart_t_, Extra_SymmInfo_t_, Fpga_ManStruct_t_, Fsim_Man_t_, Gem_Obj_t_, Gia_Rsb2Man_t_, Kit_DsdNtk_t_, Lpk_Cut_t_, Maj3_Man_t_, Maj_Man_t_, Map_ManStruct_t_, MinRegMan_t_, Raig_Man_t_, Sec_MtrStatus_t_, Sfm_Ntk_t_, Tree_Sto_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_
nNodesAndOr : Sfm_Dec_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_
nNodesBuf : Sfm_Dec_t_
nNodesChanged : Sfm_Dec_t_
nNodesConsidered : Abc_ManRef_t_, Rwr_Man_t_, Rwt_Man_t_
nNodesConst0 : Sfm_Dec_t_
nNodesConst1 : Sfm_Dec_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_, Mfs_Man_t_, Rwr_Man_t_, Rwt_Man_t_
nNodesGainedLevel : Mfs_Man_t_
nNodesInit : Dar_Man_t_, Ref_Man_t_
nNodesInv : Sfm_Dec_t_
nNodeSizeMax : Abc_ManCut_t_, Abc_ManRef_t_
nNodesLimit : cloudManager
nNodesMax : Abc_ManScl_t_, Acb_Par_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_
nNodesResub : Mfs_Man_t_
nNodesResyn : Sfm_Dec_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_Dec_t_, Sfm_Ntk_t_
nNodesTriv0 : Csw_Man_t_
nNodesTriv1 : Csw_Man_t_
nNodesTriv2 : Csw_Man_t_
nNodeVars : Sle_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_
nNonZero : Wlc_Prs_t_
nNos : Faig_Man_t_
nNtks : Bac_Man_t_
nNumCuts : Mpm_Man_t_, Mpm_Par_t_
no_branching : stats_struct
no_conflict_until : CaDiCaL::Internal
no_sig : _CSAT_Target_ResultT
no_simplify : satoko_opts
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_
nObjRemoved : Sfm_Lib_t_
nObjs : Abc_BddMan_, Abc_IffMan_t_, Abc_Ntk_t_, Abc_ZddMan_, Acb_Man_t_, Agi_Man_t_, Aig_Man_t_, Amap_Man_t_, Au_Ntk_t_, Cba_Man_t_, Cof_Man_t_, Dar_Lib_t_, Dua_Dsd_t_, Emb_Man_t_, Exa3_Man_t_, Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_, Exa_Man_t_, Faig_Man_t_, Frc_Man_t_, Fsim_Man_t_, Gem_Man_t_, Gia_Iso2Man_t_, Gia_IsoMan_t_, Gia_Man_t_, Gia_ManAre_t_, Gia_Rsb2Man_t_, Gla_Man_t_, Gli_Man_t_, Hop_Man_t_, If_Man_t_, Ifd_Man_t_, Ifn_Ntk_t_, Iso_Man_t_, Iso_Sto_t_, Ivy_Man_t_, Ivy_SuppMan_t_, Maj3_Man_t_, Maj_Man_t_, Mig_Man_t_, Nwk_Grf_t_, Nwk_Man_t_, Odc_Man_t_, Raig_Man_t_, Rewire::Miaig, Rewire::Miaig_Data, Rf2_Man_t_, Rnm_Man_t_, Saig_Bmc_t_, Saig_MvMan_t_, SC_Man_, SC_Time_, Sfm_Lib_t_, Sfm_Ntk_t_, Ssw_Frm_t_, Str_Ntk_t_, Unr_Man_t_, Vta_Man_t_, Wlc_Ntk_t_, Wln_Ntk_t_, Zyx_Man_t_
nObjsAlloc : Abc_BddMan_, Abc_ZddMan_, Au_Ntk_t_, Gem_Man_t_, Gia_Man_t_, Ifd_Man_t_, Odc_Man_t_, Rewire::Miaig, Rewire::Miaig_Data, Rf2_Man_t_, Rnm_Man_t_, Saig_MvMan_t_, Sfm_Lib_t_, Str_Ntk_t_, Vta_Man_t_, Wlc_Ntk_t_
nObjsAllocLog : NewBdd::Param, NewTt::Param, rrr::NewBdd::Param
nObjsFrame : Rf2_Man_t_, Rnm_Man_t_
nObjSkipped : Sfm_Lib_t_
nObjsMaxLog : NewBdd::Param, NewTt::Param, rrr::NewBdd::Param
nObjsPrev : If_DsdMan_t_
nObjStart : Buf_Man_t_
nObjsUsed : Au_Ntk_t_
nObjTravs : Acb_Ntk_t_
nObligs : Pdr_Man_t_
noccs() : CaDiCaL::Internal
nOdcMax : Cgt_Par_t_
Node : Dec_Edge_t_, Kit_Edge_t_
nodelist : avl_generator_struct
Nodes : Ifn_Ntk_t_
nodes : eSLIM::Subcircuit, saucy_stats, stats_struct
nof_analyzed_circuits_per_size : eSLIM::eSLIMLog
nof_inputs : eSLIM::Subcircuit
nof_learnts : sat_solver2_t
nof_reduced_circuits_per_size : eSLIM::eSLIMLog
nof_replaced_circuits_per_size : eSLIM::eSLIMLog
nof_sat_calls_per_size : eSLIM::eSLIMLog
nof_unsat_calls_per_size : eSLIM::eSLIMLog
nOffset : Gia_ObjSat1_t_
nog : ABC_ManagerStruct_t
nOldFrPis : Bmcg_Man_t_
nOldFrPos : Bmcg_Man_t_
nonces : CaDiCaL::Closure, CaDiCaL::Hash, closure
nOneHots : Clu_Man_t_
nOneHotsProven : Clu_Man_t_
nOnes : Aig_VSig_t_, Fraig_NodeStruct_t_, MvcCubeStruct
nOpens : Acb_Man_t_, Cba_Man_t_, Prs_Man_t_
nOptimizerFlow : rrr::Parameter
nOptimizerVerbose : rrr::Parameter
nOrderAlloc : Aig_Man_t_
normal() : CaDiCaL::Terminal
normal_code() : CaDiCaL::Terminal
normalize_ite_lits_gate() : CaDiCaL::Closure
Notches : SC_SizePars_
notified : CaDiCaL::Internal
notify_assignment() : CaDiCaL::ExternalPropagator
notify_assignments() : CaDiCaL::Internal
notify_backtrack() : CaDiCaL::ExternalPropagator, CaDiCaL::Internal
notify_decision() : CaDiCaL::Internal
notify_fixed_assignment() : CaDiCaL::FixedAssignmentListener
notify_new_decision_level() : CaDiCaL::ExternalPropagator
nounted : CaDiCaL::Factoring, factoring
nOutputOffset : Ses_Man_t_
nOutputRange : Wlc_BstPar_t_
nOutputs : Fpga_ManStruct_t_, Map_ManStruct_t_, Rtl_Ntk_t_, Sec_MtrStatus_t_, Sim_Man_t_, Sym_Man_t_, Tim_Box_t_, Ttopt::TruthTable
nOutputVars : Ses_Man_t_
nOuts : Abc_RData_t_, Aig_CMan_t_, Cec_ManSim_t_, Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_, Mop_Man_t_, Part_One_t_, Pla_Man_t_, Res6_Man_t_, Rewire::Miaig, Rewire::Miaig_Data, Supp_One_t_, Tree_Sto_t_
nOutsAlloc : Part_One_t_, Supp_One_t_
nOutWords : Pla_Man_t_
nOvers : Acb_Mfs_t_
nOverSize : Fra_Ssw_t_, Ssw_Pars_t_
now : CaDiCaL::Stats, Gluco2::Solver::NodeData
NP1 : Dtt_FunImpl_t_
NP2 : Dtt_FunImpl_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_, Fxch_Man_t_
nPairsEnd : Ivy_FraigMan_t_
nPairsMax : FxuDataStruct
nPairsNonSymm : Sym_Man_t_
nPairsRem : Sym_Man_t_
nPairsS : Fx_Man_t_, Fxch_Man_t_
nPairsSymm : Sym_Man_t_
nPairsSymmStr : Sym_Man_t_
nPairsTotal : Sym_Man_t_
nParallelPartitions : rrr::Parameter
nPars : Ifn_Ntk_t_, Qbf_Man_t_, Sbd_Pro_t_
nParsVIni : Ifn_Ntk_t_
nParsVNum : Ifn_Ntk_t_
nPartitionerVerbose : rrr::Parameter
nPartitionSize : rrr::Parameter
nPartitionSizeMin : rrr::Parameter
nPartitionType : rrr::Parameter
nParts : Bbr_ImageVar_t_, Extra_ImageVar_t_, Opa_Man_t_
nPartSize : Cec_ParCor_t_, Fra_Ssw_t_, Ssw_Pars_t_
nPartValue : Gia_ParLlb_t_
nPaths : Acb_Ntk_t_
nPatLits : Cec_ManPat_t_
nPatLitsAll : Cec_ManPat_t_
nPatLitsMin : Cec_ManPat_t_
nPatLitsMinAll : Cec_ManPat_t_
nPatRepeat : Aig_ManPack_t_
nPats : Abc_RData_t_, Cec_ManPat_t_, Res6_Man_t_, Res_Sim_t_, Sfm_Dec_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 : Cec2_Man_t_, Cec3_Man_t_, Cec4_Man_t_, Cec5_Man_t_, 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_, Sfm_Dec_t_, Ssw_Man_t_
nPdrCalls : Ga2_Man_t_
nPdrTimeout : Fra_Sec_t_
nPercCutoff : Odc_Man_t_
nPerms : Dtt_Man_t_
nPermSize : Abc_ZddMan_
nPermWords : If_Man_t_
nPhases : Map_ManStruct_t_, Map_SuperStruct_t_
nPiLits : Txs3_Man_t_
nPins : Amap_Gat_t_
nPis : Abc_Cex_t_, Faig_Man_t_, Fsim_Man_t_, Gia_Rsb2Man_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
nPO : Cec_ParFra_t_
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_, Gia_Rsb2Man_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_
nPreRefine : MinRegMan_t_
nPrioShift : Pdr_Man_t_
nProcNum : Jf_Par_t_
nProcNumMax : Jf_Par_t_
nProcs : Bmc_AndPar_t_, Cec_ParCor_t_, Ssw_Pars_t_
nProofIds : Ga2_Man_t_, Gla_Man_t_
nPropagations : Msat_SolverStats_t_, xSAT_Stats_t_
nPropCalls : Cbs2_Man_t_, Cbs3_Man_t_
nPropLimit : CbsP_Par_t_
nPropSimplify : xSAT_Solver_t_
nPropThis : CbsP_Par_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_
nRandFuncs : Bmc_EsPar_t_
nRandomSeed : Pdr_Par_t_
nRandPiFactor : Gia_ParSwi_t_
nRandPiNum : Fsim_ParSwitch_t_
nRandRowAssigns : Ses_Man_t_
nRands : Maj_Man_t_
nRandSeed : Ssw_RarPars_t_
nRatio : Gia_ParAbs_t_
nRatioMax : Abs_Par_t_
nRatioMin : Abs_Par_t_
nRatioMin2 : Abs_Par_t_
nRC1 : xSAT_Solver_t_
nRC2 : xSAT_Solver_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 : Cec4_Man_t_, Cec5_Man_t_, Cec_ManSat_t_, Cgt_Man_t_, Dch_Man_t_, Ssc_Man_t_, Ssw_Man_t_
nRecyclesTotal : Ssw_Man_t_
nReduceDB : xSAT_Stats_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_, Hash_IntMan_t_, Hop_Obj_t_, If_Obj_t_, Ivy_Obj_t_, Ivy_Supp_t_, Kit_DsdObj_t_, Map_NodeStruct_t_, Of_Obj_t_, Part_One_t_, Pdr_Obl_t_, Pdr_Set_t_, Pf_Obj_t_, Supp_One_t_
nRegs : Abc_Cex_t_, Acb_Ntk_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_, Mini_Lut_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_
nReo : NewBdd::Param, NewTt::Param, rrr::NewBdd::Param
nReprs : Dch_Man_t_
nReprsAlloc : Aig_Man_t_
nReqTimeFlex : Jf_Par_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 : Gia_ManTranStochParam, sat_solver3_t, sat_solver_t
nRestLimit : Cbs3_Par_t_, Pdr_Par_t_
nResubs : Mfs_Man_t_, Sfm_Ntk_t_
nReverse : Wlc_Prs_t_
nRewritingLimitMulti : Prove_ParamsStruct_t_
nRewritingLimitStart : Prove_ParamsStruct_t_
nRoots : Dsd_Manager_t_, Pr_Man_t_, sat_solver3_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_, Supp_Man_t_
nRoundsEla : Jf_Par_t_
nRows : Llb_Mtr_t_, Ses_Man_t_
nrows : sm_matrix_struct
nRscanLimit : CbsP_Par_t_
nRscanThis : CbsP_Par_t_
nRUndefs : Saig_MvMan_t_
nRuns : Sbl_Man_t_
nruns : eSLIM_ParamStruct_
nRuntimeLimit : Gluco2::Solver, Gluco::Solver, sat_solver2_t, sat_solver3_t, sat_solver_t, solver_t_, xSAT_SolverOptions_t_
nRValues : Saig_MvMan_t_
nSat : CbsP_Par_t_, Sec_MtrStatus_t_
nSatCalls : Dch_Man_t_, Fra_Man_t_, Fraig_ManStruct_t_, Ivy_FraigMan_t_, Mfs_Man_t_, Ses_Man_t_, Ses_Store_t_, Sfm_Dec_t_, Sfm_Ntk_t_, Sle_Man_t_, Ssc_Man_t_, Ssw_Man_t_, Swp_Man_t_
nSatCallsImp : Fraig_ManStruct_t_
nSatCallsOver : Sfm_Dec_t_
nSatCallsRecent : Fra_Man_t_
nSatCallsSat : Dch_Man_t_, Fra_Man_t_, Ivy_FraigMan_t_, Sfm_Dec_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_, Sfm_Dec_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_, 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_ManSat_t_, Gia_Man2Min_t_, Tas_Man_t_
nSatSolverVerbose : rrr::Parameter
nSatSupps : Fraig_ManStruct_t_
nSatTotal : Cbs0_Man_t_, Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_Man_t_, Cec_ManSat_t_, Tas_Man_t_
nSatUndec : 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_ManSat_t_, Tas_Man_t_
nSatUnsat : 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_ManSat_t_, Gia_Man2Min_t_, Tas_Man_t_
nSatVarMax : Cec_ParFra_t_, Cec_ParSat_t_, Dch_Pars_t_, Hcd_Pars_t_, Ssc_Pars_t_, Ssw_Pars_t_
nSatVarMax2 : Ssw_Pars_t_
nSatVars : Bmc_Mna_t_, Bmcg_Man_t_, Bmcs_Man_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_
nSatVarsOld : Bmcs_Man_t_
nSatVarsPivot : Ssc_Man_t_
nSatVarsTestBeg : Cla_Man_t_
nSatVarsTestCur : Cla_Man_t_
nSatZeros : Fraig_ManStruct_t_
nSchedulerFlow : rrr::Parameter
nSchedulerVerbose : rrr::Parameter
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_
nSeed : Gia_ManTranStochParam
nSeedBase : Gia_ManTranStochParam
nSeenAll : Vta_Man_t_
nSeenGla : Vta_Man_t_
nSeenId : Msat_Solver_t_
nselection_trials : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
nSelectOffset : Ses_Man_t_
nSelectVars : Ses_Man_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_
nSimOffset : Ses_Man_t_
nSimple : LUT
nSimplifies0 : Fraig_ManStruct_t_
nSimplifies1 : Fraig_ManStruct_t_
nSimRounds : Cec2_Par_t_, Cec3_Par_t_, Fra_Man_t_, Fra_Sml_t_, Ivy_FraigMan_t_, Ssc_Man_t_, Ssw_Man_t_, Ssw_Sml_t_
nSims : Gia_Man2Min_t_
nSimsEmpty : Odc_Man_t_
nSimulates : Cec4_Man_t_, Cec5_Man_t_
nSimulatorVerbose : rrr::Parameter
nSimVars : Ses_Man_t_
nSimWords : Abc_RData_t_, Cec2_Par_t_, Cec3_Par_t_, Cec_ParSimGen_t_, Clu_Man_t_, Fra_Par_t_, Gia_Man_t_, Ivy_FraigMan_t_, Ivy_FraigParams_t_, Res_Par_t_, Sim_Man_t_, Sym_Man_t_
nSimWordsMax : Gia_Man_t_
nSimWordsPref : Clu_Man_t_
nSimWordsT : Gia_Man_t_
nsinduce : saucy
nSingleMax : FxuDataStruct
nSingles : Gia_IsoMan_t_, Iso_Man_t_
nSingleTotal : FxuMatrix
nSize : Cbs0_Que_t_, Cbs2_Que_t_, Cbs3_Que_t_, Cbs_Que_t_, CbsP_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_, Mini_Lut_t_, Msat_Clause_t_, Msat_ClauseVec_t_, Msat_IntVec_t_, Ndr_Data_t_, Sbd_Pro_t_, Tas_Que_t_, Tas_Sto_t_, Ttopt::TruthTable, 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_, Wln_Vec_t_, xSAT_BQueue_t_, xSAT_Clause_t_, xSAT_Mem_t_, xSAT_VecWatchList_t_, xSAT_WatchList_t_
nSizeAlloc : Fra_Man_t_, Msat_Clause_t_
nSizeFactor : Nm_Man_t_
nSizeLBDQueue : xSAT_SolverOptions_t_
nSizeMax : Ivy_Cut_t_, Llb_Mgr_t_
nSizeNonDec : Dau_Dsd_t_
nSizeOutputID : Fxch_Man_t_
nSizeTrailQueue : xSAT_SolverOptions_t_
nSkip : Ssw_Pars_t_
nSkipLimit : Ssw_Pars_t_
nSkipMark : Gluco2::Solver
nSkipped : Cec_ManS_t_
nSlowLeaves : Sbd_Cut_t_
nSmallSupp : If_Man_t_, Mpm_Man_t_
nSmallWins : Sbl_Man_t_
nSMnumber : Fra_Sec_t_
nSols : Emb_Par_t_
nSolved : Ssw_RarPars_t_
nSolverCalls : Ssw_Sat_t_
nSortType : rrr::Parameter
nSpecFunc : Ses_Man_t_
nSpecialIncReduce : xSAT_SolverOptions_t_
nSpeculs : Fra_Man_t_
nSpecVars : Ses_Man_t_
nSpecWords : Ses_Man_t_
nsplits : saucy
nSRMiterMaxId : Ssw_Man_t_
nStableMax : Gia_ParAbs_t_
nStamp : xSAT_Solver_t_
nStaPages : Gia_ManAre_t_
nStart : Aig_Gla2Man_t_, Aig_Gla3Man_t_, Bmc_AndPar_t_, Saig_ParBmc_t_
nStartCols : Abc_ShaMan_t_
nStartGates : Ses_Man_t_
nStarts : Msat_SolverStats_t_, Pdr_Man_t_, xSAT_Stats_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_
nSum : xSAT_BQueue_t_
nSumLBD : xSAT_Solver_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_, Gia_Man2Min_t_
nSuppSize : Amap_Nod_t_
nSuppSizeL : Lpk_Res_t_
nSuppSizeS : Lpk_Res_t_
nSuppsMax : Cov_Man_t_
nSuppVars : Sfm_Dec_t_
nSuppWords : Fraig_ManStruct_t_, Gia_Man_t_, Sim_Man_t_
nSwaps : _reo_man
nSwitches : Gli_Obj_t_
nSymGroups : Cut_CMan_t_
nSymGroupsE : Cut_CMan_t_
nSymms : Extra_SymmInfo_t_
nSynthesizedImp : Ses_Store_t_
nSynthesizedRL : Ses_Store_t_
nSynthesizedTrivial : Ses_Store_t_
ntab : CaDiCaL::Internal
nTable : Ga2_Man_t_, Tab_Man_t_
nTableEntries : If_Man_t_
nTableLookups : Tru_Man_t_
nTableSize : _reo_man, Aig_Man_t_, Bdc_Man_t_, Cec4_Man_t_, Cec5_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_
nTfiLevMax : Acb_Par_t_, Sfm_Par_t_
nTfoFanMax : Sbd_Par_t_
nTfoLevels : Sbd_Par_t_
nTfoLevMax : Acb_Par_t_, Sfm_Par_t_
nThreads : rrr::Parameter
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_
nTimeout : rrr::Parameter
nTimeOutGap : Pdr_Par_t_, Saig_ParBmc_t_
nTimeOutOne : Pdr_Par_t_, Saig_ParBmc_t_
nTimeOuts : Mfs_Man_t_, Sfm_Dec_t_, Sfm_Ntk_t_
nTimeOutsLevel : Mfs_Man_t_
nTimeWin : Sfm_Par_t_
ntkFunc : Abc_Ntk_t_
ntkType : Abc_Ntk_t_
nTNodesSize : Saig_MvMan_t_
nTopLeaves : Sbd_Cut_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_
nTotalCla : Wla_Man_t_
nTotalDcs : Odc_Man_t_
nTotalDivs : Abc_ManRes_t_, Mfs_Man_t_, Sfm_Ntk_t_
nTotalEdgesBeg : Mfs_Man_t_, Sfm_Dec_t_, Sfm_Ntk_t_
nTotalEdgesEnd : Mfs_Man_t_, Sfm_Dec_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_Dec_t_, Sfm_Ntk_t_
nTotalNodesEnd : Mfs_Man_t_, Sfm_Dec_t_, Sfm_Ntk_t_
nTotalSize : Ttopt::TruthTable
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_
nTransistor : Rewire::Miaig_Data
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_, Rewire::Miaig, Rewire::Miaig_Data, Rwr_Man_t_, Rwt_Man_t_, Sfm_Ntk_t_, Tim_Man_t_, Wlc_Ntk_t_, Wln_Ntk_t_
nTravIds2 : Fraig_ManStruct_t_, Sfm_Ntk_t_
nTravIdsAlloc : Gia_Man_t_
nTreeLeaves : Gia_Cut_t_, Sbd_Cut_t_, Sdb_Cut_t_
nTrees : Str_Ntk_t_
nTried : Lms_Man_t_, rrr::Optimizer< Ntk, Ana >::Stats, Sbd_Man_t_, Sbl_Man_t_, Super2_ManStruct_t_, Super_ManStruct_t_
nTriedFis : rrr::Optimizer< Ntk, Ana >::Stats
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_
nTryImproves : Sfm_Ntk_t_
nTryRemoves : Mfs_Man_t_, Sfm_Ntk_t_
nTryResubs : Mfs_Man_t_, Sfm_Ntk_t_
nTStatesSize : Saig_MvMan_t_
nTtBits : If_DsdMan_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_
nTwoNodes : Acb_Mfs_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_assigned : CaDiCaL::Internal
num_binary_vars : cube_struct
num_bins : st__table, stmm_table
num_bits() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
num_blocks() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
num_cells : qps_problem
num_cftg : _CSAT_Target_ResultT
num_cfts : _CSAT_Target_ResultT
num_dec : _CSAT_Target_ResultT
num_edges : acd::ac_decomposition_stats
num_entries : avl_tree_struct, st__table, stmm_table
num_imp : _CSAT_Target_ResultT
num_levels : acd::ac_decomposition_stats
num_luts : acd::ac_decomposition_stats
num_mv_vars : cube_struct
num_vars : cube_struct, kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
NumA : Fpga_NodeStruct_t_
numAnds : Bdc_Man_t_
Number : Saig_SimObj_t_, Super_GateStruct_t_
number_from_xor_reason() : CaDiCaL::Closure
number_from_xor_reason_reversed() : CaDiCaL::Closure
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 : CbsP_Par_t_, Sec_MtrStatus_t_
nUndefCalls : Ses_Man_t_, Ses_Store_t_
nundiffs : saucy
nUniProps : Gia_ManBmc_t_
nUnique : Super_ManStruct_t_
nUniqueHits : cloudManager, If_DsdMan_t_
nUniqueMask : Abc_BddMan_, Abc_ZddMan_
nUniqueMisses : cloudManager, If_DsdMan_t_
nUniques : Gia_Iso2Man_t_, Gia_IsoMan_t_, Ssw_Man_t_
nUniquesAdded : Ssw_Man_t_
nUniqueSizeLog : NewBdd::Param, rrr::NewBdd::Param
nUniqueSteps : cloudManager
nUniquesUseful : Ssw_Man_t_
nUniqueVars : Aig_RMan_t_
nUnits : sat_solver2_t
nUnitsUsed : _reo_man
nUnsat : CbsP_Par_t_, Sec_MtrStatus_t_
nUnsatCalls : Ses_Man_t_, Ses_Store_t_
nUnsynthesizedImp : Ses_Store_t_
nUnsynthesizedRL : Ses_Store_t_
nUnused : MvcCoverStruct, MvcCubeStruct
nUps : rrr::Optimizer< Ntk, Ana >::Stats
nUsed : Cut_Cell_t_, Exa3_Man_t_, Map_SuperStruct_t_, Pln_Man_t_, Sbd_Man_t_, Zyx_Man_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_
nValidEntriesCount : Ses_Store_t_
nValues : Io_MvVar_t_
nValuesMax : Saig_MvMan_t_
nVarActInc : xSAT_Solver_t_
nVarCounts : Cut_CMan_t_
nVarFuncs : Aig_RMan_t_
nVarIns : Sbd_Str_t_
nVarMax : Sfm_Par_t_
nVars : Abc_BddMan_, Abc_BSEval_t_, Abc_EnuMan_t_, Abc_TgMan_t_, Abc_TtStore_t, Abc_TtStore_t_, Abc_ZddMan_, Aig_RMan_t_, Aig_Tru_t_, Bdc_Man_t_, Bmc_EsPar_t_, cadical_solver_, Cbs3_Man_t_, cloudManager, Cnf_Dat_t_, Cut_Cell_t_, Dss_Man_t_, Dss_Ntk_t_, Dtt_Man_t_, Dua_Dsd_t_, Eso_Man_t_, Exa3_Man_t_, Exa_Man_t_, Extra_SymmInfo_t_, Extra_UnateInfo_t_, Fx_Man_t_, Fxch_Man_t_, Gem_Man_t_, Gem_Obj_t_, Gluco2::Solver, Gluco::Solver, If_DsdMan_t_, If_Grp_t_, Ifn_Ntk_t_, Inter_Check_t_, kissat_solver_, Kit_DsdMan_t_, Kit_DsdNtk_t_, Llb_Mgr_t_, Lms_Man_t_, Lpk_Fun_t_, Maj3_Man_t_, Maj_Man_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_, Sbd_Pro_t_, Sbl_Man_t_, Sdm_Dsd_t_, Seg_Man_t_, Ses_TruthEntry_t_, Sfm_Lib_t_, Sto_Man_t_, Tab_Man_t_, Tru_Man_t_
nVarsAB : Int_Man_t_, Pr_Man_t_
nVarsAlloc : Cbs3_Man_t_, 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 : cinfo_tag, 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 : cinfo_tag, Kit_ManDec_t_
nVarsShared : Lpk_Par_t_
nVarsTotal : Sle_Man_t_
nVarsUsed : Dau_Dsd_t_
nVarUsed : sat_solver3_t, sat_solver_t
nVerbLimit : Jf_Par_t_
nVerbose : Gia_ManTranStochParam, NewBdd::Param, NewTt::Param, rrr::NewBdd::Param
nVerts : Nwk_Grf_t_
nVertsMax : Nwk_Grf_t_
nVisCounter : Ssw_Man_t_
nVisited : Cec_ManS_t_, 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_
nWasted : xSAT_Mem_t_
nWeightLimit : FxuMatrix
nWidthBeg : _reo_man
nWidthCur : _reo_man
nWidthEnd : _reo_man
nWindow : Res_Par_t_
nWinMax : Mfs_Par_t_
nWinNodeMax : Acb_Par_t_
nWinNodes : Res_Man_t_
nWins : Acb_Mfs_t_, Odc_Man_t_, Res_Man_t_
nWinsAll : Acb_Mfs_t_
nWinsEmpty : Odc_Man_t_
nWinsFinish : Odc_Man_t_
nWinSizeMax : Sbd_Par_t_, 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_TtHieMan_t_, Abc_TtStore_t, Abc_TtStore_t_, Aig_Tsi_t_, Bbl_Fnc_t_, Bdc_Man_t_, Cec_ManS_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_, Exa3_Man_t_, Exa_Man_t_, Extra_BitMat_t_, Faig_Man_t_, Fsim_Man_t_, Fsim_ParSim_t_, Fsim_ParSwitch_t_, Gem_Man_t_, Gia_ChMan_t_, Gia_ManAre_t_, Gia_ManSim_t_, Gia_ManSwi_t_, Gia_ParSim_t_, Gia_ParSwi_t_, Gia_ResbMan_t_, Gia_RsbMan_t_, Gia_Sim2_t_, Gia_SimAbsMan_t_, Gia_SimRsbMan_t_, Hcd_Pars_t_, If_DsdMan_t_, Ifn_Ntk_t_, Int_Man_t_, Kit_DsdMan_t_, Lms_Man_t_, Maj3_Man_t_, Maj_Man_t_, Mfs_Man_t_, Min_Cube_t_, Min_Man_t_, MvcCoverStruct, Odc_Man_t_, Prf_Man_t_, Raig_Man_t_, Res6_Man_t_, Res_Sim_t_, Rewire::Miaig, Rewire::Miaig_Data, Rpo_TtStore_t_, rrr::Parameter, Saig_Tsim_t_, Sbd_Par_t_, Sfm_Lib_t_, Ssc_Pars_t_, Ssw_RarMan_t_, Ssw_RarPars_t_, Supp_Man_t_, Tru_Man_t_, Vta_Man_t_, Zyx_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 : cinfo_tag, Mop_Man_t_, Res_Sim_t_
nWordsMax : Gia_ManSup_t_, Kit_ManDec_t_
nWordsOld : Cec_ManSim_t_
nWordsOut : cinfo_tag, Kit_ManDec_t_, Mop_Man_t_, Res_Sim_t_
nWordsPref : Fra_Sml_t_, Ssw_Sml_t_
nWordsRand : Fraig_ManStruct_t_
nWordsReg : Ssw_RarMan_t_
nWordsSim : Gia_ManEra_t_
nWordsT : Gia_RsbMan_t_
nWordsTable : Gia_SimAbsMan_t_
nWordsTotal : Fra_Sml_t_, Ssw_Sml_t_
nXors : Gia_Man_t_
nXsimLits : Pdr_Man_t_
nXsimRuns : Pdr_Man_t_