Click or drag to resize

GRSExportExport Method (INamedGraph, String)

Exports the given graph to a GRS file with the given filename. Any errors will be reported by exception.

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 8.0beta
Syntax
C#
public static void Export(
	INamedGraph graph,
	string exportFilename
)

Parameters

graph
Type: de.unika.ipd.grGen.libGrINamedGraph
The graph to export. Must be a named graph.
exportFilename
Type: SystemString
The filename for the exported file.
See Also