001package org.clafer.graph;
002
003import java.util.Collection;
004
005/**
006 * A mutable directed graph.
007 *
008 * @param <V> the type of the data
009 * @author jimmy
010 */
011public interface Graph<V> {
012
013    /**
014     * Return the set of vertices contained in the graph. Vertices can be
015     * removed but not added. Vertices can be mutated.
016     *
017     * @return the set of vertices
018     */
019    public Collection<Vertex<V>> getVertices();
020}