- v -

• valid() : Clasp::ExpectedQuantity , Clasp::Cli::ConfigIter , Clasp::EnumerationConstraint , Clasp::UncoreMinimize , Clasp::Constraint , Clasp::Assignment , Clasp::DefaultUnfoundedCheck
• valid_key() : bk_lib::indexed_priority_queue< Cmp >
• validateOptions() : Clasp::Cli::ClaspAppOptions , Clasp::Cli::ClaspAppBase , ProgramOptions::Application
• validLevel() : Clasp::Solver
• validLowerBound() : Clasp::UncoreMinimize
• validVar() : Clasp::Solver , Clasp::ScoreLook , Clasp::SharedContext
• validWatch() : Clasp::Solver
• Value() : ProgramOptions::Value
• value() : Clasp::Model , Clasp::Asp::PrgNode , Clasp::Solver , Clasp::Assignment , ProgramOptions::ValueError , ProgramOptions::Option
• value_type() : Clasp::ReasonStore32::value_type , Clasp::ReasonStore64::value_type
• ValueError() : ProgramOptions::ValueError
• ValueMap() : ProgramOptions::ValueMap
• ValueMapping() : ProgramOptions::ValueMapping< T >
• ValueSet() : Clasp::ValueSet
• ValueStore() : ProgramOptions::ValueStore
• var() : Clasp::Literal , Clasp::Asp::PrgNode , Clasp::WeightConstraint::WL , Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping
• varInfo() : Clasp::SharedContext , Clasp::Solver
• VarInfo() : Clasp::ClaspVmtf::VarInfo , Clasp::VarInfo
• VarScore() : Clasp::VarScore
• verbose() : ProgramOptions::Application
• verbosity() : Clasp::Cli::Output
• visit() : Clasp::Asp::SccChecker
• visitBodyLiterals() : Clasp::SharedDependencyGraph
• visitCoreSolverStats() : Clasp::Cli::StatsVisitor , Clasp::Cli::JsonOutput , Clasp::Cli::TextOutput
• visitDfs() : Clasp::Asp::SccChecker
• visitExtSolverStats() : Clasp::Cli::JsonOutput , Clasp::Cli::StatsVisitor , Clasp::Cli::TextOutput
• visitHcc() : Clasp::Cli::TextOutput , Clasp::Cli::JsonOutput , Clasp::Cli::StatsVisitor
• visitHccs() : Clasp::Cli::JsonOutput , Clasp::Cli::TextOutput , Clasp::Cli::StatsVisitor
• visitJumpStats() : Clasp::Cli::TextOutput , Clasp::Cli::JsonOutput , Clasp::Cli::StatsVisitor
• visitLogicProgramStats() : Clasp::Cli::JsonOutput , Clasp::Cli::StatsVisitor , Clasp::Cli::TextOutput
• visitProblemStats() : Clasp::Cli::TextOutput , Clasp::Cli::StatsVisitor , Clasp::Cli::TextOutput , Clasp::Cli::JsonOutput
• visitSolverStats() : Clasp::Cli::StatsVisitor , Clasp::Cli::TextOutput
• visitStats() : Clasp::Cli::StatsVisitor
• visitSuccessors() : Clasp::SharedDependencyGraph::AtomNode
• visitThread() : Clasp::Cli::JsonOutput , Clasp::Cli::StatsVisitor , Clasp::Cli::TextOutput
• visitThreads() : Clasp::Cli::TextOutput , Clasp::Cli::JsonOutput , Clasp::Cli::StatsVisitor
• VsidsScore() : Clasp::VsidsScore