Returns the digraph assoicated with the symbol graph. It is the client's responsibility not to mutate the digraph.

public Digraph G { get; }