public void cleanResult(){
  consG.clear();
  pointers.clear();
  allocations.clear();
  constraints.clear();
  func2int.clear();
  int2func.clear();
  edgeMapping.clear();
  hasTransformed=false;
  hasExecuted=false;
  System.gc();
  System.gc();
  System.gc();
  System.gc();
}

public void cleanResult ( ) { consG . clear ( ) ; pointers . clear ( ) ; allocations . clear ( ) ; constraints . clear ( ) ; func2int . clear ( ) ; int2func . clear ( ) ; edgeMapping . clear ( ) ; hasTransformed = false ; hasExecuted = false ; System . gc ( ) ; System . gc ( ) ; System . gc ( ) ; System . gc ( ) ; }
we thoroughly delete the geometric points - to result for space saving . some applications such as those needing the call graph only may want to clean the points - to result .
