added Vertices() to Graph interface#149

jonbrandenburg wants to merge 1 commit intodominikbraun:maindominikbraun/graph:mainfrom

jonbrandenburg:vertices-function-for-graph-interfacejonbrandenburg/graph:vertices-function-for-graph-interfaceCopy head branch name to clipboard