public interface IVertex| Edges | Edges that are connected to this vertex. |
| Index | Index of this vertex in the list of vertices in the graph. |
| Degree |
Returns the degree of the vertex, i.e. the number of
edges connected to this vertex
(Defined by GraphExtensions) |