org.opalj.ai.analyses
The key object to get information about the "more precise" return values.
Computes the return value information.
The key object to get information about the "more precise" return values.