add accessors so Graph::dumpGraph can work again