soot.jimple.spark.geom.geomPA

Class Parameters

java.lang.Object

soot.jimple.spark.geom.geomPA.Parameters

public class Parameters
extends java.lang.Object

Parameters to control the behaviors of geom points-to solver.

Field Summary

Fields

Modifier and Type	Field and 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 and 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()