IPointsToSolver (API Reference for wala 1.3.9)

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 Description
  
  void solve(MonitorUtil.IProgressMonitor monitor)

Method Detail

solve

void solve(MonitorUtil.IProgressMonitor monitor)
    throws IllegalArgumentException,
           CancelException

Throws:: IllegalArgumentException; CancelException