 | GRGExportExport Method |
Overload List| Name | Description | |
|---|---|---|
 | Export(INamedGraph) | |
  | Export(INamedGraph, StreamWriter) |
Exports the given graph to the file given by the stream writer in grg format, i.e. as GrGen rule.
Any errors will be reported by exception.
|
| Export(INamedGraph, String) |
Exports the given graph to a GRG file with the given filename.
Any errors will be reported by exception.
|
See Also