IPointsToSolver (com.ibm.wala.core 1.5.6 API)

All Known Implementing Classes:

AbstractPointsToSolver, StandardSolver
```
public interface IPointsToSolver
```
Basic interface for a pointer analysis solver.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method and Description
  
  void solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`void`	`solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)`

Method Detail

solve

void solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
    throws java.lang.IllegalArgumentException,
           com.ibm.wala.util.CancelException

Throws:: java.lang.IllegalArgumentException; com.ibm.wala.util.CancelException

Interface IPointsToSolver

Method Summary

Method Detail

solve