- u -

• UCCHAR : edu::tum::cs::logic::parser::FormulaParserConstants
• UCIDENT : edu::tum::cs::logic::parser::FormulaParserConstants
• undoConversion : edu::tum::cs::bayesnets::conversion::BN2SRLDB
• ungroundedParamDomains : edu::tum::cs::srl::bayesnets::ParentGrounder
• ungroundedParams : edu::tum::cs::srl::bayesnets::ParentGrounder
• unhandledParams : edu::tum::cs::inference::ParameterHandler
• uniformDefault : edu::tum::cs::bayesnets::learning::CPTLearner
• unitPropagation : edu::tum::cs::srl::bayesnets::inference::SATIS
• UNKNOWN_TYPE : edu::tum::cs::probcog::prolog::PrologInterface
• unsatisfiedConstraints : edu::tum::cs::logic::sat::SampleSAT , edu::tum::cs::logic::sat::weighted::MaxWalkSAT
• unsSum : edu::tum::cs::logic::sat::weighted::MaxWalkSAT
• unsSumBeta : edu::tum::cs::logic::sat::weighted::MaxWalkSAT
• upperEnd : edu::tum::cs::inference::BasicSampledDistribution::ConfidenceInterval
• useDistributionCache : edu::tum::cs::srl::bayesnets::inference::LiftedBackwardSampling::Sampler
• useMaxSteps : edu::tum::cs::srl::bayesnets::inference::BLNinfer
• useProbabilityCache : edu::tum::cs::srl::bayesnets::inference::LiftedBackwardSampling::Sampler
• usePython : edu::tum::cs::srl::bayesnets::inference::BLNinfer
• useUnitPropagation : edu::tum::cs::logic::sat::SampleSAT