accrue.analysis.interprocvarcontext

## Interface AbstractValue<T>

- All Superinterfaces:
    java.lang.Cloneable, Ordered<T>
  All Known Implementing Classes:
    AntiDepAbsVal, CDAbsVal, DefUseAbsVal, NewAllocAbsVal, NotNullAbsVal

      public interface AbstractValue<T>
      extends java.lang.Cloneable, Ordered<T>

  An abstract value

- - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `boolean` | `isBottom()` An AbstractValue may indicate that it is the bottom element.

    - ### Methods inherited from interface accrue.analysis.interprocanalysis.Ordered

      `leq, upperBound, widen`

- - ### Method Detail

    - #### isBottom

          boolean isBottom()

      An AbstractValue may indicate that it is the bottom element. Note that the analysis monotonically increases abstract values, i.e., the bottom value is typically the initial, and most precise value.
      Returns: