Constructor and Description |
---|
PhaseOptcg_spark() |
Modifier and Type | Method and Description |
---|---|
void |
setadd_tags(boolean arg) |
void |
setapponly(boolean arg) |
void |
setclass_method_var(boolean arg) |
void |
setcs_demand(boolean arg) |
void |
setdouble_set_new(String arg) |
void |
setdouble_set_old(String arg) |
void |
setdump_answer(boolean arg) |
void |
setdump_html(boolean arg) |
void |
setdump_pag(boolean arg) |
void |
setdump_solution(boolean arg) |
void |
setdump_types(boolean arg) |
void |
setempties_as_allocs(boolean arg) |
void |
setenabled(boolean arg) |
void |
setfield_based(boolean arg) |
void |
setforce_gc(boolean arg) |
void |
setgeom_app_only(boolean arg) |
void |
setgeom_blocking(boolean arg) |
void |
setgeom_dump_verbose(String arg) |
void |
setgeom_encoding(String arg) |
void |
setgeom_eval(String arg) |
void |
setgeom_frac_base(String arg) |
void |
setgeom_pta(boolean arg) |
void |
setgeom_runs(String arg) |
void |
setgeom_trans(boolean arg) |
void |
setgeom_verify_name(String arg) |
void |
setgeom_worklist(String arg) |
void |
setignore_types_for_sccs(boolean arg) |
void |
setignore_types(boolean arg) |
void |
setlazy_pts(boolean arg) |
void |
setmerge_stringbuffer(boolean arg) |
void |
seton_fly_cg(boolean arg) |
void |
setpasses(String arg) |
void |
setpre_jimplify(boolean arg) |
void |
setpropagator(String arg) |
void |
setrta(boolean arg) |
void |
setset_impl(String arg) |
void |
setset_mass(boolean arg) |
void |
setsimple_edges_bidirectional(boolean arg) |
void |
setsimplify_offline(boolean arg) |
void |
setsimplify_sccs(boolean arg) |
void |
setsimulate_natives(boolean arg) |
void |
setstring_constants(boolean arg) |
void |
settopo_sort(boolean arg) |
void |
settraversal(String arg) |
void |
settypes_for_sites(boolean arg) |
void |
setverbose(boolean arg) |
void |
setvta(boolean arg) |
public void setenabled(boolean arg)
public void setverbose(boolean arg)
public void setignore_types(boolean arg)
public void setforce_gc(boolean arg)
public void setpre_jimplify(boolean arg)
public void setapponly(boolean arg)
public void setvta(boolean arg)
public void setrta(boolean arg)
public void setfield_based(boolean arg)
public void settypes_for_sites(boolean arg)
public void setmerge_stringbuffer(boolean arg)
public void setstring_constants(boolean arg)
public void setsimulate_natives(boolean arg)
public void setempties_as_allocs(boolean arg)
public void setsimple_edges_bidirectional(boolean arg)
public void seton_fly_cg(boolean arg)
public void setsimplify_offline(boolean arg)
public void setsimplify_sccs(boolean arg)
public void setignore_types_for_sccs(boolean arg)
public void setdump_html(boolean arg)
public void setdump_pag(boolean arg)
public void setdump_solution(boolean arg)
public void settopo_sort(boolean arg)
public void setdump_types(boolean arg)
public void setclass_method_var(boolean arg)
public void setdump_answer(boolean arg)
public void setadd_tags(boolean arg)
public void setset_mass(boolean arg)
public void setcs_demand(boolean arg)
public void setlazy_pts(boolean arg)
public void setgeom_pta(boolean arg)
public void setgeom_trans(boolean arg)
public void setgeom_blocking(boolean arg)
public void setgeom_app_only(boolean arg)
public void setpropagator(String arg)
public void setset_impl(String arg)
public void setdouble_set_old(String arg)
public void setdouble_set_new(String arg)
public void settraversal(String arg)
public void setpasses(String arg)
public void setgeom_encoding(String arg)
public void setgeom_worklist(String arg)
public void setgeom_dump_verbose(String arg)
public void setgeom_verify_name(String arg)
public void setgeom_eval(String arg)
public void setgeom_frac_base(String arg)
public void setgeom_runs(String arg)