- v -

• val : Clasp::DomainHeuristic::DomEntry , Clasp::DomainHeuristic::DomAction
• val_ : bk_lib::detail::Fill< T > , Clasp::Asp::PrgNode
• valid_ : Clasp::UncoreMinimize
• validS : Clasp::DefaultUnfoundedCheck::AtomData
• vals_ : Clasp::Cli::Output
• value : Clasp::VsidsScore , Clasp::DomScore , no_multi_threading::atomic< T > , ProgramOptions::Value::ValueDesc
• value_ : ProgramOptions::ValueError , ProgramOptions::Option , ProgramOptions::NotifiedValue< T > , ProgramOptions::ValueStore
• values : Clasp::Model
• var : Clasp::DomainHeuristic::DomAction , Clasp::Asp::RuleTransform::Impl::TodoItem
• varInfo_ : Clasp::SharedContext
• varOff : Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping
• vars : Clasp::ProblemStats
• vars_ : Clasp::ClaspVsids_t< ScoreType > , Clasp::ClaspVmtf , Clasp::SatBuilder
• vars_eliminated : Clasp::ProblemStats
• vars_frozen : Clasp::ProblemStats
• varState_ : Clasp::SatBuilder
• varUsed : Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping
• vec : Clasp::PodQueue< T >
• verb : Clasp::Event
• verbose_ : ProgramOptions::Application , Clasp::Cli::Output
• verbosity_ : Clasp::EventHandler
• visited : Clasp::CCMinRecursive
• vptr_ : ProgramOptions::ValueStore
• vtable_s : detail::OptVTable< T > , ProgramOptions::detail::OptVTable< T > , detail::VTable< T > , ProgramOptions::detail::VTable< T >