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

- v -

v : cloudNode , Kit_Mux_t_
v1 : TlClause
v2 : TlClause
vAbcObjIds : Abc_Frame_t_
vAbs : Ga2_Man_t_ , Gla_Man_t_
vActiveVars : Tas_Man_t_
vActVars : Pdr_Man_t_
vAddedCells : Abc_Aig_t_
vAddedNew : Gla_Man_t_ , Vta_Man_t_
vAdjacents : Fraig_ManStruct_t_ , Msat_Solver_t_
vAffected : Gli_Man_t_
vAig2Frm : Saig_Bmc_t_ , Ssw_Frm_t_
val : code , varinfo_t
Value : Au_Obj_t_
value : avl_node_struct
Value : Cof_Obj_t_ , Dar_Cut_t_
value : DdGen , DdHashItem , DdLocalCacheItem , DdNode
Value : Emb_Obj_t_
value : EpTypeUnion
Value : Fpga_NodeStruct_t_ , Gia_Obj_t_
value : hack , Minisat::BoolOption , Minisat::DoubleOption , Minisat::IntOption , Minisat::lbool , Minisat::Solver , Minisat::StringOption
Value : Mio_GateStruct_t_
value : pla_types_struct
Value : Rf2_Obj_t_ , Rfn_Obj_t_ , Rnm_Obj_t_ , Saig_MvObj_t_ , Vta_Obj_t_
values : _CSAT_Target_ResultT
Values : Ifn_Ntk_t_
vAndGate : If_Man_t_
vAndLits : Inter_Check_t_
vAnds : Fpga_ManStruct_t_ , Gia_ManFra_t_ , If_Man_t_
vAntClas : Intp_Man_t_
Var : Abc_ZddObj_ , Ifn_Obj_t_
var1 : pair_struct
var2 : pair_struct
var_decay : Minisat::Solver
var_inc : Minisat::Solver , sat_solver2_t , sat_solver_t
var_inc2 : sat_solver2_t , sat_solver_t
var_mask : cube_struct
var_zeros : cdata_struct
varBumpActivity() : Minisat::Solver
vardata : Minisat::Solver
VarDecay : Tas_Par_t_
varDecayActivity() : Minisat::Solver
vAreaFrom : SC_WireLoadSel_
vAreas : Lms_Man_t_ , Mpm_Man_t_
vAreaTo : SC_WireLoadSel_
vArgs : Ifd_Man_t_
varHandled : DdSubtable
Variable : Lpk_Res_t_
variable : symbolic_list_struct
VarInc : Tas_Par_t_
varN : permInfo , swapInfo
VarOrderLt() : Minisat::Solver::VarOrderLt
vArr : Buf_Man_t_ , Jf_Man_t_
vArray : If_Man_t_
vArrs : Abc_ManTime_t_
vars : cloudManager , DdManager , DdTlcInfo
vars_active : cdata_struct
vars_unate : cdata_struct
varToBeGrouped : DdSubtable
varType : DdSubtable
vAssign : Int2_Man_t_
vAssigned : Aig_Gla1Man_t_
vAssLits : Inter_Check_t_
vAssumps : Gia_ManAre_t_
vAttrs : Abc_Ntk_t_
vBackup : Nf_Man_t_
vBackup2 : Nf_Man_t_
vBarBufs : Gia_Man_t_
vBddDir : Lpk_Man_t_
vBddInv : Lpk_Man_t_
vBestFans : SC_Man_
vBinate : Abc_ManRst_t_
vBoxes : Abc_Ntk_t_ , If_LibBox_t_ , Tim_Man_t_
vBranches : Odc_Man_t_ , Res_Win_t_
vBuckets : Abc_ShaMan_t_
vBufs : Aig_Man_t_ , Ivy_Man_t_
vBugTrace : Gia_ManEra_t_
vCands : Res_Sim_t_
vCellClasses : SC_Lib_
vCellMapping : Gia_Man_t_
vCells : 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_
vCexSwp : Swp_Man_t_
vCexTest : Cla_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_
vCiLits : Gia_ManAre_t_
vCiMap : Unr_Man_t_
vCins : Bus_Man_t_
vCiNumsOrig : Aig_Man_t_ , Gia_Man_t_
vCiObjs : Pdr_Man_t_
vCis : Abc_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_ , Wlc_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_
vCla2Fra : Aig_Gla2Man_t_ , Aig_Gla3Man_t_
vCla2Obj : Aig_Gla2Man_t_ , Aig_Gla3Man_t_
vClasses : 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_
vClauses : Clu_Man_t_ , Ifd_Man_t_ , Msat_Solver_t_ , Pdr_Man_t_ , Sfm_Ntk_t_
vClausesProven : Clu_Man_t_
vClockDoms : Aig_Man_t_ , Gia_Man_t_
vCnfMem : Mf_Man_t_
vCnfs : Ga2_Man_t_ , Jf_Man_t_ , Sfm_Ntk_t_
vCnfSizes : Mf_Man_t_
vCoAttrs : If_Man_t_
vCofVars : Gia_Man_t_ , Gia_ManAre_t_
vCoMap : Unr_Man_t_
vCommon : Ssw_Man_t_
vCompls : Fx_Man_t_
vComTo0 : Cov_Man_t_
vComTo1 : Cov_Man_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_
vConstrs : Io_MvMod_t_
vConsts : Gia_ManSim_t_
vCoNumsOrig : Gia_Man_t_
vCoObjs : Pdr_Man_t_
vCopies : Au_Ntk_t_ , Cba_Ntk_t_ , Ccf_Man_t_ , Dss_Man_t_ , Gia_Man_t_ , Int_Ntk_t_ , Mig_Man_t_ , Wlc_Ntk_t_
vCopies2 : Int_Ntk_t_
vCoreCounts : Gla_Man_t_
vCores : Vta_Man_t_
vCos : Abc_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_ , Wlc_Ntk_t_
vCoSimInfo : Cec_ManSim_t_
vCosts : Bal_Man_t_ , Clu_Man_t_
vCounts : Buf_Man_t_ , Dam_Man_t_ , Fx_Man_t_ , Rnm_Man_t_ , Sfm_Ntk_t_
vCoVals : Pdr_Man_t_
vCover : Aig_Gla1Man_t_ , Cba_Prs_t_ , If_DsdMan_t_ , If_Man_t_ , Lpk_Man_t_ , Sfm_Ntk_t_
vCs2Glo : Llb_Img_t_ , Llb_Man_t_ , Llb_Mnn_t_
vCube : Abc_ManRef_t_ , Mio_LibraryStruct_t_
vCubeFree : Fx_Man_t_
vCubes : Dec_Man_t_ , Fx_Man_t_ , Io_ReadBlif_t_
vCubesA : Gia_ManAre_t_
vCubesB : Gia_ManAre_t_
vCubesD : Fx_Man_t_
vCubesS : Fx_Man_t_
vCutBests : Mpm_Man_t_
vCutData : If_Man_t_
vCutDelays : Nf_Man_t_
vCutFlows : Nf_Man_t_
vCutLists : Mpm_Man_t_
vCutNodes : Dar_Man_t_ , Ref_Man_t_
vCutPairs : Cut_ManStruct_t_ , Cut_OracleStruct_t_
vCuts : Jf_Man_t_ , Ref_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_
vCutsMax : Cut_ManStruct_t_
vCutsNew : Cut_ManStruct_t_ , Cut_OracleStruct_t_
vCutsOld : Cut_ManStruct_t_
vCutsTemp : Cut_ManStruct_t_
vData : Gia_ManBmc_t_ , Hsh_IntMan_t_ , Hsh_VecMan_t_ , SC_Surface_
vDdMans : Llb_Img_t_
vDecPats : Rsb_Man_t_
vDecs : Abc_ManRst_t_
vDegDiff : Gia_ManUnr_t_
vDegree : Gia_ManUnr_t_
vDelays : Buf_Man_t_ , Cut_ManStruct_t_ , Lms_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_
vDisPairs : Ssc_Man_t_
vDiv : Fx_Man_t_
vDiv2Nod : Dam_Man_t_
vDivCexes : Mfs_Man_t_ , Sfm_Ntk_t_
vDivIds : Sfm_Ntk_t_
vDivLevR : Dam_Man_t_
vDivLits : Mfs_Man_t_
vDivResub : Shr_Man_t_
vDivs : Abc_ManRes_t_ , Mfs_Man_t_ , Res_Win_t_ , Sfm_Ntk_t_ , Shr_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_
vDivTruths : Shr_Man_t_
vDivVars : Sfm_Ntk_t_
vDoms : Aig_Sto_t_ , Gia_Man_t_
vDriRefs : Llb_Img_t_
vec() : Minisat::vec< T >
vEdges : Buf_Man_t_ , Mpm_Man_t_
vEmpty : Sfm_Ntk_t_
vEquPairs : Aig_Man_t_
verbosity : DState , EState , Minisat::Solver , sat_solver2_t , sat_solver_t
vEstRefs : Mpm_Man_t_
vETimes : Bus_Man_t_
vExpr : Mio_GateStruct_t_
vFailed : Cba_Prs_t_
vFanCounts : Cov_Man_t_ , Cut_ManStruct_t_ , Cut_OracleStruct_t_
vFaninLeaves : Abc_RRMan_t_
vFaninMap : Sfm_Ntk_t_
vFaninNums : Bbl_Man_t_
vFanins : Abc_Obj_t_ , Cba_Ntk_t_ , Cec_ManSat_t_ , Dch_Man_t_ , Fraig_NodeStruct_t_ , FxuDataStruct , Int_Obj_t_ , Rf2_Man_t_ , Rnm_Man_t_ , Rsb_Man_t_ , Rwr_Man_t_ , Rwt_Man_t_ , Sfm_Ntk_t_ , Ssc_Man_t_ , Ssw_Sat_t_ , Str_Ntk_t_ , Swp_Man_t_ , Wlc_Prs_t_
vFaninsCur : Cba_Prs_t_ , Rwr_Man_t_ , Rwt_Man_t_
vFaninsNew : FxuDataStruct
vFaninsOld : Rsb_Man_t_
vFanMem : Shr_Man_t_
vFanout : Cgt_Man_t_ , Gia_Man_t_ , SC_WireLoad_
vFanoutNums : Gia_Man_t_
vFanoutRoots : Abc_RRMan_t_
vFanouts : Abc_Obj_t_ , Buf_Man_t_ , Bus_Man_t_ , Sfm_Ntk_t_
vFans : Aig_Sto_t_
vFfs : Wlc_Ntk_t_
vFifo : Sim_Man_t_
vFirst : Gia_ManUnr_t_
vFixed : Sfm_Ntk_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_
vForest : Rwr_Man_t_ , Rwt_Man_t_
vForm : Abc_ManRef_t_
vFraigs : Fra_Lcr_t_
vFrames : Gla_Obj_t_ , Vta_Man_t_
vFree : Lf_Mem_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_
vFrontier : Gli_Man_t_
vFunc : Io_MvMan_t_ , SC_Pin_
vFuncs : Cba_Ntk_t_
vFuncsCur : Cba_Prs_t_
vGateClasses : Gia_Man_t_
vGates : Abc_Ntk_t_ , Amap_Lib_t_ , Cgt_Man_t_ , SC_Time_
vGatesAll : Cgt_Man_t_
vGatesBest : SC_Man_
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 : Dam_Man_t_ , Gia_ManBmc_t_ , Ifd_Man_t_
vHeap : Msat_Order_t_
vHistory : Ssw_Sem_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_
vImageOne : Int2_Man_t_
vImagesAll : Int2_Man_t_
vImps : Fra_Bmc_t_ , Fra_Cla_t_
vInArrs : Gia_Man_t_
vIncluded : Aig_Gla1Man_t_
vIndex : Msat_Order_t_ , SC_TableTempl_
vIndex0 : SC_Surface_
vIndex1 : SC_Surface_
vIndFlops : Abc_Frame_t_
vInDrive : SC_Man_
vInfo : Prf_Man_t_
vInitClasses : Gia_Man_t_
vInits : Ssw_Man_t_ , Ssw_RarMan_t_
vInouts : Cba_Ntk_t_
vInoutsCur : Cba_Prs_t_
vInputNames : Int_Ntk_t_
vInputs : Bmc_Mna_t_ , Cba_Ntk_t_ , Fraig_ManStruct_t_ , Io_BlifMan_t_ , Io_MvMod_t_
vInputsCur : Cba_Prs_t_
vIns : Gia_ManFra_t_ , Llb_Grp_t_
vInstances : Int_Ntk_t_
vInstIds : Cba_Ntk_t_
vInstIdsCur : Cba_Prs_t_
vInt2Handle : Abc_Nam_t_
vInt2Next : Abc_Nam_t_
vInters : Inter_Man_t_
visited : Rpo_LCI_Edge_t_
vIsop : Cnf_Cut_t_
vIsopMem : Ga2_Man_t_
vIsops : If_DsdMan_t_
vKnown : Cba_Prs_t_
vLabels : Lms_Man_t_
vLabelsP : Lms_Man_t_
vLags : If_Man_t_
vLatches : Io_BlifMan_t_ , Io_MvMod_t_
vLatchOrder : If_Man_t_
vLearned : Msat_Solver_t_
vLeaves : Abc_ManRef_t_ , Abc_ManRst_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_ , Shr_Man_t_ , Unm_Man_t_
vLeavesBest : Dar_Man_t_ , Ref_Man_t_
vLen : SC_WireLoad_
vLevCounts : Gia_IsoMan_t_
vLevelR : Aig_Man_t_
vLevels : Abc_Aig_t_ , Abc_ManCut_t_ , Aig_Man_t_ , Fx_Man_t_ , Gia_Man_t_ , Lpk_Man_t_ , Mfs_Man_t_ , Mig_Man_t_ , Res_Man_t_ , SC_Man_ , Sfm_Ntk_t_
vLevelsR : Abc_Aig_t_ , Abc_Ntk_t_ , Sfm_Ntk_t_
vLevNums : Rwr_Man_t_ , Rwt_Man_t_
vLevReas : Cbs_Man_t_ , Tas_Man_t_
vLimit : Gia_ManUnr_t_
vLines : Extra_FileReader_t_ , Io_BlifMan_t_ , Io_MvMan_t_ , Wlc_Prs_t_
vLis : Fsim_Man_t_ , Io_BlifMan_t_ , Raig_Man_t_
vLits : Aig_Gla1Man_t_ , Clu_Man_t_ , Dec_Man_t_ , Fx_Man_t_ , Ga2_Man_t_ , Pdr_Man_t_ , Qbf_Man_t_ , Sfm_Ntk_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_
vLutConfigs : Gia_Man_t_
vLuts : Ivy_SuppMan_t_
vLutsIn : Kit_ManDec_t_
vLutsOut : Kit_ManDec_t_
vMap : Hsh_VecMan_t_ , Rf2_Man_t_ , Rnm_Man_t_
vMap0 : Gia_Iso2Man_t_
vMap1 : Gia_Iso2Man_t_
vMap2Perm : Mpm_Man_t_ , Sdm_Man_t_
vMapBufs : Map_ManStruct_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_
vMapPref : Int2_Man_t_
vMapRefs : Gia_ManBmc_t_ , Lf_Man_t_ , Mpm_Man_t_ , Nf_Man_t_
vMapSuff : Int2_Man_t_
vMarks : Ifd_Man_t_
vMatch : Iff_Man_t_
vMatrix : Aig_ManPre_t_ , Res_Win_t_
vMatrNonSymms : Sym_Man_t_
vMatrSymms : Sym_Man_t_
vMem : Mfs_Man_t_ , Res_Man_t_
vMemory : Bdc_Man_t_ , Cnf_Man_t_ , Lpk_Man_t_ , Part_Man_t_ , Ref_Man_t_ , Supp_Man_t_
vMemSets : Lf_Man_t_
vMemStore : Nf_Man_t_
vMfsFanins : Mfs_Man_t_
vMigRefs : Mpm_Man_t_
vModel : Cbs0_Man_t_ , Cbs_Man_t_ , Tas_Man_t_
vModels : Int_Des_t_ , Io_MvMan_t_
vModules : Abc_Des_t_
vMvs : Io_MvMod_t_
vNameIds : Abc_Ntk_t_ , Cba_Ntk_t_ , Wlc_Ntk_t_
vNames : Io_BlifMan_t_ , Io_MvMod_t_ , Ver_Man_t_
vNamesIn : Gia_Man_t_
vNamesOut : Gia_Man_t_
vNetsActual : Ver_Bundle_t_
vNewLos : Ssw_Man_t_
vNewPos : Ssw_Man_t_
vNewTokens : Io_ReadBlif_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_
vNodeIter : SC_Man_
vNodeLeaves : Abc_ManCut_t_
vNodes : Abc_Aig_t_ , ABC_ManagerStruct_t , Aig_Gla1Man_t_ , Bmc_Mna_t_ , Fraig_ManStruct_t_ , Kit_DsdMan_t_ , Llb_Grp_t_ , Lms_Man_t_ , Lpk_Fun_t_ , Mfs_Man_t_ , Pdr_Man_t_ , Res_Win_t_ , Sfm_Ntk_t_ , Sym_Man_t_
vNodesAll : Fpga_ManStruct_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_
vNpnConfigs : Mpm_Man_t_
vNs2Glo : Llb_Img_t_ , Llb_Man_t_ , Llb_Mnn_t_
vNtks : Au_Man_t_ , Cba_Man_t_
vObj2Cnf : Aig_Gla1Man_t_
vObj2Fan : Shr_Man_t_
vObj2Id : Bbl_Man_t_
vObj2Lit : Abc_ShaMan_t_
vObj2Var : Llb_Man_t_ , Saig_Bmc_t_
vObj2Vec : Aig_Gla1Man_t_ , Aig_Gla2Man_t_ , Aig_Gla3Man_t_
vObjClasses : Gia_Man_t_
vObjCounts : Gla_Man_t_
vObjLim : Unr_Man_t_
vObjPerm : Abc_Ntk_t_
vObjs : Abc_Ntk_t_ , Aig_Man_t_ , Amap_Man_t_ , Au_Ntk_t_ , Dss_Man_t_ , Dss_Ntk_t_ , Hash_IntMan_t_ , Hop_Man_t_ , Hsh_IntMan_t_ , If_DsdMan_t_ , If_Man_t_ , Ivy_Man_t_ , Nwk_Man_t_ , Rf2_Man_t_ , Rnm_Man_t_ , Rtm_Man_t_
vObjsRev : If_Man_t_
vObjStrs : Cov_Man_t_
vOffsets : Buf_Man_t_ , Lf_Man_t_
Volume : Rwr_Node_t_ , Rwt_Node_t_
vOnehots : Abc_Ntk_t_ , Aig_Man_t_
vOneHots : Fra_Man_t_
vOnehots : Io_MvMod_t_
vOnes : Abc_ManRst_t_
vOrder : Buf_Man_t_ , Llb_Mnx_t_ , Sfm_Ntk_t_ , Unr_Man_t_ , Vta_Man_t_
vOrderLim : Unr_Man_t_
vOrGate : If_Man_t_
vOrLits : Inter_Check_t_
vOutMap : Pdr_Par_t_
vOutputNames : Int_Ntk_t_
vOutputs : Bmc_Mna_t_ , Cba_Ntk_t_ , Fraig_ManStruct_t_ , Int_Ntk_t_ , Io_BlifMan_t_ , Io_MvMod_t_
vOutputsCur : Cba_Prs_t_
vOutReqs : Gia_Man_t_
vOuts : Gia_ManFra_t_ , Llb_Grp_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_
vPairHash : If_Man_t_
vPairPerms : If_Man_t_
vPairRes : If_Man_t_
vPairs : FxuMatrix , Nwk_Grf_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_
vPatBests : Ssw_RarMan_t_
vPats : Res_Sim_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_
vPerm : Ver_Man_t_
vPerm6 : Mpm_Man_t_ , Sdm_Man_t_
vPerms : If_DsdMan_t_
vPhases : Abc_Ntk_t_
vPiCare : Aig_ManPack_t_
vPiLits : Unr_Man_t_
vPiMap : Bmc_Mna_t_
vPins : SC_Cell_
vPios : Abc_Ntk_t_
vPiPats : Aig_ManPack_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_
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_ , Int2_Man_t_ , Pdr_Man_t_ , Shr_Man_t_
vProbes : Swp_Man_t_
vProbs : Aig_Man_t_ , Mfs_Man_t_
vProj : Fraig_ManStruct_t_
vProjVarsCnf : Mfs_Man_t_
vProjVarsSat : Mfs_Man_t_
vProofIds : Ga2_Man_t_ , Gla_Man_t_
vQue : Buf_Man_t_ , Dam_Man_t_ , SC_Man_
vRands : Abc_ManRst_t_
vRanges : Cba_Ntk_t_
vRank : Gia_ManUnr_t_
vRanks : Unr_Man_t_
vReason : Msat_Solver_t_
vRefined : Ssw_Cla_t_
vRefinedC : Cec_ManSim_t_ , Hcd_Man_t_
vRefs : Jf_Man_t_ , Mig_Man_t_
vReg2Frame : Saig_ManCba_t_
vReg2Value : Saig_ManCba_t_
vRegClasses : Gia_Man_t_
vRegs : Aig_ManPre_t_
vReqs : Abc_ManTime_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_
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_
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_ , Sfm_Ntk_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 : Ssw_Sat_t_
vSatVarsBmcNs : Cla_Man_t_
vSatVarsMainCs : Cla_Man_t_
vSatVarsTestCs : Cla_Man_t_
vSatVarsTestNs : Cla_Man_t_
vSaved : Prf_Man_t_
vSeenGla : Vta_Man_t_
vSeens : Vta_Man_t_
vSelect : Amap_Lib_t_
vSeqModelVec : Abc_Ntk_t_ , Aig_Man_t_ , Gia_Man_t_
vSets : Lpk_Man_t_
vSetStore : Dam_Man_t_
vShorts : Io_MvMod_t_
vSibls : Mig_Man_t_
vSigns : Aig_ManPack_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_ , Abc_ManRst_t_ , Gia_Man_t_
vSimsPi : Gia_Man_t_
vSingles : Gia_Iso2Man_t_ , Iso_Man_t_
vSolvers : Pdr_Man_t_
vSops : FxuDataStruct
vSopsNew : FxuDataStruct
vSorted : Amap_Lib_t_
vSpots : Bdc_Man_t_
vStack : Int2_Man_t_
vStackFn : Ver_Man_t_
vStackOp : Ver_Man_t_
vStackReplaceNew : Abc_Aig_t_
vStackReplaceOld : Abc_Aig_t_
vStarts : 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_
vStorage : Cec_ManPat_t_
vStore : Abc_Frame_t_ , Gia_Man_t_ , Gia_ManUnr_t_
vStoreNew : Lf_Man_t_
vStoreOld : Lf_Man_t_
vSubckts : Io_MvMod_t_
vSucceeded : Cba_Prs_t_
vSuffCis : Int2_Man_t_
vSuffCos : Int2_Man_t_
vSuper : Gia_Man_t_ , Ifd_Man_t_
vSupp : Cov_Obj_t_ , Mfs_Man_t_
vSuppFun : Sim_Man_t_ , Sym_Man_t_
vSuppIn : Kit_ManDec_t_
vSuppLits : Pdr_Man_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_
vSwitches : Lf_Man_t_
vSwitching : Gia_Man_t_ , If_Man_t_
vTable : Gia_Iso2Man_t_ , Hash_IntMan_t_ , Hsh_IntMan_t_ , Hsh_VecMan_t_ , Vec_Mem_t_
vTables : Wlc_Ntk_t_ , Wlc_Prs_t_
vTargets : Saig_Bmc_t_ , Ssw_Sem_t_
vTemp : Abc_ManRes_t_ , Abc_ManRst_t_ , Amap_Man_t_ , Cba_Prs_t_ , Cbs_Man_t_ , Cut_ManStruct_t_ , Gla_Man_t_ , Hsh_VecMan_t_ , If_Man_t_ , Jf_Man_t_ , Mpm_Man_t_ , Msat_Solver_t_ , Nwk_Man_t_ , Tas_Man_t_
vTemp1 : If_DsdMan_t_ , Iso_Man_t_
vTemp2 : Cba_Prs_t_ , If_DsdMan_t_ , Iso_Man_t_
vTempls : SC_Lib_
vTents : Unr_Man_t_
vTerInfo : Gia_ManBmc_t_
vTfCone : Buf_Man_t_
vTfo : Sfm_Ntk_t_
vTied : Gia_Iso2Man_t_
vTimeouts : Fra_Man_t_
vTimes : Aig_Sto_t_ , Iff_Man_t_ , Mpm_Man_t_
vTimes2 : SC_Man_
vTimes3 : SC_Man_
vTimesOut : SC_Man_
vTiming : Gia_Man_t_
vTimings : SC_Timings_
vTired : Saig_MvMan_t_
vTokens : Extra_FileReader_t_ , Io_BlifMan_t_ , Io_MvMan_t_ , Io_ReadBlif_t_
vTokens2 : Io_MvMan_t_
vTopo : Abc_Ntk_t_
vTops : Abc_Des_t_ , Mux_Man_t_
vTrail : Msat_Solver_t_
vTrailLim : Msat_Solver_t_
vTravIds : Abc_Ntk_t_ , Au_Ntk_t_ , Mig_Man_t_ , Sfm_Ntk_t_ , Wlc_Ntk_t_
vTravIds2 : Sfm_Ntk_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_
vTruthIds : Lms_Man_t_
vTruthNodes : Gia_ManSup_t_ , Kit_ManDec_t_
vTruthPo : Lms_Man_t_
vTruths : Bdc_Man_t_ , Gia_Man_t_ , If_DsdMan_t_ , Ifd_Man_t_ , Odc_Man_t_ , Sfm_Ntk_t_ , Shr_Man_t_ , Unm_Man_t_
vTruthsElem : Odc_Man_t_
vTruthStore : Ref_Man_t_
vTruthVars : Gia_ManSup_t_ , Kit_ManDec_t_
vTt2Match : Nf_Man_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 : If_Man_t_
vTtMem : If_DsdMan_t_ , If_Man_t_ , Jf_Man_t_ , Lf_Man_t_ , Lms_Man_t_ , Mf_Man_t_ , Mpm_Man_t_ , Nf_Man_t_
vTtMemory : Gia_Man_t_
vTtNodes : Gia_Man_t_ , Kit_DsdMan_t_ , Lpk_Man_t_
vTtNums : Gia_Man_t_
vTtPerms : If_Man_t_
vTtVars : If_Man_t_
vTwos : Abc_ManRst_t_
vTypes : Cba_Ntk_t_
vTypesCur : Cba_Prs_t_
vUndo : Pdr_Man_t_
vUniques : Aig_ManPre_t_ , Gia_Iso2Man_t_
vUpdatedNets : Abc_Aig_t_
vUpdates : SC_Man_
vUpdates2 : SC_Man_
vUpdClass : Ssw_RarMan_t_
vUpdConst : Ssw_RarMan_t_
vUsed : Unm_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_
vValues : ABC_ManagerStruct_t , Ga2_Man_t_ , Qbf_Man_t_ , Sfm_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 : Llb_Man_t_
vVar2Reg : Pdr_Man_t_
vVarBegs : Llb_Man_t_
vVarCube : Fx_Man_t_
vVarEnds : Llb_Man_t_
vVars : 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_
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_
vVisit : Dam_Man_t_
vVisited : Abc_ManCut_t_ , Abc_ManRef_t_ , Abc_ManRst_t_ , Cgt_Man_t_ , Gia_ManBmc_t_ , Iso_Sto_t_ , Lpk_Man_t_ , Map_ManStruct_t_ , Saig_Bmc_t_
vVisits : Cec_ManSat_t_ , Pdr_Man_t_
vVLits : Pdr_Man_t_
vVolume : Abc_ManScl_t_ , Aig_Gla1Man_t_
vWatchLits : Tas_Man_t_
vWeights : Fx_Man_t_
vWireCaps : Bus_Man_t_ , SC_Man_
vWireLoadModel : SC_WireLoadSel_
vWireLoads : SC_Lib_
vWireLoadSels : SC_Lib_
vWires : Cba_Ntk_t_
vWiresCur : Cba_Prs_t_
vXFlops : Saig_MvMan_t_
vXorNodes : Cec_ManFra_t_