 | 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
Syntaxpublic 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