/** * Verwaltet einen Knoten des Graphen. * @author Albert Wiedemann * @version 1.0 */ class KNOTEN { /** Bezeichnung des Knoten */ private String bezeichnung; /** * Legt den Bezeichner fest. * @param bezeichnung die Bezeichnugn des Knoten */ KNOTEN (String bezeichnung) { this. bezeichnung = bezeichnung; } /** * Meldet die Bezeichnung des Knotens. * @return Bezeichnung */ String BezeichnungGeben () { return bezeichnung; } /** * Meldet die Bezeichnung des Knotens als String gegebener Laenge. * @param laenge Länge der Ausgabe * @return Bezeichnung */ String BezFormatGeben (int laenge) { return (bezeichnung + " "). substring (0, laenge); } }