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

- v -

v : cloudNode, Kit_Mux_t_, reluctant
vAbcObjIds : Abc_Frame_t_
vAbs : Ga2_Man_t_, Gla_Man_t_
vAbsFlops : Pdr_Man_t_
vActive : Gia_RsbMan_t_
vActiveVars : Tas_Man_t_
vActivity : Cbs2_Man_t_, xSAT_Heap_t_, xSAT_Solver_t_
vActs : Cbs3_Man_t_
vActStore : Cbs2_Man_t_
vActVars : Pdr_Man_t_
vAddedCells : Abc_Aig_t_
vAddedNew : Gla_Man_t_, Vta_Man_t_
vAdds : Acec_Box_t_
vAdjacents : Fraig_ManStruct_t_, Msat_Solver_t_
vAffected : Gli_Man_t_
vAig2Frm : Saig_Bmc_t_, Ssw_Frm_t_
val() : CaDiCaL::Internal, CaDiCaL::NameVal, CaDiCaL::Option, CaDiCaL::Options, CaDiCaL::Solver, code, varinfo_t
vals : CaDiCaL::External, CaDiCaL::Internal
Value : Au_Obj_t_, Cof_Obj_t_, Dar_Cut_t_, Emb_Obj_t_, Fpga_NodeStruct_t_, Gia_Obj_t_, Mio_GateStruct_t_, Rf2_Obj_t_, Rfn_Obj_t_, Rnm_Obj_t_, Saig_MvObj_t_, Vta_Obj_t_
value : avl_node_struct, CaDiCaL::EMA, EpTypeUnion, Gluco2::DoubleOption, Gluco2::Int64Option, Gluco2::IntOption, Gluco2::Solver, Gluco::DoubleOption, Gluco::Int64Option, Gluco::IntOption, Gluco::Solver, Minisat::DoubleOption, Minisat::IntOption, Minisat::Solver, opt, pla_types_struct, smooth
Value1 : Sfm_Mit_t_
Value2 : Sfm_Mit_t_
Value3 : Sfm_Mit_t_
Value4 : Sfm_Mit_t_
Values : Ifn_Ntk_t_
values : _CSAT_Target_ResultT, cadical_kitten, kissat, kitten
vAndGate : If_Man_t_
vAndLits : Inter_Check_t_
vAnds : Fpga_ManStruct_t_, Gia_ManFra_t_, If_Man_t_, Sbl_Man_t_, Spl_Man_t_
vAntClas : Intp_Man_t_
Var : Abc_ZddObj_, Ifn_Obj_t_, NewBdd::Man, rrr::NewBdd::Man
var() : CaDiCaL::Internal
var1 : pair_struct
var2 : pair_struct
Var2CRef() : Gluco2::Solver
var2Fanout0 : Gluco2::Solver
var2FanoutN : Gluco2::Solver
var2NodeData : Gluco2::Solver
var2TravId : Gluco2::Solver
var_act_inc : solver_t_
var_act_limit : satoko_opts
var_act_rescale : satoko_opts
var_decay : Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver3_t, sat_solver_t, satoko_opts
var_inc : Cbs3_Man_t_, Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver2_t, sat_solver3_t, sat_solver_t
var_inc2 : sat_solver2_t, sat_solver3_t, sat_solver_t
var_mask : cube_struct
var_order : solver_t_
var_zeros : cdata_struct
VarA : Tab_Ent_t_, Tab_Obj_t_
varActivity() : Gluco2::Solver
VarActType : sat_solver3_t, sat_solver_t
VarB : Tab_Ent_t_, Tab_Obj_t_
varBumpActivity() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
vardata : Gluco2::Solver, Gluco::Solver, Minisat::Solver
VarDecay : Tas_Par_t_
varDecayActivity() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
vAreaFrom : SC_WireLoadSel_
vAreas : Lms_Man_t_, Mpm_Man_t_
vAreaTo : SC_WireLoadSel_
vArgs : Ifd_Man_t_
Variable : Lpk_Res_t_
variable : symbolic_list_struct
variables : limits
variables_extension : CaDiCaL::Stats
variables_original : CaDiCaL::Stats
VarInc : Tas_Par_t_
VarIns : Sbd_Str_t_
VarMarks : Exa3_Man_t_, Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_, Exa_Man_t_, Maj3_Man_t_, Maj_Man_t_
varN : permInfo, swapInfo
VarOfBvar() : NewBdd::Man, rrr::NewBdd::Man
VarOrderLt() : Gluco2::Solver::VarOrderLt, Gluco::Solver::VarOrderLt, Minisat::Solver::VarOrderLt
varPolarity() : Gluco2::Solver
vArr : Buf_Man_t_, Jf_Man_t_
vArray : Bac_Ntk_t_, If_Man_t_
vArray0 : Acb_Ntk_t_, Cba_Ntk_t_
vArray1 : Acb_Ntk_t_, Cba_Ntk_t_
vArray2 : Acb_Ntk_t_, Bac_Ntk_t_
vArrs : Abc_ManTime_t_, Sbl_Man_t_, Sbm_Man_t_
vars : CaDiCaL::ClauseCounter, CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver, CaDiCaL::Stats, CaDiCaL::Sweeper, cadical_kitten, cloudManager, heap, kissat, kitten, sweeper
vars_active : cdata_struct
vars_unate : cdata_struct
vArsts : Wlc_Ntk_t_
VarVals : Exa3_Man_t_, Exa_Man_t_, Maj_Man_t_
vAssign : Cbs2_Man_t_, Cbs3_Man_t_, Int2_Man_t_
vAssigned : Aig_Gla1Man_t_
vAssigns : xSAT_Solver_t_
vAssLits : Inter_Check_t_
vAssump : Sbl_Man_t_, Sbm_Man_t_, Ses_Man_t_
vAssumps : Gia_ManAre_t_
vAssumptions : cadical_solver_
vAttrs : Abc_Ntk_t_, Rtl_Ntk_t_
vAttrSto : Acb_Ntk_t_, Cba_Ntk_t_
vAttrTemp : Rtl_Lib_t_
vBackup : Nf_Man_t_
vBarBufs : Gia_Man_t_
vBddDir : Lpk_Man_t_
vBddInv : Lpk_Man_t_
vBestFans : SC_Man_
vBI : Bnd_Man_t_
vBinateVars : Gia_ResbMan_t_
vBinWatches : xSAT_Solver_t_
vBits : Wlc_Ntk_t_, Wln_Ntk_t_
vBitTemp : Rtl_Ntk_t_
vBitTemp2 : Rtl_Ntk_t_
vBlacks : Wla_Man_t_
vBmiter2Impl : Bnd_Man_t_
vBmiter2Spec : Bnd_Man_t_
vBO : Bnd_Man_t_
vBoxes : Abc_Ntk_t_, Gls_Man_t_, If_LibBox_t_, Prs_Ntk_t_, Psr_Ntk_t_, Tim_Man_t_
vBoxIds : Wlc_BstPar_t_
vBranches : Odc_Man_t_, Res_Win_t_
vBuckets : Abc_ShaMan_t_
vBuf2LeafNtk : Bac_Man_t_
vBuf2LeafObj : Bac_Man_t_
vBuf2RootNtk : Bac_Man_t_
vBuf2RootObj : Bac_Man_t_
vBuffer : Abc_Nam_t_, Scl_Tree_t_
vBufs : Aig_Man_t_, Ivy_Man_t_
vBugTrace : Gia_ManEra_t_
vCands : Abc_LutCas_t_, Cec4_Man_t_, Cec5_Man_t_, Gia_RsbMan_t_, Gia_SimRsbMan_t_, Res_Sim_t_, Sfm_Dec_t_, Spl_Man_t_, Supp_Man_t_
vCardVars : Sbl_Man_t_, Sbm_Man_t_
vCellClasses : SC_Lib_
vCellMapping : Gia_Man_t_
vCells : Rtl_Ntk_t_, SC_Lib_
vCex : Cec_ManSat_t_, Fra_Man_t_
vCexAssm : Cla_Man_t_
vCexBase : Cla_Man_t_
vCexBmc : Cla_Man_t_
vCexes : Clu_Man_t_, Gia_ManBmc_t_, Pdr_Man_t_, Rsb_Man_t_, Ssw_RarMan_t_
vCexMain : Cla_Man_t_
vCexMain0 : Cla_Man_t_
vCexMin : Cec4_Man_t_, Cec5_Man_t_
vCexSite : Cec5_Man_t_
vCexStamps : Cec4_Man_t_, Cec5_Man_t_
vCexSwp : Swp_Man_t_
vCexTest : Cla_Man_t_
vCexTriples : Cec2_Man_t_, Cec3_Man_t_
vCexUser : Swp_Man_t_
vCexVec : Abc_Frame_t_
vChanged : SC_Man_
vChunks : Au_Ntk_t_, Hop_Man_t_, Ivy_Man_t_
vCi2Rem : Pdr_Man_t_
vCiArrivals : Lf_Man_t_
vCiArrs : Gia_Man_t_
vCiLits : Gia_ManAre_t_
vCiMap : Bmcg_Man_t_, Bmcs_Man_t_, Unr_Man_t_
vCins : Bus_Man_t_
vCiNumsOrig : Aig_Man_t_, Gia_Man_t_
vCiObjs : Pdr_Man_t_, Txs3_Man_t_, Txs_Man_t_
vCis : Abc_Ntk_t_, Acb_Ntk_t_, Agi_Man_t_, Aig_Man_t_, Cof_Man_t_, Emb_Man_t_, Frc_Man_t_, Gia_Man2Min_t_, Gia_Man_t_, Gli_Man_t_, If_Man_t_, Mig_Man_t_, Nwk_Man_t_, SC_Time_, Slv_Man_t_, Wlc_Ntk_t_, Wln_Ntk_t_
vCis2Ids : Fsim_Man_t_, Gia_ManSim_t_, Raig_Man_t_
vCisChanged : Gli_Man_t_
vCiSimInfo : Cec_ManSim_t_
vCiTfos : Gia_ManAre_t_
vCiVals : Pdr_Man_t_, Txs3_Man_t_, Txs_Man_t_
vCla2Fra : Aig_Gla2Man_t_, Aig_Gla3Man_t_
vCla2Obj : Aig_Gla2Man_t_, Aig_Gla3Man_t_
vClasses : Dtt_Man_t_, Fra_Cla_t_, Gia_IsoMan_t_, Iso_Man_t_, Rwr_Man_t_, Rwt_Man_t_
vClasses1 : Fra_Cla_t_
vClasses2 : Gia_IsoMan_t_
vClassesTemp : Fra_Cla_t_
vClassNew : Cec_ManSim_t_, Dch_Cla_t_, Fra_Cla_t_, Gia_Man_t_, Gia_Sim2_t_, Hcd_Man_t_, Ssw_Cla_t_
vClassOld : Cec_ManSim_t_, Dch_Cla_t_, Fra_Cla_t_, Gia_Man_t_, Gia_Sim2_t_, Hcd_Man_t_, Ssw_Cla_t_
vClassTemp : Cec_ManSim_t_, Hcd_Man_t_
vClassUpdates : Cec4_Man_t_, Cec5_Man_t_
vClauses : Clu_Man_t_, Ifd_Man_t_, Msat_Solver_t_, Pdr_Man_t_, Sfm_Dec_t_, Sfm_Ntk_t_, Wla_Man_t_, xSAT_Solver_t_
vClausesProven : Clu_Man_t_
vClockDoms : Aig_Man_t_, Gia_Man_t_
vCnf : Acb_Ntk_t_
vCnfMem : Mf_Man_t_
vCnfs : Acb_Ntk_t_, Ga2_Man_t_, Jf_Man_t_, Sfm_Ntk_t_
vCnfSizes : Mf_Man_t_
vCoArrs : Gia_Man_t_
vCoAttrs : Gia_Man_t_, If_Man_t_
vCoDrivers : Cec4_Man_t_, Cec5_Man_t_
vCoefs : Pln_Man_t_
vCofs : Abc_BSEval_t_, Tree_Sto_t_
vCofVars : Gia_Man_t_, Gia_ManAre_t_
vCoLits : Gia_ChMan_t_
vCoMap : Unr_Man_t_
vCommon : Ssw_Man_t_
vCompls : Fx_Man_t_
vComTo0 : Cov_Man_t_
vComTo1 : Cov_Man_t_
vConcats : Prs_Ntk_t_, Psr_Ntk_t_, Rtl_Lib_t_
vCondAssump : Swp_Man_t_
vCondProbes : Swp_Man_t_
vCone : Abc_RRMan_t_
vConeCare : Gia_ManSup_t_
vConeData : Gia_ManSup_t_
vConeLeaves : Abc_ManCut_t_
vCones : Fraig_ManStruct_t_
vConeVars : Msat_Solver_t_
vConfgRes : Mpm_Man_t_, Sdm_Man_t_
vConfigs : Dtt_Man_t_, Gia_Man_t_, If_DsdMan_t_, Mio_LibraryStruct_t_
vConns : Rtl_Ntk_t_
vConstrs : Io_MvMod_t_
vConsts : Gia_ManSim_t_, Rtl_Lib_t_
vCoNumsOrig : Gia_Man_t_
vCoObjs : Pdr_Man_t_, Txs3_Man_t_, Txs_Man_t_
vCopies : Au_Ntk_t_, Ccf_Man_t_, Dss_Man_t_, Gia_Man_t_, Gia_Rsb2Man_t_, Mig_Man_t_, Slv_Man_t_, Wlc_Ntk_t_, Wln_Ntk_t_
vCopies2 : Gia_Man_t_
vCopiesTwo : Gia_Man_t_
vCopy : Bac_Ntk_t_
vCopyMiniAig : Abc_Frame_t_
vCopyMiniLut : Abc_Frame_t_
vCore : cadical_solver_
vCoreCounts : Gla_Man_t_
vCoReqs : Gia_Man_t_
vCores : Vta_Man_t_
vCos : Abc_Ntk_t_, Acb_Ntk_t_, Agi_Man_t_, Aig_Man_t_, Cof_Man_t_, Emb_Man_t_, Frc_Man_t_, Gia_Man_t_, Gli_Man_t_, If_Man_t_, Mig_Man_t_, Nwk_Man_t_, SC_Time_, Slv_Man_t_, Wlc_Ntk_t_, Wln_Ntk_t_
vCoSimInfo : Cec_ManSim_t_
vCosts : Bal_Man_t_, Clu_Man_t_, Supp_Man_t_
vCounts : Abc_BSEval_t_, Acb_Ntk_t_, Buf_Man_t_, Dam_Man_t_, Fx_Man_t_, Pln_Man_t_, Rnm_Man_t_, Sbd_Man_t_, Sfm_Lib_t_, Sfm_Ntk_t_
vCoVals : Pdr_Man_t_, Txs3_Man_t_, Txs_Man_t_
vCover : Acb_Ntk_t_, Aig_Gla1Man_t_, If_DsdMan_t_, If_Man_t_, Lpk_Man_t_, Prs_Man_t_, Psr_Man_t_, Sbd_Man_t_, Sfm_Ntk_t_
vCoverTable : Gia_SimAbsMan_t_
vCrits : Abc_LutCas_t_
vCs2Glo : Llb_Img_t_, Llb_Man_t_, Llb_Mnn_t_
vCube : Abc_ManRef_t_, Eso_Man_t_, Mio_LibraryStruct_t_
vCube1 : Eso_Man_t_, Fxch_Man_t_
vCube2 : Eso_Man_t_, Fxch_Man_t_
vCubeFree : Fx_Man_t_, Fxch_Man_t_
vCubeLinks : Fxch_Man_t_
vCubeLits : Pla_Man_t_
vCubes : Dec_Man_t_, Eso_Man_t_, Fx_Man_t_, Fxch_Man_t_, Io_ReadBlif_t_, Mop_Man_t_, Pla_Man_t_
vCubesA : Gia_ManAre_t_
vCubesB : Gia_ManAre_t_
vCubesD : Fx_Man_t_, Fxch_Man_t_
vCubesS : Fx_Man_t_, Fxch_Man_t_
vCubesToRemove : Fxch_Man_t_
vCubesToUpdate : Fxch_Man_t_
vCut : Sbd_Srv_t_
vCut0 : Sbd_Srv_t_
vCutAreas : Sbm_Man_t_
vCutBests : Mpm_Man_t_
vCutBot : Sbd_Srv_t_
vCutData : If_Man_t_
vCutDelays : Nf_Man_t_, Of_Man_t_, Pf_Man_t_
vCutFanins : Sle_Man_t_
vCutFirst : Sle_Man_t_
vCutFlows : Nf_Man_t_, Of_Man_t_, Pf_Man_t_
vCutGates : Sbm_Man_t_
vCutLists : Mpm_Man_t_
vCutNodes : Dar_Man_t_, Ref_Man_t_
vCutPairs : Cut_ManStruct_t_, Cut_OracleStruct_t_
vCutRefs : Of_Man_t_
vCuts : Gia_Sto_t_, Jf_Man_t_, Ref_Man_t_, Sbd_Sto_t_, Sbm_Man_t_, Sdb_Sto_t_, Sle_Man_t_
vCuts0 : Amap_Man_t_, Cut_OracleStruct_t_
vCuts1 : Amap_Man_t_, Cut_OracleStruct_t_
vCuts2 : Amap_Man_t_
vCutSets : Bal_Man_t_, Lf_Man_t_, Nf_Man_t_, Of_Man_t_, Pf_Man_t_
vCutsI1 : Sbl_Man_t_
vCutsI2 : Sbl_Man_t_
vCutsMax : Cut_ManStruct_t_
vCutsN1 : Sbl_Man_t_
vCutsN2 : Sbl_Man_t_
vCutsNew : Cut_ManStruct_t_, Cut_OracleStruct_t_
vCutsNum : Sbl_Man_t_
vCutsObj : Sbl_Man_t_
vCutsOld : Cut_ManStruct_t_
vCutsStart : Sbl_Man_t_
vCutsTemp : Cut_ManStruct_t_
vCutTop : Sbd_Srv_t_
vData : Gia_ManBmc_t_, Hsh_Int1Man_t_, Hsh_IntMan_t_, Hsh_VecMan_t_, SC_Surface_
vDataI : SC_Surface_
vDdMans : Llb_Img_t_
vDecPats : Rsb_Man_t_
vDegDiff : Gia_ManUnr_t_
vDegree : Gia_ManUnr_t_
vDelayFirst : Sle_Man_t_
vDelayIns : Gls_Man_t_
vDelayOuts : Gls_Man_t_
vDelays : Buf_Man_t_, Cut_ManStruct_t_, Gls_Man_t_, Lms_Man_t_, Sbd_Sto_t_, Sbm_Man_t_, Str_Man_t_
vDelays2 : Cut_ManStruct_t_
vDelayTables : Tim_Man_t_
vDep : Buf_Man_t_, Jf_Man_t_
vDepts : Bus_Man_t_
vDiffPairs : Ssw_Man_t_
vDiffs : Sim_Man_t_
vDirects : Rtl_Lib_t_
vDisPairs : Ssc_Man_t_
vDisprPairs : Cec4_Man_t_, Cec5_Man_t_
vDiv : Fx_Man_t_, Fxch_Man_t_
vDiv2Nod : Dam_Man_t_
vDivCexes : Mfs_Man_t_, Sfm_Ntk_t_
vDivCubePairs : Fxch_Man_t_
vDivIds : Sfm_Ntk_t_
vDivLevels : Sbd_Man_t_
vDivLevR : Dam_Man_t_
vDivLits : Mfs_Man_t_
vDivPrio : Fxch_Man_t_
vDivResub : Shr_Man_t_
vDivs : Abc_ManRes_t_, Abc_RData_t_, Fxch_Man_t_, Gia_ResbMan_t_, Gia_Rsb2Man_t_, Mfs_Man_t_, Pla_Man_t_, Res_Win_t_, Sfm_Ntk_t_, Shr_Man_t_, Supp_Man_t_
vDivs1B : Abc_ManRes_t_
vDivs1UN : Abc_ManRes_t_
vDivs1UP : Abc_ManRes_t_
vDivs2UN0 : Abc_ManRes_t_
vDivs2UN1 : Abc_ManRes_t_
vDivs2UP0 : Abc_ManRes_t_
vDivs2UP1 : Abc_ManRes_t_
vDivsC : Supp_Man_t_
vDivSet : Sbd_Man_t_
vDivTruths : Shr_Man_t_
vDivValues : Sbd_Man_t_
vDivVars : Sbd_Man_t_, Sfm_Ntk_t_
vDivWeights : Fxch_Man_t_
vDoms : Aig_Sto_t_, Gia_Man_t_
vDriRefs : Llb_Img_t_
vDrivers : Rtl_Ntk_t_
vDump : If_Man_t_
vec() : Gluco2::vec< T >, Gluco::vec< T >, Minisat::vec< T >
vectors : kissat
vEdge1 : Gia_Man_t_
vEdge2 : Gia_Man_t_
vEdgeCuts : Sle_Man_t_
vEdgeDelay : Gia_Man_t_
vEdgeDelayR : Gia_Man_t_
vEdgeFirst : Sle_Man_t_
vEdgeLinks : Wln_Ret_t_
vEdges : Buf_Man_t_, Mpm_Man_t_, Sbl_Man_t_, Seg_Man_t_
vEI_impl : Bnd_Man_t_
vEI_phase : Bnd_Man_t_
vEI_spec : Bnd_Man_t_
vEmpty : Sfm_Ntk_t_
vEntry : Hsh_VecMan_t_
vEO_impl : Bnd_Man_t_
vEO_phase : Bnd_Man_t_
vEO_spec : Bnd_Man_t_
vEquPairs : Aig_Man_t_
verb : Glucose2_Pars_, Glucose_Pars_
verbEveryConflicts : Gluco2::Solver, Gluco::Solver
verbose : satoko_opts
Verbosity : cinfo_tag
verbosity : DState, EState, Gluco2::Solver, Gluco::Solver, Minisat::Solver, sat_solver2_t, sat_solver3_t, sat_solver_t
verbosity_level : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
Verify() : Transduction::Transduction< Man, Param, lit, LitMax >
verify : acd::acdXX_params
VeripbTracer() : CaDiCaL::VeripbTracer
verror() : CaDiCaL::Internal
version() : CaDiCaL::Solver
vEsops : Eso_Man_t_
vEstRefs : Mpm_Man_t_
vETimes : Bus_Man_t_
vExactNodes : MinRegMan_t_
vExpr : Mio_Cell2_t_, Mio_GateStruct_t_
vFailed : Prs_Man_t_, Psr_Man_t_
vFails : Cec4_Man_t_, Cec5_Man_t_
vFanCounts : Cov_Man_t_, Cut_ManStruct_t_, Cut_OracleStruct_t_
vFanin : Bac_Ntk_t_
vFaninAttrs : Wln_Ntk_t_
vFaninLeaves : Abc_RRMan_t_
vFaninLists : Wln_Ntk_t_
vFaninMap : Sfm_Ntk_t_
vFaninNums : Bbl_Man_t_
vFanins : Abc_Obj_t_, Cec2_Man_t_, Cec3_Man_t_, Cec4_Man_t_, Cec5_Man_t_, Cec_ManSat_t_, Dch_Man_t_, Dtt_Man_t_, Fraig_NodeStruct_t_, FxuDataStruct, Gia_Man2Min_t_, Gia_SimRsbMan_t_, Rf2_Man_t_, Rnm_Man_t_, rrr::Action, Rsb_Man_t_, Rwr_Man_t_, Rwt_Man_t_, Sfm_Ntk_t_, Slv_Man_t_, Ssc_Man_t_, Ssw_Sat_t_, Str_Ntk_t_, Swp_Man_t_, Wlc_Prs_t_, Wln_Ntk_t_, Wln_Ret_t_
vFanins2 : Gia_SimRsbMan_t_
vFaninsCur : Rwr_Man_t_, Rwt_Man_t_
vFaninsNew : FxuDataStruct
vFaninsOld : Rsb_Man_t_
vFanMem : Shr_Man_t_
vFanout : Bac_Ntk_t_, Cgt_Man_t_, Gia_Man_t_, SC_WireLoad_, Wln_Ntk_t_
vFanout0 : Cbs2_Man_t_, Slv_Man_t_
vFanoutEdges : Sle_Man_t_
vFanoutN : Cbs2_Man_t_, Slv_Man_t_
vFanoutNums : Gia_Man_t_
vFanoutRoots : Abc_RRMan_t_
vFanouts : Abc_Obj_t_, Acb_Ntk_t_, Buf_Man_t_, Bus_Man_t_, rrr::Action, Sfm_Ntk_t_, Spl_Man_t_, Wln_Ret_t_
vFanouts2 : Gia_Man_t_
vFans : Aig_Sto_t_, Cbs3_Man_t_, Exa5_Man_t_, Min_Man_t_
vFanSto : Acb_Ntk_t_
vFfClasses : Wln_Ret_t_
vFfLits : Txs3_Man_t_, Txs_Man_t_
vFfs : Wlc_Ntk_t_, Wln_Ntk_t_
vFfs2 : Wlc_Ntk_t_
vFifo : Sim_Man_t_
vFinFon : Cba_Ntk_t_
vFinFon0 : Cba_Ntk_t_
vFinObj : Cba_Ntk_t_
vFins : Abc_Ntk_t_
vFirst : Gia_ManUnr_t_
vFirsts : Seg_Man_t_
vFixed : Sfm_Ntk_t_
vFlip : Acb_Mfs_t_
vFlopClasses : Gia_Man_t_
vFlopNums : Aig_Man_t_
vFlopReprs : Aig_Man_t_
vFlops : Aig_Gla1Man_t_, Gia_ManTer_t_, Io_MvMod_t_, Saig_MvMan_t_
vFlow : Jf_Man_t_
vFlowRefs : Lf_Man_t_, Nf_Man_t_
vFonBits : Cba_Ntk_t_
vFonCopy : Cba_Ntk_t_
vFonName : Cba_Ntk_t_
vFonNext : Cba_Ntk_t_
vFonObj : Cba_Ntk_t_
vFonPrev : Cba_Ntk_t_
vFonRange : Cba_Ntk_t_
vForest : Rwr_Man_t_, Rwt_Man_t_
vForm : Abc_ManRef_t_
vFosAbs : Txs3_Man_t_
vFosPre : Txs3_Man_t_
vFr2Sat : Bmcg_Man_t_, Bmcs_Man_t_
vFraigs : Fra_Lcr_t_
vFrames : Gla_Obj_t_, Vta_Man_t_
vFree : Lf_Mem_t_, Mop_Man_t_, Part_Man_t_, Supp_Man_t_
vFreePages : Lf_Man_t_
vFrees : Mmr_Fixed_t_
vFreeSets : Lf_Man_t_
vFreeUnits : Mpm_Man_t_
vFreeVars : Aig_ManPre_t_
vFreqs : Lms_Man_t_
vFront : Opa_Man_t_, Ssc_Man_t_, Swp_Man_t_, Wln_Ret_t_
vFrontier : Cec2_Man_t_, Cec3_Man_t_, Cec4_Man_t_, Cec5_Man_t_, Gia_Man2Min_t_, Gli_Man_t_
vFunc : Io_MvMan_t_, SC_Pin_
vFuncs : Abc_ManRef_t_
vFunNodes : Dtt_Man_t_
vGateClasses : Gia_Man_t_
vGateCnfs : Sfm_Dec_t_
vGateCut : Sfm_Dec_t_
vGateFuncs : Sfm_Dec_t_
vGateHands : Sfm_Dec_t_
vGateMffc : Sfm_Dec_t_
vGates : Abc_Ntk_t_, Amap_Lib_t_, Cgt_Man_t_, Gia_ResbMan_t_, SC_Time_
vGatesAll : Cgt_Man_t_
vGatesBest : SC_Man_
vGateSizes : Sfm_Dec_t_
vGateTemp : Sfm_Dec_t_
vGateTfi : Sfm_Dec_t_
vGateTfo : Sfm_Dec_t_
vGia2Fr : Bmcg_Man_t_, Bmcs_Man_t_
vGlo2Cs : Llb_Img_t_, Llb_Man_t_, Llb_Mnn_t_
vGlo2Ns : Llb_Img_t_, Llb_Man_t_, Llb_Mnn_t_
vGloVars : Int2_Man_t_
vGroups : Llb_Man_t_
vGrp2Ppi : Rf2_Man_t_
vHash : Acb_Man_t_, Cba_Man_t_, Dam_Man_t_, Fxch_Man_t_, Gia_Man_t_, Gia_ManBmc_t_, Ifd_Man_t_, Prs_Man_t_, Prs_Ntk_t_
vHashes : Pla_Man_t_
vHeap : Msat_Order_t_, xSAT_Heap_t_
vHistory : Ssw_Sem_t_
vHits : Sfm_Lib_t_
vHTable : Gia_Man_t_
vi : sat_solver2_t
vId2Lit : Ga2_Man_t_, Gia_ManBmc_t_, Swp_Man_t_
vId2Name : Tst_Dat_t_
vId2Num : Gia_ManBmc_t_
vId2Obj : Bbl_Man_t_
vId2Pr : Prf_Man_t_
vId2Used : Unm_Man_t_
vId2Var : Bmc_Mna_t_, Gia_ManBmc_t_, Sfm_Ntk_t_, Ssc_Man_t_
vIds : Ga2_Man_t_
vIdsEquiv : Gia_Man_t_
vIdsOrig : Gia_Man_t_
vidx() : CaDiCaL::External, CaDiCaL::Internal
vImageOne : Int2_Man_t_
vImagesAll : Int2_Man_t_
vImpl2Bmiter : Bnd_Man_t_
vImpls : Sfm_Dec_t_
vImps : Cbs3_Man_t_, Fra_Bmc_t_, Fra_Cla_t_
vInArrs : Gia_Man_t_, Io_ReadBlif_t_, Scl_Con_t_
vInBits : Pla_Man_t_
vInCells : Scl_Con_t_
vInCellsPtr : Scl_Con_t_
vIncluded : Aig_Gla1Man_t_
vIndex : Bac_Ntk_t_, Msat_Order_t_, SC_TableTempl_
vIndex0 : SC_Surface_
vIndex0I : SC_Surface_
vIndex1 : SC_Surface_
vIndex1I : SC_Surface_
vIndexes : Gls_Man_t_
vIndFlops : Abc_Frame_t_
vIndices : rrr::Action, xSAT_Heap_t_
vInDrive : SC_Man_
vInDrives : Io_ReadBlif_t_
vInfCubes : Pdr_Man_t_
vInfo : Bac_Ntk_t_, Exa3_Man_t_, Exa_Man_t_, Maj3_Man_t_, Maj_Man_t_, Prf_Man_t_, Zyx_Man_t_
vInitClasses : Gia_Man_t_
vInitConstraints : MinRegMan_t_
vInits : Ssw_Man_t_, Ssw_RarMan_t_, Wlc_Ntk_t_
vInLoads : Scl_Con_t_
vInouts : Prs_Ntk_t_, Psr_Ntk_t_
vInoutsR : Prs_Ntk_t_, Psr_Ntk_t_
vInputs : Bac_Ntk_t_, Bmc_Mna_t_, Cba_Ntk_t_, Cec_ManS_t_, Fraig_ManStruct_t_, Io_BlifMan_t_, Io_MvMod_t_, Prs_Ntk_t_, Psr_Ntk_t_, Spl_Man_t_
vInputsR : Prs_Ntk_t_, Psr_Ntk_t_
vIns : Gia_ManFra_t_, Llb_Grp_t_, Res6_Man_t_
vInSlews : Scl_Con_t_
vInstIds : Wln_Ntk_t_
vInt2Handle : Abc_Nam_t_
vInt2Next : Abc_Nam_t_
vInters : Inter_Man_t_
vInVars : Exa3_Man_t_
vInverses : Rtl_Lib_t_
vIsfs : Supp_Man_t_
visited : Rpo_LCI_Edge_t_
vIsop : Cnf_Cut_t_
vIsopMem : Ga2_Man_t_
vIsops : If_DsdMan_t_
vivifications : CaDiCaL::Stats
vivified : CaDiCaL::Clause
Vivifier() : CaDiCaL::Vivifier
VIVIFY : CaDiCaL::Internal
vivify : CaDiCaL::Clause, CaDiCaL::Internal, CaDiCaL::Last, CaDiCaL::Stats, CaDiCaL::vivify_ref, clause, countref
vivify_analyze() : CaDiCaL::Internal
vivify_analyze_redundant() : CaDiCaL::Internal
vivify_assign() : CaDiCaL::Internal
vivify_assume() : CaDiCaL::Internal
vivify_better_watch() : CaDiCaL::vivify_better_watch
vivify_build_lrat() : CaDiCaL::Internal
vivify_chain_for_units() : CaDiCaL::Internal
vivify_clause() : CaDiCaL::Internal
vivify_clause_later() : CaDiCaL::vivify_clause_later
vivify_deduce() : CaDiCaL::Internal
vivify_increment_stats() : CaDiCaL::Internal
vivify_initialize() : CaDiCaL::Internal
vivify_instantiate() : CaDiCaL::Internal
vivify_inversesize_rank() : CaDiCaL::vivify_inversesize_rank
vivify_inversesize_smaller() : CaDiCaL::vivify_inversesize_smaller
vivify_more_noccs() : CaDiCaL::vivify_more_noccs
vivify_more_noccs_kissat() : CaDiCaL::vivify_more_noccs_kissat
vivify_prioritize_leftovers() : CaDiCaL::Internal
vivify_propagate() : CaDiCaL::Internal
vivify_refcount_rank() : CaDiCaL::vivify_refcount_rank
vivify_refcount_smaller() : CaDiCaL::vivify_refcount_smaller
vivify_round() : CaDiCaL::Internal
vivify_shrinkable() : CaDiCaL::Internal
vivify_sort_watched() : CaDiCaL::Internal
vivify_strengthen() : CaDiCaL::Internal
vivify_subsume_clause() : CaDiCaL::Internal
vivifychecks : CaDiCaL::Stats
vivifydecs : CaDiCaL::Stats
vivifydemote : CaDiCaL::Stats
vivifyimplied : CaDiCaL::Stats
vivifyinst : CaDiCaL::Stats
vivifyirr : delays
vivifyreused : CaDiCaL::Stats
vivifysched : CaDiCaL::Stats
vivifystred1 : CaDiCaL::Stats
vivifystred2 : CaDiCaL::Stats
vivifystred3 : CaDiCaL::Stats
vivifystrirr : CaDiCaL::Stats
vivifystrs : CaDiCaL::Stats
vivifysubirr : CaDiCaL::Stats
vivifysubred : CaDiCaL::Stats
vivifysubs : CaDiCaL::Stats
vivifyunits : CaDiCaL::Stats
vJsonObjs : Abc_Frame_t_
vJStore : Cbs2_Man_t_
vKnown : Prs_Man_t_, Psr_Man_t_
vLabels : Lms_Man_t_
vLabelsP : Lms_Man_t_
vLags : If_Man_t_, InitConstraint_t_, MinRegMan_t_
vLastDLevel : xSAT_Solver_t_
vLatches : Io_BlifMan_t_, Io_MvMod_t_
vLatchOrder : If_Man_t_
vLeafLits : Acec_Box_t_
vLearned : Msat_Solver_t_
vLearntClause : xSAT_Solver_t_
vLearnts : xSAT_Solver_t_
vLeaves : Abc_ManRef_t_, Abc_ManScl_t_, Abc_RRMan_t_, Aig_Gla1Man_t_, Dss_Man_t_, Llb_Mgr_t_, Llb_Mnn_t_, Lpk_Man_t_, Odc_Man_t_, Res_Win_t_, Sbl_Man_t_, Shr_Man_t_, Spl_Man_t_, Unm_Man_t_
vLeavesBest : Dar_Man_t_, Ref_Man_t_
vLen : SC_WireLoad_
vLevCounts : Gia_IsoMan_t_
vLevelD : Acb_Ntk_t_
vLevelR : Acb_Ntk_t_, Aig_Man_t_
vLevels : Abc_Aig_t_, Abc_ManCut_t_, Aig_Man_t_, Cec_ManS_t_, Fx_Man_t_, Fxch_Man_t_, Gia_Man_t_, Gia_Rsb2Man_t_, Lpk_Man_t_, Maj3_Man_t_, Mfs_Man_t_, Mig_Man_t_, Res_Man_t_, Sbd_Sto_t_, SC_Man_, Sfm_Ntk_t_, Sfm_Tim_t_, Ttopt::TruthTable, Wlc_Ntk_t_, Wln_Ntk_t_, xSAT_Solver_t_
vLevelsR : Abc_Aig_t_, Abc_Ntk_t_, Sfm_Ntk_t_
vLevelsSaved : Ttopt::TruthTable
vLevNums : Rwr_Man_t_, Rwt_Man_t_
vLevReas : Cbs_Man_t_, CbsP_Man_t_, Tas_Man_t_
vLevReason : Cbs2_Man_t_, Cbs3_Man_t_
vLevs : Sbd_Srv_t_
vLimit : Gia_ManUnr_t_
vLines : Extra_FileReader_t_, Gls_Man_t_, Io_BlifMan_t_, Io_MvMan_t_, Wlc_Prs_t_
vLis : Fsim_Man_t_, Io_BlifMan_t_, Raig_Man_t_
vLists : Sfm_Lib_t_
vlit() : CaDiCaL::External, CaDiCaL::Internal
vLit2Used : Sbm_Man_t_
vLitCount : Fxch_Man_t_
vLitHashKeys : Fxch_Man_t_
vLits : Aig_Gla1Man_t_, Clu_Man_t_, Dec_Man_t_, Fx_Man_t_, Fxch_Man_t_, Ga2_Man_t_, Pdr_Man_t_, Qbf_Man_t_, Rtl_Ntk_t_, Sbd_Man_t_, Sbl_Man_t_, Seg_Man_t_, Sfm_Ntk_t_, Sle_Man_t_
vLits2 : Sbd_Man_t_
vLitsProven : Clu_Man_t_
vLoads : Bus_Man_t_
vLoads2 : SC_Man_
vLoads3 : SC_Man_
vLos : Fsim_Man_t_, Io_BlifMan_t_, Raig_Man_t_
vLtlProperties : Abc_Ntk_t_, Io_MvMod_t_
vLTLProperties_global : Abc_Frame_t_
vLut4s : Gls_Man_t_
vLut4TTs : Gls_Man_t_
vLut6s : Gls_Man_t_
vLut6TTs : Gls_Man_t_
vLutConfigs : Gia_Man_t_
vLutCuts : Sbd_Man_t_
vLutCuts2 : Sbd_Man_t_
vLutLevs : Sbd_Man_t_, Sbd_Srv_t_
vLuts : Ivy_SuppMan_t_
vLutsIn : Kit_ManDec_t_
vLutsOut : Kit_ManDec_t_
vLutsRankings : Gia_Man_t_
vLutTruths : Wlc_Ntk_t_
vMap : Cbs3_Man_t_, Hsh_VecMan_t_, Rf2_Man_t_, Rnm_Man_t_, Rtl_Lib_t_
vMap0 : Gia_Iso2Man_t_
vMap1 : Gia_Iso2Man_t_
vMap2Perm : Mpm_Man_t_, Sdm_Man_t_
vMapBufs : Map_ManStruct_t_
vMapFf2Ppi : Pdr_Man_t_
vMapFrames : Int2_Man_t_
vMapObjs : Map_ManStruct_t_
vMapped : Aig_Man_t_
vMapPiF2A : Saig_ManCba_t_, Saig_RefMan_t_
vMapping : Cnf_Dat_t_, Fpga_ManStruct_t_, Gia_Man_t_, Gia_ManBmc_t_
vMapping2 : Gia_Man_t_
vMapPpi2Ff : Pdr_Man_t_
vMapPref : Int2_Man_t_
vMapRefs : Gia_ManBmc_t_, Lf_Man_t_, Mpm_Man_t_, Nf_Man_t_
vMapSuff : Int2_Man_t_
vMark : Cbs2_Man_t_, Cbs3_Man_t_
vMarked : Gluco2::Solver
vMarks : If_Man_t_, Ifd_Man_t_
vMarksAnd : Spl_Man_t_
vMarksCIO : Spl_Man_t_
vMarksIn : Spl_Man_t_
vMarksNo : Spl_Man_t_
vMask : Sle_Man_t_, Supp_Man_t_
vMatch : Iff_Man_t_
vMatchFans : Sfm_Dec_t_
vMatchGates : Sfm_Dec_t_
vMatrix : Aig_ManPre_t_, Res_Win_t_, Sbd_Man_t_, Supp_Man_t_
vMatrNonSymms : Sym_Man_t_
vMatrSymms : Sym_Man_t_
vMem : Mfs_Man_t_, Res_Man_t_
vMemory : Abc_ManRef_t_, Bdc_Man_t_, Cnf_Man_t_, Lpk_Man_t_, Part_Man_t_, Ref_Man_t_, Supp_Man_t_
vMemSets : Lf_Man_t_
vMFFCsInfo : Gia_Man_t_
vMFFCsLuts : Gia_Man_t_
vMfsFanins : Mfs_Man_t_
vMidMints : Zyx_Man_t_
vMigRefs : Mpm_Man_t_
vMiniLutObjs : Abc_Frame_t_
vMirrors : Sbd_Man_t_, Sbd_Srv_t_, Sbd_Sto_t_
vModel : Cbs0_Man_t_, Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_Man_t_, Tas_Man_t_
vModels : Io_MvMan_t_
vModules : Abc_Des_t_
vMoves : Wln_Ret_t_
vMvs : Io_MvMod_t_
vName : Bac_Ntk_t_
vNameIds : Abc_Ntk_t_, Wlc_Ntk_t_, Wln_Ntk_t_
vNameMap : Acb_Man_t_, Cba_Man_t_
vNameMap2 : Acb_Man_t_, Cba_Man_t_
vNames : Io_BlifMan_t_, Io_MvMod_t_, Mio_LibraryStruct_t_, Ver_Man_t_
vNamesIn : Gia_Man_t_
vNamesNode : Gia_Man_t_
vNamesOut : Gia_Man_t_
vNetsActual : Ver_Bundle_t_
vNewLos : Ssw_Man_t_
vNewNodes : Sfm_Dec_t_
vNewPos : Ssw_Man_t_
vNewTokens : Io_ReadBlif_t_
vNext : Hsh_Int1Man_t_
vNexts : Dss_Man_t_, If_DsdMan_t_, Vec_Mem_t_
vNod2Set : Dam_Man_t_
vNode2Gain : SC_Man_
vNode2Gate : SC_Man_
vNodeAttrs : Cut_ManStruct_t_
vNodeByGain : SC_Man_
vNodeCuts : Cut_ManStruct_t_, Cut_OracleStruct_t_
vNodeDelays : Wln_Ret_t_
vNodeIter : SC_Man_
vNodeLeaves : Abc_ManCut_t_
vNodes : Abc_Aig_t_, ABC_ManagerStruct_t, Aig_Gla1Man_t_, Bmc_Mna_t_, Flow_Data_t_, Fraig_ManStruct_t_, InitConstraint_t_, Kit_DsdMan_t_, Llb_Grp_t_, Lms_Man_t_, Lpk_Fun_t_, Mfs_Man_t_, MinRegMan_t_, Pdr_Man_t_, Res_Win_t_, Sbl_Man_t_, Sfm_Ntk_t_, Spl_Man_t_, Sym_Man_t_, Txs3_Man_t_, Txs_Man_t_
vNodesAll : Fpga_ManStruct_t_
vNodesNew : Cec2_Man_t_, Cec3_Man_t_
vNodeStarts : Cut_ManStruct_t_, Cut_OracleStruct_t_
vNodesTemp : Rwr_Man_t_, Rwt_Man_t_
vNodesTfo : Abc_ManCut_t_
vNodLevR : Dam_Man_t_
vNodStore : Dam_Man_t_
vNonCrit : Buf_Man_t_
vNonXRegs : Saig_Tsim_t_
vNotUnateVars : Gia_ResbMan_t_
vNpnConfigs : Mpm_Man_t_
vNs2Glo : Llb_Img_t_, Llb_Man_t_, Llb_Mnn_t_
vNtkObjs : Acb_Ntk_t_, Cba_Ntk_t_
vNtks : Acb_Man_t_, Au_Man_t_, Cba_Man_t_, Prs_Man_t_, Psr_Man_t_, Rtl_Lib_t_
vNvars : Seg_Man_t_
vObj2Cnf : Aig_Gla1Man_t_
vObj2Fan : Shr_Man_t_
vObj2Id : Bbl_Man_t_
vObj2Lit : Abc_ShaMan_t_
vObj2Tt : Gia_ChMan_t_
vObj2Var : Llb_Man_t_, Saig_Bmc_t_, Sbd_Man_t_
vObj2Vec : Aig_Gla1Man_t_, Aig_Gla2Man_t_, Aig_Gla3Man_t_
vObjAttr : Acb_Ntk_t_, Cba_Ntk_t_
vObjBits : Acb_Ntk_t_
vObjClasses : Gia_Man_t_
vObjCopy : Acb_Ntk_t_, Cba_Ntk_t_
vObjCounts : Gla_Man_t_
vObjCuts : Sbm_Man_t_
vObjDec : Sfm_Dec_t_
vObjDelays : Abc_Frame_t_
vObjFanins : Sfm_Dec_t_
vObjFans : Acb_Ntk_t_
vObjFin0 : Cba_Ntk_t_
vObjFon0 : Cba_Ntk_t_
vObjFunc : Acb_Ntk_t_, Cba_Ntk_t_
vObjGates : Sfm_Dec_t_
vObjInMffc : Sfm_Dec_t_
vObjLim : Unr_Man_t_
vObjMap : Sfm_Dec_t_, Sle_Man_t_
vObjMffc : Sfm_Dec_t_
vObjName : Acb_Ntk_t_, Cba_Ntk_t_
vObjPerm : Abc_Ntk_t_
vObjRange : Acb_Ntk_t_
vObjRoots : Sfm_Dec_t_
vObjs : Abc_Ntk_t_, Aig_Man_t_, Amap_Man_t_, Au_Ntk_t_, Dss_Man_t_, Dss_Ntk_t_, Gia_Man2Min_t_, Gia_Rsb2Man_t_, Gia_RsbMan_t_, Hash_IntMan_t_, Hop_Man_t_, Hsh_IntMan_t_, If_DsdMan_t_, If_Man_t_, Ivy_Man_t_, Nwk_Man_t_, Prs_Ntk_t_, Psr_Ntk_t_, Rf2_Man_t_, Rnm_Man_t_, Rtm_Man_t_, Smt_Prs_t_
vObjs2 : Gia_RsbMan_t_
vObjSatPairs : Cec2_Man_t_, Cec3_Man_t_
vObjSims : Sfm_Dec_t_
vObjSims2 : Sfm_Dec_t_
vObjsRev : If_Man_t_
vObjStrs : Cov_Man_t_
vObjTrav : Acb_Ntk_t_
vObjTruth : Acb_Ntk_t_
vObjType : Acb_Ntk_t_, Cba_Ntk_t_
vObjWeight : Acb_Ntk_t_
vOccurs : Pla_Man_t_
vOffsets : Buf_Man_t_, Lf_Man_t_
Volume : Rwr_Node_t_, Rwt_Node_t_
vOneHots : Fra_Man_t_
vOnehots : Abc_Ntk_t_, Aig_Man_t_, Io_MvMod_t_
vOrder : Acb_Ntk_t_, Buf_Man_t_, Cba_Ntk_t_, Llb_Mnx_t_, Pln_Man_t_, Prs_Ntk_t_, Psr_Ntk_t_, Rewire::Miaig_Data, Rtl_Ntk_t_, Sfm_Ntk_t_, Unr_Man_t_, Vta_Man_t_
vOrderBoxes : Gls_Man_t_
vOrderDelays : Gls_Man_t_
vOrderF : Rewire::Miaig_Data
vOrderF2 : Rewire::Miaig_Data
vOrderLim : Unr_Man_t_
vOrderLuts : Gls_Man_t_
vOrderPis : Gls_Man_t_
vOrderPos : Gls_Man_t_
vOrderSeqs : Gls_Man_t_
vOrGate : If_Man_t_
vOrigNodeIds : Abc_Ntk_t_
vOrLits : Inter_Check_t_
vOther : Cba_Ntk_t_
vOut : Acb_Man_t_, Bac_Man_t_, Cba_Man_t_
vOut2 : Acb_Man_t_, Bac_Man_t_, Cba_Man_t_
vOutBits : Pla_Man_t_
vOutLits : Exa3_Man_t_, Exa_Man_t_, Maj_Man_t_
vOutLoads : Io_ReadBlif_t_, Scl_Con_t_
vOutMap : Pdr_Par_t_
vOutputID : Fxch_Man_t_
vOutputs : Bac_Ntk_t_, Bmc_Mna_t_, Cba_Ntk_t_, Fraig_ManStruct_t_, Io_BlifMan_t_, Io_MvMod_t_, Prs_Ntk_t_, Psr_Ntk_t_
vOutputsR : Prs_Ntk_t_, Psr_Ntk_t_
vOutReqs : Gia_Man_t_, Io_ReadBlif_t_, Scl_Con_t_
vOuts : Gia_ManFra_t_, Llb_Grp_t_, Res6_Man_t_, Res_Sim_t_
vPacking : Gia_Man_t_
vPages : Au_Ntk_t_, Hop_Man_t_, Ivy_Man_t_, Lf_Mem_t_, Mf_Man_t_, Mig_Man_t_, Mmr_Fixed_t_, Mmr_Flex_t_, Nf_Man_t_, Of_Man_t_, Pf_Man_t_
vPairHash : If_Man_t_
vPairPerms : If_Man_t_
vPairRes : If_Man_t_
vPairs : Abc_BSEval_t_, Cec4_Man_t_, Fxch_Man_t_, FxuMatrix, Nwk_Grf_t_, Zyx_Man_t_
vPairs0 : Cov_Man_t_
vPairs1 : Cov_Man_t_
vPairsNonSym : Sym_Man_t_
vPairsSym : Sym_Man_t_
vPairsTotal : Sym_Man_t_
vParMap : Qbf_Man_t_
vPartCost : Aig_ManPre_t_
vParts : Aig_ManPre_t_, Fra_Lcr_t_, Llb_Var_t_
vPat : Cec4_Man_t_, Cec5_Man_t_, Min_Man_t_
vPatBests : Ssw_RarMan_t_
vPath : Abc_LutCas_t_, Sbl_Man_t_, Sfm_Tim_t_
vPathD : Acb_Ntk_t_
vPathDelays : Wln_Ret_t_
vPathR : Acb_Ntk_t_
vPatPairs : Gia_SimAbsMan_t_
vPats : Gia_Man_t_, Res_Sim_t_, Supp_Man_t_
vPats0 : Res_Sim_t_
vPats1 : Res_Sim_t_
vPatsReal : Fraig_ManStruct_t_
vPattern : Ssc_Man_t_
vPattern1 : Cec_ManPat_t_
vPattern2 : Cec_ManPat_t_
vPatterns : Ssw_Sem_t_
vPatts : Cgt_Man_t_
vpDivs : Gia_Rsb2Man_t_
vPerm : Ver_Man_t_
vPerm6 : Mpm_Man_t_, Sdm_Man_t_
vPhase : Abc_TgMan_t_, Abc_TtHieMan_t_
vPhases : Abc_Ntk_t_
vPiCare : Aig_ManPack_t_
vPiLits : Txs3_Man_t_, Txs_Man_t_, Unr_Man_t_
vPiMap : Bmc_Mna_t_
vPins : SC_Cell_
vPios : Abc_Ntk_t_
vPiPats : Aig_ManPack_t_
vPiPatsCache : Cec5_Man_t_
vPis : Abc_Ntk_t_, Aig_Gla1Man_t_, Amap_Man_t_, Au_Ntk_t_, Hop_Man_t_, Io_BlifMan_t_, Ivy_Man_t_, Rtm_Man_t_, Wlc_Ntk_t_
vPiVars : Fra_Man_t_, Ivy_FraigMan_t_
vPivot : Ssc_Man_t_
vPlaces : Gia_Iso2Man_t_, Iso_Sto_t_
vPlugInComBinPairs : Abc_Frame_t_
vPoEquivs : Abc_Frame_t_
vPolar : Sbl_Man_t_, Sbm_Man_t_, Ses_Man_t_
vPolarity : xSAT_Solver_t_
vPolars : Gia_Man_t_, Seg_Man_t_, Sle_Man_t_
vPoPairs : Wlc_Ntk_t_, Wlc_Prs_t_
vPos : Abc_Ntk_t_, Amap_Man_t_, Au_Ntk_t_, Hop_Man_t_, Io_BlifMan_t_, Ivy_Man_t_, Rtm_Man_t_, Wlc_Ntk_t_
vPPis : Aig_Gla1Man_t_
vPrefCos : Int2_Man_t_
vPrio : Fx_Man_t_, Fxch_Man_t_, Int2_Man_t_, Pdr_Man_t_, Shr_Man_t_, Txs3_Man_t_, Txs_Man_t_
vProbes : Swp_Man_t_
vProbs : Aig_Man_t_, Mfs_Man_t_
vProfs : Sfm_Lib_t_
vProj : Fraig_ManStruct_t_
vProjVarsCnf : Mfs_Man_t_
vProjVarsSat : Mfs_Man_t_
vProofIds : Ga2_Man_t_, Gla_Man_t_
vQue : Acb_Ntk_t_, Buf_Man_t_, Dam_Man_t_, Pln_Man_t_, SC_Man_
vRands : Fxch_Man_t_
vRanges : Wln_Ntk_t_
vRank : Gia_ManUnr_t_
vRanks : Unr_Man_t_
vReason : Msat_Solver_t_, Sbm_Man_t_
vReasons : xSAT_Solver_t_
vRef : Cbs3_Man_t_
vRefBins : Cec4_Man_t_, Cec5_Man_t_
vRefClasses : Cec4_Man_t_, Cec5_Man_t_
vRefined : Ssw_Cla_t_
vRefinedC : Cec_ManSim_t_, Hcd_Man_t_
vRefNodes : Cec4_Man_t_, Cec5_Man_t_
vRefs : Gia_Man_t_, Gia_Rsb2Man_t_, Gia_Sto_t_, Jf_Man_t_, Mig_Man_t_, Sbd_Srv_t_, Sbd_Sto_t_, Sdb_Sto_t_, Wlc_Ntk_t_, Wln_Ntk_t_
vReg2Frame : Saig_ManCba_t_
vReg2Value : Saig_ManCba_t_
vRegClasses : Gia_Man_t_
vRegInits : Gia_Man_t_
vRegs : Aig_ManPre_t_
vRepres : Abc_TtHieMan_t_
vReqs : Abc_ManTime_t_, Sbl_Man_t_, Sbm_Man_t_
vRequired : Ivy_Man_t_, Lf_Man_t_, Nf_Man_t_
vRequireds : Mpm_Man_t_
vRes : Ifd_Man_t_, Pdr_Man_t_
vResets : Io_MvMod_t_
vResimClasses : Ssw_Man_t_
vResimConsts : Ssw_Man_t_
vResLits : Inta_Man_t_
vResub : Gia_SimAbsMan_t_
vResubs : Res_Man_t_
vResubsW : Res_Man_t_
vRetired : Gia_ManTer_t_
vRings : Llb_Img_t_, Llb_Man_t_, Llb_Mnn_t_, Llb_Mnx_t_
vRootLits : Acec_Box_t_
vRoots : Abc_RRMan_t_, Iso_Sto_t_, Llb_Mgr_t_, Llb_Mnn_t_, Llb_Mnx_t_, Mfs_Man_t_, Odc_Man_t_, Res_Win_t_, Sbd_Man_t_, Sbl_Man_t_, Sbm_Man_t_, Sfm_Ntk_t_, Spl_Man_t_
vRootVars : Sbl_Man_t_
vRowTemp : Supp_Man_t_
vRTimings : SC_Pin_
vRules : Amap_Lib_t_
vRules3 : Amap_Lib_t_
vRulesX : Amap_Lib_t_
vSat2Id : Bmc_Load_t_
vSatNumCis : Gia_ManAre_t_
vSatNumCos : Gia_ManAre_t_
vSatVars : Cec2_Man_t_, Cec3_Man_t_, Gia_Man2Min_t_, Ssw_Sat_t_
vSatVarsBmcNs : Cla_Man_t_
vSatVarsMainCs : Cla_Man_t_
vSatVarsTestCs : Cla_Man_t_
vSatVarsTestNs : Cla_Man_t_
vSaved : Prf_Man_t_
vSCC : Fx_Man_t_, Fxch_Man_t_
vSCData : Fxch_SCHashTable_Entry_t_
vSCount : Supp_Man_t_
vSeen : xSAT_Solver_t_
vSeenGla : Vta_Man_t_
vSeens : Vta_Man_t_
vSelect : Amap_Lib_t_
vSeq : Acb_Ntk_t_, Cba_Ntk_t_
vSeqModelVec : Abc_Ntk_t_, Aig_Man_t_, Gia_Man_t_
vSets : Abc_BSEval_t_, Gia_RsbMan_t_, Lpk_Man_t_, Sfm_Dec_t_
vSetStore : Dam_Man_t_
vSFuncs : Supp_Man_t_
vShared : Acec_Box_t_
vShorts : Io_MvMod_t_
vSibls : Gia_ChMan_t_, Mig_Man_t_
vSignalNames : Abc_Frame_t_
vSignals : Wla_Man_t_
vSigns : Aig_ManPack_t_, Wln_Ntk_t_
vSim : Sym_Man_t_
vSim0 : Sim_Man_t_
vSim1 : Sim_Man_t_
vSimClasses : Dch_Man_t_
vSimInfo : Hcd_Man_t_, Ssw_Man_t_, Ssw_RarMan_t_
vSimPres : Hcd_Man_t_
vSimRoots : Dch_Man_t_
vSims : Abc_ManRes_t_, Cec2_Man_t_, Cec3_Man_t_, Cec_ManS_t_, Gia_Man2Min_t_, Gia_Man_t_, Gia_ResbMan_t_, Gia_Rsb2Man_t_, Gia_RsbMan_t_, Gia_SimAbsMan_t_, Sbd_Man_t_, Supp_Man_t_
vSimsC : Supp_Man_t_
vSimsIn : Abc_RData_t_, Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_
vSimsObj : Gia_SimRsbMan_t_
vSimsObj2 : Gia_SimRsbMan_t_
vSimsOut : Abc_RData_t_, Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_
vSimsPi : Gia_Man_t_
vSimsPo : Gia_Man_t_
vSimsT : Gia_Man_t_, Gia_RsbMan_t_
vSingles : Gia_Iso2Man_t_, Iso_Man_t_
vSinkDistHist : MinRegMan_t_
vSinks : Wln_Ret_t_
vsize : CaDiCaL::External, CaDiCaL::Internal
vSlices : Prs_Ntk_t_, Psr_Ntk_t_, Rtl_Lib_t_
vSol : Abc_RData_t_, Res6_Man_t_
vSolBest : Res6_Man_t_, Sbl_Man_t_
vSolCur : Sbl_Man_t_
vSolCuts : Sbm_Man_t_
vSolInit : Sbl_Man_t_
vSolutions : Supp_Man_t_
vSolvers : Pdr_Man_t_
vSops : FxuDataStruct
vSopsNew : FxuDataStruct
vSortData : Sfm_Tim_t_
vSorted : Amap_Lib_t_
vSorter : Gia_ResbMan_t_
vSources : Wln_Ret_t_
vSPairs : Supp_Man_t_
vSpec2Bmiter : Bnd_Man_t_
vSpec2Impl_phase : Bnd_Man_t_
vSpots : Bdc_Man_t_
vSStarts : Supp_Man_t_
vStack : Abc_LutCas_t_, Int2_Man_t_, Smt_Prs_t_, xSAT_Solver_t_
vStackFn : Ver_Man_t_
vStackOp : Ver_Man_t_
vStackReplaceNew : Abc_Aig_t_
vStackReplaceOld : Abc_Aig_t_
vStairDecVars : Ses_Man_t_
vStamp : xSAT_Solver_t_
vStarts : Sfm_Ntk_t_, Wlc_Prs_t_
vStates : Aig_Tsi_t_, Gia_ManEra_t_, Gia_ManTer_t_, Saig_MvMan_t_, Saig_Tsim_t_
vStatus : Cec_ManSat_t_
vStatuses : Abc_Frame_t_
vStgDump : Gia_ManEra_t_
vStopsB : Gia_Man_t_
vStopsF : Gia_Man_t_
vStorage : Cec_ManPat_t_
vStore : Abc_BSEval_t_, Abc_Frame_t_, Gia_Man_t_, Gia_ManUnr_t_, Rtl_Ntk_t_, Sfm_Lib_t_
vStoreNew : Lf_Man_t_
vStoreOld : Lf_Man_t_
vSubckts : Io_MvMod_t_
vSubCube0 : Fxch_SCHashTable_t_
vSubCube1 : Fxch_SCHashTable_t_
vSucceeded : Prs_Man_t_, Psr_Man_t_
vSuffCis : Int2_Man_t_
vSuffCos : Int2_Man_t_
vSuper : Gia_Man_t_, Ifd_Man_t_
vSupp : Acb_Mfs_t_, Cov_Obj_t_, Mfs_Man_t_, Res6_Man_t_
vSuppFun : Sim_Man_t_, Sym_Man_t_
vSuppIn : Kit_ManDec_t_
vSuppOld : Acb_Ntk_t_
vSupports : Sym_Man_t_
vSuppOut : Kit_ManDec_t_
vSupps : Abc_Ntk_t_, Lms_Man_t_
vSuppsInv : Cgt_Man_t_, Mfs_Man_t_
vSuppStr : Sim_Man_t_
vSuppTargs : Sim_Man_t_
vSuppVars : Gia_Man_t_
vSuppWords : Gia_Man_t_
vSwitches : Lf_Man_t_
vSwitching : Gia_Man_t_, If_Man_t_
vtab : CaDiCaL::Internal
vTable : Abc_BSEval_t_, Gia_Iso2Man_t_, Hash_IntMan_t_, Hsh_Int1Man_t_, Hsh_IntMan_t_, Hsh_VecMan_t_, Vec_Mem_t_
vTables : Wlc_Ntk_t_, Wlc_Prs_t_, Wln_Ntk_t_
vTagged : xSAT_Solver_t_
vTags : xSAT_Solver_t_
vTargets : Acb_Ntk_t_, Saig_Bmc_t_, Ssw_Sem_t_
vTemp : Abc_ManRes_t_, Amap_Man_t_, Cbs2_Man_t_, Cbs3_Man_t_, Cbs_Man_t_, CbsP_Man_t_, Cut_ManStruct_t_, Dtt_Man_t_, Gla_Man_t_, Hsh_VecMan_t_, If_Man_t_, Jf_Man_t_, Lpk_Man_t_, Mf_Man_t_, Mpm_Man_t_, Msat_Solver_t_, Nwk_Man_t_, Prs_Man_t_, Psr_Man_t_, Rtl_Lib_t_, Sfm_Lib_t_, Supp_Man_t_, Tas_Man_t_, Txs3_Man_t_, Txs_Man_t_
vTemp1 : Hsh_VecMan_t_, If_DsdMan_t_, Iso_Man_t_
vTemp2 : Dtt_Man_t_, Hsh_VecMan_t_, If_DsdMan_t_, Iso_Man_t_, Prs_Man_t_, Psr_Man_t_
vTemp3 : Prs_Man_t_
vTemp4 : Prs_Man_t_
vTempBest : Res6_Man_t_
vTempC : Pln_Man_t_
vTempFans : Smt_Prs_t_
vTempI1 : Sbl_Man_t_
vTempI2 : Sbl_Man_t_
vTempls : SC_Lib_
vTempM : Pln_Man_t_
vTempN1 : Sbl_Man_t_
vTempN2 : Sbl_Man_t_
vTempP : Amap_Man_t_
vTempPairs : Supp_Man_t_
vTempSets : Supp_Man_t_
vTents : Unr_Man_t_
vTerInfo : Gia_ManBmc_t_
vTfCone : Buf_Man_t_
vTfo : Gia_SimRsbMan_t_, Rewire::Miaig_Data, Sbd_Man_t_, Sfm_Ntk_t_
vTfos : Sbd_Man_t_
vTied : Gia_Iso2Man_t_
vTimArrs : Sfm_Tim_t_
vTime : Abc_LutCas_t_
vTimeEdges : MinRegMan_t_
vTimeouts : Fra_Man_t_
vTimes : Aig_Sto_t_, Iff_Man_t_, Mpm_Man_t_
vTimes2 : SC_Man_
vTimes3 : SC_Man_
vTimesOut : SC_Man_
vTimeStamps : Gia_Man_t_
vTiming : Gia_Man_t_
vTimings : SC_Timings_
vTimReqs : Sfm_Tim_t_
vTired : Saig_MvMan_t_
vTokens : Extra_FileReader_t_, Io_BlifMan_t_, Io_MvMan_t_, Io_ReadBlif_t_, Rtl_Lib_t_
vTokens2 : Io_MvMan_t_
vTopo : Abc_Ntk_t_
vTops : Abc_Des_t_, Mux_Man_t_
vToSkip : Seg_Man_t_
vTrace : Abc_LutCas_t_
vTraceBest : Abc_LutCas_t_
vTrail : Msat_Solver_t_, xSAT_Solver_t_
vTrailLim : Msat_Solver_t_, xSAT_Solver_t_
vTranslation : Fxch_Man_t_
vTravIds : Abc_Ntk_t_, Au_Ntk_t_, Mig_Man_t_, Sfm_Ntk_t_, Wlc_Ntk_t_, Wln_Ntk_t_
vTravIds2 : Sfm_Ntk_t_
vTried : Gia_Rsb2Man_t_
vTries : Rsb_Man_t_
vTriv0 : Cov_Man_t_
vTriv1 : Cov_Man_t_
vTruth : Mfs_Man_t_
vTruthElem : Ref_Man_t_
vTruthFreqs : Lms_Man_t_
vTruthId : Abc_TtHieMan_t_
vTruthIds : Lms_Man_t_
vTruthNodes : Gia_ManSup_t_, Kit_ManDec_t_
vTruthNpns : Dtt_Man_t_
vTruthPo : Lms_Man_t_
vTruths : Bdc_Man_t_, Dtt_Man_t_, Gia_Man_t_, If_DsdMan_t_, Ifd_Man_t_, Mio_LibraryStruct_t_, Odc_Man_t_, Sfm_Ntk_t_, Shr_Man_t_, Unm_Man_t_
vTruths2 : Sfm_Ntk_t_
vTruthsElem : Odc_Man_t_
vTruthStore : Ref_Man_t_
vTruthVars : Gia_ManSup_t_, Kit_ManDec_t_
vTt2Match : Mio_LibraryStruct_t_, Nf_Man_t_, Pf_Man_t_
vTt2Match2 : Mio_LibraryStruct_t_
vTt2Match4 : Mio_LibraryStruct_t_
vTt2Obj : Gia_ChMan_t_
vTtBdds : Kit_DsdMan_t_
vTtDecs : If_DsdMan_t_, If_Man_t_
vTtDsds : If_Man_t_
vTtElems : Kit_DsdMan_t_, Lpk_Man_t_
vTtInputs : Gia_Man_t_
vTTISOPs : Gia_Man_t_
vTtIsops : If_Man_t_
vTTLut : Gia_Man_t_
vTtMem : Abc_TtHieMan_t_, Gem_Man_t_, Gia_ChMan_t_, Gia_Sto_t_, If_DsdMan_t_, If_Man_t_, Jf_Man_t_, Lf_Man_t_, Lms_Man_t_, Mf_Man_t_, Mio_LibraryStruct_t_, Mpm_Man_t_, Nf_Man_t_, Of_Man_t_, Pf_Man_t_, Sbd_Sto_t_, Sdb_Sto_t_, Sfm_Lib_t_
vTtMem2 : Mio_LibraryStruct_t_
vTtMem6 : If_Man_t_
vTtMemory : Gia_Man_t_
vTtMints : Gia_SimAbsMan_t_
vTtNodes : Gia_Man_t_, Kit_DsdMan_t_, Lpk_Man_t_
vTtNums : Gia_Man_t_
vTtOccurs : If_Man_t_
vTtPerms : If_Man_t_
vTtVars : If_Man_t_
vType : Bac_Ntk_t_
vTypes : Gls_Man_t_, Wln_Ntk_t_
vUnateLits : Gia_ResbMan_t_
vUnateLitsW : Gia_ResbMan_t_
vUnatePairs : Gia_ResbMan_t_
vUnatePairsW : Gia_ResbMan_t_
vUndo : Pdr_Man_t_
vUnique : Acec_Box_t_
vUniques : Aig_ManPre_t_, Gia_Iso2Man_t_
vUnmark : Wla_Man_t_
vUpdatedNets : Abc_Aig_t_
vUpdates : SC_Man_
vUpdates2 : SC_Man_
vUpdClass : Ssw_RarMan_t_
vUpdConst : Ssw_RarMan_t_
vUsed : Abc_BSEval_t_, Acb_Man_t_, Cba_Man_t_, Unm_Man_t_
vUsed2 : Acb_Man_t_, Cba_Man_t_, Exa3_Man_t_, Zyx_Man_t_
vUsed3 : Exa3_Man_t_, Zyx_Man_t_
vUsedBins : Dtt_Man_t_
vUsedNodes : Cec_ManSat_t_, Dch_Man_t_
vUsedPis : Ssw_Sat_t_
vUsedSpots : Odc_Man_t_
vUseful : Cgt_Man_t_
vUserFfIds : Gia_Man_t_
vUserPiIds : Gia_Man_t_
vUserPoIds : Gia_Man_t_
vValsL : Min_Man_t_
vValsN : Min_Man_t_
vValue : CbsP_Man_t_, Hsh_VecMan_t_
vValues : ABC_ManagerStruct_t, Acb_Mfs_t_, Ga2_Man_t_, Gia_SimAbsMan_t_, Qbf_Man_t_, Sfm_Ntk_t_, Slv_Man_t_, Wlc_Ntk_t_
vVar2Glo : Int2_Man_t_
vVar2Id : Sfm_Ntk_t_, Ssc_Man_t_
vVar2Ids : Pdr_Man_t_
vVar2Inf : Aig_Gla1Man_t_, Aig_Gla2Man_t_, Aig_Gla3Man_t_
vVar2Obj : Gia_Man_t_, Llb_Man_t_
vVar2Reg : Pdr_Man_t_
vVarBegs : Llb_Man_t_
vVarCube : Fx_Man_t_
vVarEnds : Llb_Man_t_
vVarMap : Gia_Man_t_
vVars : Abc_ManRef_t_, Llb_Prt_t_, SC_TableTempl_
vVars2Q : Llb_Mgr_t_, Llb_Mnx_t_
vVarsAB : Inta_Man_t_, Intb_Man_t_, Inter_Man_t_
vVarsCs : Llb_Img_t_
vVarsInt : Fraig_ManStruct_t_
vVarsNs : Llb_Img_t_
vVarsU : Sym_Man_t_
vVarsUsed : Fraig_ManStruct_t_, Msat_Solver_t_
vVarsV : Sym_Man_t_
vVarValues : Zyx_Man_t_
vvChildren : Ttopt::TruthTableReo
vvChildrenSaved : Ttopt::TruthTableReo
vVec0 : Gia_Iso2Man_t_
vVec1 : Gia_Iso2Man_t_
vVec2Use : Aig_Gla2Man_t_, Aig_Gla3Man_t_
vVec2Var : Aig_Gla1Man_t_, Aig_Gla2Man_t_, Aig_Gla3Man_t_
vvIndices : Ttopt::TruthTable
vvIndicesSaved : Ttopt::TruthTable
vVis : Min_Man_t_
vVisit : Cec4_Man_t_, Cec5_Man_t_, Dam_Man_t_
vVisited : Abc_ManCut_t_, Abc_ManRef_t_, Cgt_Man_t_, Dtt_Man_t_, Gia_ManBmc_t_, If_Man_t_, Iso_Sto_t_, Lpk_Man_t_, Map_ManStruct_t_, Saig_Bmc_t_
vVisited2 : If_Man_t_
vVisits : Cec_ManSat_t_, Pdr_Man_t_
vVLits : Pdr_Man_t_
vvMergedIndices : Ttopt::TruthTableCare
vvMergedIndicesSaved : Ttopt::TruthTableCare
vVolume : Abc_ManScl_t_, Aig_Gla1Man_t_
vvRedundantIndices : Ttopt::TruthTable
vvRedundantIndicesSaved : Ttopt::TruthTable
vWatches : Cbs2_Man_t_, Cbs3_Man_t_, xSAT_Solver_t_
vWatchLits : Tas_Man_t_
vWatchUpds : Cbs2_Man_t_, Cbs3_Man_t_
vWeights : Fx_Man_t_, Fxch_Man_t_, Gia_Man_t_, Supp_Man_t_
vWindow : Sbl_Man_t_
vWinObjs : Sbd_Man_t_
vWireCaps : Bus_Man_t_, SC_Man_
vWireLoadModel : SC_WireLoadSel_
vWireLoads : SC_Lib_
vWireLoadSels : SC_Lib_
vWires : Prs_Ntk_t_, Psr_Ntk_t_, Rtl_Ntk_t_
vWiresR : Prs_Ntk_t_, Psr_Ntk_t_
vWordsIn : Mop_Man_t_
vWordsOut : Mop_Man_t_
vXFlops : Saig_MvMan_t_
vXorNodes : Cec_ManFra_t_
vXors : Gia_Man_t_
vZeroSlack : Abc_LutCas_t_