Member predicate DataFlow :: Node :: getAFunctionValue
Gets a function value that may reach this node with the given imprecision
level.
FunctionNode
getAFunctionValue
(
int
imprecision
)