Exemplo n.º 1
0
 public int getMaxEdgeVariables() {
   int max = Integer.MIN_VALUE;
   for (JTResult r : getResults()) {
     final int s = r.getMaxEdgeVariables();
     if (max < s) max = s;
   }
   return max;
 }
Exemplo n.º 2
0
 public long getMaxSize() {
   long max = Long.MIN_VALUE;
   for (JTResult r : getResults()) {
     final long s = r.getSize();
     if (max < s) max = s;
   }
   return max;
 }