Provides the classes necessary to represent a variable dependency graph, a specialization of an automaton used in determining variable dependencies in a grammar.