package graph;

import java.util.Vector;

public class MarkedVertex<T extends VertexMarking> extends Vertex{

    // ATTRIBUTE

    private T marking;


    // KONSTRUKTOREN

    public MarkedVertex() {
        super();
    }


    public MarkedVertex(String s, T t) {
        super(s);
        this.marking = t;
    }


    // GET-ER

    public T getMarking() {
        return this.marking;
    }


    // SET-ER

    public void setMarking(T t) {
        this.marking = t;
    }


    // Ausgabe
    public String toString() {
        return "MarkedVertex " + this.getName();
    }
}