package graph; public class MarkedEdge extends Edge{ // ATTRIBUTE // private MarkedVertex source; // private MarkedVertex destination; private U marking; // KONSTRUKTOREN public MarkedEdge() { super(); } public MarkedEdge(String s, Vertex n1, Vertex n2, U u) { super(s, n1, n2); this.marking = u; } // GET-ER public MarkedVertex getSource() { return this.source; } public MarkedVertex getDestination() { return this.destination; } public U getMarking() { return this.marking; } // SET-ER public void setMarking(U u) { this.marking = u; } // Ausgabe public String toString() { return "MarkedEdge " + this.getName() + " from " + this.getSource().getName() + " to " + this.getDestination().getName(); } }