- v -

• value : MiniSat::lbool
• var_binds_found : CVC3::TheoryQuant::multTrigsInfo
• var_decay : MiniSat::SearchParams
• var_pos : CVC3::TheoryQuant::multTrigsInfo
• varInCycle : CVC3::TheoryArithOld::DifferenceLogicGraph
• vc : CVC3::ParserTemp
• verbosity : CSolverParameters
• vMap : LFSCPfVar
• vptr : SatSolver::Clause , SatSolver::Lit , SatSolver::Var