Member predicate CustomAbstractValueDefinitions::CustomAbstractValueDefinition::getAbstractValue

Gets the induced abstract value.

AbstractValue getAbstractValue()