- v -

• value : edu::tum::cs::rpt::RPT2Logic::DistributionValue , edu::tum::cs::srl::AbstractVariable , edu::tum::cs::srl::mln::inference::InferenceResult
• values : edu::tum::cs::inference::BasicSampledDistribution , edu::tum::cs::srldb::datadict::DataDictionary::DomainData , edu::tum::cs::srldb::datadict::domain::AutomaticDomain , edu::tum::cs::srldb::datadict::domain::OrderedStringDomain
• var2block : edu::tum::cs::logic::WorldVariables
• var2domName : edu::tum::cs::logic::Exist , edu::tum::cs::logic::ForAll
• variable2groundAtomLookup : edu::tum::cs::srl::bayesnets::bln::coupling::VariableLogicCoupling
• varName : edu::tum::cs::rpt::RPT2Logic::ObjectType , edu::tum::cs::srl::bayesnets::bln::py::GroundFormula , edu::tum::cs::srl::bayesnets::bln::py::State , edu::tum::cs::srl::bayesnets::inference::InferenceResult
• varName2Index : edu::tum::cs::inference::GeneralSampledDistribution
• varNames : edu::tum::cs::inference::GeneralSampledDistribution
• vars : edu::tum::cs::wcsp::WCSPConverter , edu::tum::cs::bayesnets::inference::IJGP::Bucket , edu::tum::cs::logic::Exist , edu::tum::cs::logic::ForAll , edu::tum::cs::logic::sat::EvidenceHandler , edu::tum::cs::logic::sat::SampleSAT , edu::tum::cs::logic::sat::weighted::MaxWalkSAT , edu::tum::cs::logic::sat::weighted::MCSAT , edu::tum::cs::logic::WorldVariables , edu::tum::cs::srl::mln::MarkovRandomField
• vars_gnd : edu::tum::cs::wcsp::WCSPConverter
• varsByIndex : edu::tum::cs::logic::WorldVariables
• varsToSumOver : edu::tum::cs::bayesnets::inference::IJGP::MessageFunction
• verbose : edu::tum::cs::srl::bayesnets::inference::Sampler , edu::tum::cs::srl::bayesnets::learning::CPTLearner , edu::tum::cs::bayesnets::inference::Sampler , edu::tum::cs::srl::Database , edu::tum::cs::bayesnets::inference::TimeLimitedInference , edu::tum::cs::srl::bayesnets::inference::BLNinfer , edu::tum::cs::bayesnets::learning::DomainLearner , edu::tum::cs::srl::mln::inference::InferenceAlgorithm , edu::tum::cs::bayesnets::inference::IJGP , edu::tum::cs::logic::sat::weighted::MaxWalkSAT , edu::tum::cs::srl::bayesnets::bln::AbstractGroundBLN , edu::tum::cs::logic::sat::weighted::MCSAT , edu::tum::cs::logic::sat::EvidenceHandler