accrue.analysis.pointer

## Class PointsToEngineTimeout

- java.lang.Object
- - accrue.analysis.pointer.PointsToEngine
  - - accrue.analysis.pointer.PointsToEngineTimeout

-     public class PointsToEngineTimeout
      extends PointsToEngine

- - ### Nested Class Summary

    - ### Nested classes/interfaces inherited from class accrue.analysis.pointer.PointsToEngine

      `PointsToEngine.PointsToTimeoutException, PointsToEngine.StmtAndContext`

  - ### Constructor Summary

    Constructors
    Constructor and Description
    `PointsToEngineTimeout(java.lang.String hafString)`

  - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `HeapAbstractionFactory` | `heapAbstractionFactory()`
    `PointsToGraph` | `solveImpl(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)`
    `java.lang.String` | `toString()`

    - ### Methods inherited from class accrue.analysis.pointer.PointsToEngine

      `checkReachedFixedpoint, checkTimeout, setTimeout, solve, startSolution, startTime, timeout, timeoutTime`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

- - ### Constructor Detail

    - #### PointsToEngineTimeout

          public PointsToEngineTimeout(java.lang.String hafString)

  - ### Method Detail

    - #### heapAbstractionFactory

          public HeapAbstractionFactory heapAbstractionFactory()

      Overrides:
        `heapAbstractionFactory` in class `PointsToEngine`

    - #### solveImpl

          public PointsToGraph solveImpl(StmtRegistrar registrar,
                                polyglot.frontend.ExtensionInfo extInfo)

      Specified by:
        `solveImpl` in class `PointsToEngine`

    - #### toString

          public java.lang.String toString()

      Overrides:
        `toString` in class `PointsToEngine`