439440441442443444445446447448449
} } public DirectedGraph getReversedGraph() { DuctGraph reversedGraph = new DuctGraph(); Graphs.addGraphReversed( reversedGraph, ductGraph ); return reversedGraph; }