accrue.analysis.interprocanalysis

## Interface Ordered<T>

- Type Parameters:
    `T` - Implementing class
  All Known Subinterfaces:
    AbstractValue<T>
  All Known Implementing Classes:
    AntiDepAbsVal, CDAbsVal, DefUseAbsVal, NewAllocAbsVal, NotNullAbsVal, PCGAbsVal, PreciseExAbsVal, ReadWriteSet, SuspendedExecutionStack, Unit, VarContext

      public interface Ordered<T>

  Interface for an arbitrary partially ordered set

- - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `boolean` | `leq(T o)` Is the given object less than or equal to this one
    `T` | `upperBound(T o)` Compute the upper bound of `this` and `o`
    `T` | `widen(T o)` Compute the widening operator on `this` and `o`.

- - ### Method Detail

    - #### leq

          boolean leq(T o)

      Is the given object less than or equal to this one
      Parameters:
        `o` - object to compare to `this`
      Returns:
        true if this is less than or equal to `o`

    - #### upperBound

          T upperBound(T o)

      Compute the upper bound of `this` and `o`
      Parameters:
        `o` - object to upper bound with this
      Returns:
        the upper bound of `this` with `o`

    - #### widen

          T widen(T o)

      Compute the widening operator on `this` and `o`. A widening operator is an upper bound where all ascending chains eventually stabilize.
      Parameters:
        `o` - object to widen with `this`
      Returns:
        Widened upper bound of `this` and `o`