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

java.lang.Object
- soot.jimple.spark.geom.geomPA.Parameters

```
public class Parameters
extends Object
```
Parameters to control the behaviors of geom points-to solver.

Author:

xiao

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  static int cg_refine_times
  
  static int max_cons_budget
  
  static int max_pts_budget
  
  static int qryBudgetSize
  
  static int seedPts
- Constructor Summary
  
  Constructors
  Constructor Description
  
  Parameters()
- Method Summary
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

max_cons_budget
```
public static int max_cons_budget
```

max_pts_budget
```
public static int max_pts_budget
```

cg_refine_times
```
public static int cg_refine_times
```

seedPts
```
public static int seedPts
```

qryBudgetSize
```
public static int qryBudgetSize
```

Constructor Detail
- Parameters
```
public Parameters()
```