A graph ADT that has directed, undirected, DFS, SCC