- v -

• valid : ilasynth::Abstraction::uabstraction_t
• value : ilasynth::BitvectorConst , ilasynth::BoolConst
• values : ilasynth::MemValues
• var : ilasynth::npair_t
• varCnt : ilasynth::CppVar , ilasynth::CVar
• varFV : ilasynth::BoogieTranslator
• vec : ilasynth::Abstraction::assump_collector_t
• visited : ilasynth::SupportVars
• vlgExpConfig : ilasynth::Abstraction
• voidStr : ilasynth::CppVar , ilasynth::CVar