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