/// <summary> /// Returns the markers that have annotated a given vertex /// </summary> /// <param name="vertex">The vertex in question</param> /// <returns>The set of markers that have annotated this vertex</returns> public virtual Set GetAnnotationMarkers(object vertex) { DefaultSet set = new DefaultSet(); foreach (Pair <int, object> p in annotations.GetValues(vertex)) { set.Add(p.Object1); } return(set); }