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