| Class | Description |
|---|---|
| FullSensitiveNode |
This class defines an abstract pointer in the geometric points-to solver.
|
| FullSensitiveNodeGenerator |
Build the initial encoding of the assignment graph in full geometric encoding.
|
| GeometricManager |
This class implements the figure manager.
|