/** @see UndirectedGraph#degreeOf(Object) */
 public int degreeOf(V vertex) {
   return specifics.degreeOf(vertex);
 }