/** Read in a file, parse, and obtain a graph */ public static Graph readGraph(String filename) { return readGraph(filename, null) ; }
/** Read in a file, parse, and obtain a graph */ public static void readGraph(Graph graph, String filename) { readGraph(graph, filename, null) ; }
/** Read in a file, parse, and obtain a graph */ public static Graph readGraph(String filename) { return readGraph(filename, null) ; }
/** Read in a file, parse, and obtain a graph */ public static void readGraph(Graph graph, String filename) { readGraph(graph, filename, null) ; }