the set of vertices in the graph
a map from each vertex to its set of neighbors (outgoing edges)
the type of vertices in the graph