- v -

• v : cloudNode , Kit_Mux_t_
• vAddedCells : Abc_Aig_t_
• vAdjacents : Fraig_ManStruct_t_ , Msat_Solver_t_
• value : DdNode , DdGen , DdLocalCacheItem , DdHashItem
• Value : Dar_Cut_t_
• value : hack , EpDoubleStruct
• Value : Fpga_NodeStruct_t_
• value : pla_types_struct
• values : _CSAT_Target_ResultT
• vAnds : Fpga_ManStruct_t_ , Map_ManStruct_t_
• Var : Bdc_Isf_t_
• var1 : pair_struct
• var2 : pair_struct
• var_decay : sat_solver_t
• var_inc : sat_solver_t
• var_mask : cube_struct
• var_zeros : cdata_struct
• varHandled : DdSubtable
• variable : symbolic_list_struct
• Variable : Lpk_Res_t_
• vArrs : Abc_ManTime_t_
• vars : cloudManager , DdManager
• vars_active : cdata_struct
• vars_unate : cdata_struct
• varToBeGrouped : DdSubtable
• varType : DdSubtable
• vAsserts : Abc_Ntk_t_
• vAttrs : Abc_Ntk_t_
• vBddDir : Lpk_Man_t_
• vBddInv : Lpk_Man_t_
• vBinate : Abc_ManRst_t_
• vBoxes : Aig_TMan_t_ , Abc_Ntk_t_
• vBranches : Odc_Man_t_ , Res_Win_t_
• vBufs : Aig_Man_t_ , Ivy_Man_t_
• vCands : Res_Sim_t_
• vCex : Fra_Man_t_
• vChunks : Hop_Man_t_ , Ivy_Man_t_
• vCis : Abc_Ntk_t_ , If_Man_t_
• vClasses : Fra_Cla_t_ , Rwt_Man_t_ , Rwr_Man_t_
• vClasses1 : Fra_Cla_t_
• vClassesTemp : Fra_Cla_t_
• vClassNew : Fra_Cla_t_
• vClassOld : Fra_Cla_t_
• vClauses : Msat_Solver_t_
• vCone : Abc_RRMan_t_
• vConeLeaves : Abc_ManCut_t_
• vCones : Fraig_ManStruct_t_
• vConeVars : Msat_Solver_t_
• vCos : Abc_Ntk_t_ , If_Man_t_
• vCosts : Abc_ManRec_t_
• vCover : Lpk_Man_t_
• vCube : Abc_ManRef_t_ , Mio_LibraryStruct_t_
• vCubes : Dec_Man_t_ , Io_ReadBlif_t_
• vCutNodes : Ref_Man_t_
• vCutPairs : Cut_ManStruct_t_ , Cut_OracleStruct_t_
• vCuts : Ref_Man_t_
• vCuts0 : Cut_OracleStruct_t_
• vCuts1 : Cut_OracleStruct_t_
• vCutsMax : Cut_ManStruct_t_
• vCutsNew : Cut_ManStruct_t_ , Cut_OracleStruct_t_
• vCutsOld : Cut_ManStruct_t_
• vCutsTemp : Cut_ManStruct_t_
• vDecs : Abc_ManRst_t_
• vDelays : Cut_ManStruct_t_
• vDelays2 : Cut_ManStruct_t_
• vDiffs : Sim_Man_t_
• vDivs : Abc_ManRes_t_ , Res_Win_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_
• verbosity : sat_solver_t
• vFanCounts : Cut_ManStruct_t_ , Cut_OracleStruct_t_
• vFaninLeaves : Abc_RRMan_t_
• vFanins : Rwt_Man_t_ , Abc_Obj_t_ , FxuDataStruct , Rwr_Man_t_ , Fraig_NodeStruct_t_
• vFaninsCur : Rwt_Man_t_ , Rwr_Man_t_
• vFaninsNew : FxuDataStruct
• vFanoutRoots : Abc_RRMan_t_
• vFanouts : Abc_Obj_t_
• vFifo : Sim_Man_t_
• vFlopNums : Aig_Man_t_
• vForest : Rwt_Man_t_ , Rwr_Man_t_
• vForm : Abc_ManRef_t_
• vFraigs : Fra_Lcr_t_
• vFree : Part_Man_t_ , Supp_Man_t_
• vFunc : Io_MvMan_t_
• vHeap : Msat_Order_t_
• vImps : Fra_Cla_t_ , Fra_Bmc_t_
• vIndex : Msat_Order_t_
• vInputs : Io_BlifMan_t_ , Io_MvMod_t_ , Fraig_ManStruct_t_
• visited : DdGen
• vIsop : Cnf_Cut_t_
• vLabels : Abc_ManRec_t_
• vLags : If_Man_t_
• vLatches : Io_BlifMan_t_ , Io_MvMod_t_
• vLatchOrder : If_Man_t_
• vLearned : Msat_Solver_t_
• vLeaves : Abc_ManScl_t_ , Odc_Man_t_ , Abc_ManRef_t_ , Abc_ManRst_t_ , Abc_RRMan_t_ , Lpk_Man_t_ , Res_Win_t_
• vLeavesBest : Dar_Man_t_ , Ref_Man_t_
• vLevelR : Aig_Man_t_
• vLevels : Aig_Man_t_ , Abc_Aig_t_ , Abc_ManCut_t_ , Lpk_Man_t_ , Res_Man_t_
• vLevelsR : Abc_Ntk_t_ , Abc_Aig_t_
• vLevNums : Rwt_Man_t_ , Rwr_Man_t_
• vLines : Io_BlifMan_t_ , Io_MvMan_t_ , Extra_FileReader_t_
• vLis : Io_BlifMan_t_
• vLits : Dec_Man_t_
• vLos : Io_BlifMan_t_
• vLuts : Ivy_SuppMan_t_
• vMapped : Aig_Man_t_ , If_Man_t_
• vMapping : Fpga_ManStruct_t_ , Map_ManStruct_t_
• vMatrix : Res_Win_t_
• vMatrNonSymms : Sym_Man_t_
• vMatrSymms : Sym_Man_t_
• vMem : Res_Man_t_
• vMemory : Ref_Man_t_ , Part_Man_t_ , Bdc_Man_t_ , Cnf_Man_t_ , Supp_Man_t_ , Abc_ManRec_t_ , Lpk_Man_t_
• vModels : Io_MvMan_t_
• vModules : Abc_Lib_t_
• vMvs : Io_MvMod_t_
• vNames : Io_BlifMan_t_ , Io_MvMod_t_ , Ver_Man_t_
• vNetsActual : Ver_Bundle_t_
• vNewTokens : Io_ReadBlif_t_
• vNodeAttrs : Cut_ManStruct_t_
• vNodeCuts : Cut_ManStruct_t_ , Cut_OracleStruct_t_
• vNodeLeaves : Abc_ManCut_t_
• vNodes : Kit_DsdMan_t_ , Res_Win_t_ , Abc_Aig_t_ , Abc_ManRec_t_ , Lpk_Fun_t_ , Sym_Man_t_ , ABC_ManagerStruct_t , Fraig_ManStruct_t_
• vNodesAll : Fpga_ManStruct_t_ , Map_ManStruct_t_
• vNodeStarts : Cut_ManStruct_t_ , Cut_OracleStruct_t_
• vNodesTemp : Map_ManStruct_t_ , Rwr_Man_t_ , Rwt_Man_t_
• vNodesTfo : Abc_ManCut_t_
• vObjs : Rtm_Man_t_ , Hop_Man_t_ , Ivy_Man_t_ , If_Man_t_ , Abc_Ntk_t_ , Aig_Man_t_
• Volume : Rwt_Node_t_ , Rwr_Node_t_
• vOnes : Abc_ManRst_t_
• vOutputs : Io_BlifMan_t_ , Io_MvMod_t_ , Fraig_ManStruct_t_
• vOuts : Res_Sim_t_
• vPages : Ivy_Man_t_ , Hop_Man_t_
• vPairs : FxuMatrix
• vPairsNonSym : Sym_Man_t_
• vPairsSym : Sym_Man_t_
• vPairsTotal : Sym_Man_t_
• vParts : Fra_Lcr_t_
• vPats : Res_Sim_t_
• vPats0 : Res_Sim_t_
• vPats1 : Res_Sim_t_
• vPatsReal : Fraig_ManStruct_t_
• vPerm : Ver_Man_t_
• vPios : Abc_Ntk_t_
• vPis : Aig_Man_t_ , Abc_Ntk_t_ , Hop_Man_t_ , Io_BlifMan_t_ , Rtm_Man_t_ , Ivy_Man_t_
• vPiVars : Fra_Man_t_ , Ivy_FraigMan_t_
• vPos : Aig_Man_t_ , Rtm_Man_t_ , Hop_Man_t_ , Io_BlifMan_t_ , Ivy_Man_t_ , Abc_Ntk_t_
• vProj : Fraig_ManStruct_t_
• vRands : Abc_ManRst_t_
• vReason : Msat_Solver_t_
• vReqs : Abc_ManTime_t_
• vRequired : Ivy_Man_t_
• vResets : Io_MvMod_t_
• vResubs : Res_Man_t_
• vResubsW : Res_Man_t_
• vRoots : Odc_Man_t_ , Res_Win_t_ , Abc_RRMan_t_
• vSets : Lpk_Man_t_
• vSim : Sym_Man_t_
• vSim0 : Sim_Man_t_
• vSim1 : Sim_Man_t_
• vSims : Abc_ManRst_t_ , Abc_ManRes_t_
• vSops : FxuDataStruct
• vSopsNew : FxuDataStruct
• vSpots : Bdc_Man_t_
• vStackFn : Ver_Man_t_
• vStackOp : Ver_Man_t_
• vStackReplaceNew : Abc_Aig_t_
• vStackReplaceOld : Abc_Aig_t_
• vStates : Aig_Tsi_t_
• vStore : Abc_Frame_t_
• vSubckts : Io_MvMod_t_
• vSuppFun : Sym_Man_t_ , Sim_Man_t_
• vSupports : Sym_Man_t_
• vSupps : Abc_Ntk_t_
• vSuppStr : Sim_Man_t_
• vSuppTargs : Sim_Man_t_
• vTemp : Msat_Solver_t_ , Abc_ManRst_t_ , If_Man_t_ , Cut_ManStruct_t_ , Abc_ManRes_t_
• vTimeouts : Fra_Man_t_
• vTokens : Io_ReadBlif_t_ , Io_MvMan_t_ , Io_BlifMan_t_ , Extra_FileReader_t_
• vTokens2 : Io_MvMan_t_
• vTops : Abc_Lib_t_
• vTrail : Msat_Solver_t_
• vTrailLim : Msat_Solver_t_
• vTruthElem : Ref_Man_t_
• vTruths : Odc_Man_t_ , Bdc_Man_t_
• vTruthsElem : Odc_Man_t_
• vTruthStore : Ref_Man_t_
• vTtBdds : Kit_DsdMan_t_
• vTtElems : Lpk_Man_t_ , Abc_ManRec_t_ , Kit_DsdMan_t_
• vTtNodes : Abc_ManRec_t_ , Lpk_Man_t_ , Kit_DsdMan_t_
• vTtTemps : Abc_ManRec_t_
• vTwos : Abc_ManRst_t_
• vUpdatedNets : Abc_Aig_t_
• vUsedSpots : Odc_Man_t_
• vValues : ABC_ManagerStruct_t
• vVarsInt : Fraig_ManStruct_t_
• vVarsU : Sym_Man_t_
• vVarsUsed : Msat_Solver_t_ , Fraig_ManStruct_t_
• vVarsV : Sym_Man_t_
• vVisited : Abc_ManCut_t_ , Map_ManStruct_t_ , Abc_ManRef_t_ , Abc_ManRst_t_ , Lpk_Man_t_
• vVolume : Abc_ManScl_t_