示例#1
0
 public void setup(Statistics statistics) {
   this.graphDistance = (GraphDistance) statistics;
   if (panel != null) {
     panel.setDirected(graphDistance.isDirected());
     panel.doNormalize(graphDistance.isNormalized());
   }
 }
示例#2
0
 public void unsetup() {
   if (panel != null) {
     graphDistance.setDirected(panel.isDirected());
     graphDistance.setNormalized(panel.normalize());
   }
   panel = null;
   graphDistance = null;
 }
示例#3
0
 public String getValue() {
   DecimalFormat df = new DecimalFormat("###.###");
   return "" + df.format(graphDistance.getDiameter());
 }
 public String getValue() {
   DecimalFormat df = new DecimalFormat("###.###");
   return "" + df.format(graphDistance.getPathLength());
 }