PropCycle (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.jimple.spark.solver.Propagator
- - soot.jimple.spark.solver.PropCycle

```
public class PropCycle
extends Propagator
```
Propagates points-to sets using an on-line cycle detection algorithm based on Heintze and Tardieu, PLDI 2000.

Author:

Ondrej Lhotak

- Constructor Summary
  
  Constructors
  Constructor Description
  
  PropCycle(PAG pag)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  void propagate()
  Actually does the propagation.
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PropCycle
```
public PropCycle(PAG pag)
```
- Method Detail
  - propagate
```
public void propagate()
```
    Actually does the propagation.
    
    Specified by:
    
    propagate in class Propagator