Click or drag to resize

PorterExport(IGraph, ListString) Method

Exports the given graph to a file with the given filename. The format is determined by the file extension. Currently available is: .gxl; the format .grs/.grsi needs the named graph export. Optionally suffixed by .gz; in this case they are saved gzipped. Any errors will be reported by exception.

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public static void Export(
	IGraph graph,
	List<string> filenameParameters
)

Parameters

graph  IGraph
The graph to export.
filenameParameters  ListString
The names of the files to be exported. The first must be a filename, the following may be used for giving export parameters (in fact currently no exporter supports multiple files).
See Also