public String toString() { return StringFactory.vertexString(this); }
public String toString() { return StringFactory.indexString(this); }
public String toString() { return StringFactory.graphString(this, this.rawGraph.toString()); }