Member predicate VariableTypeInference::AnalyzedRefinement::getAnRhsValue

Gets an abstract value that the right hand side of this definition may evaluate to at runtime.

AbstractValue getAnRhsValue()