| | Name | Description |
|---|
  | Export(INamedGraph, StreamWriter) |
Exports the given graph to the file given by the stream writer in grs format.
Any errors will be reported by exception.
|
| Export(INamedGraph, String) |
Exports the given graph to a GRS file with the given filename.
Any errors will be reported by exception.
|
 | Export(INamedGraph, Boolean, DictionaryString, DictionaryString, String) | |
| Export(INamedGraph, StreamWriter, Boolean, DictionaryString, DictionaryString, String) |
Exports the given graph to the file given by the stream writer in grs format.
Any errors will be reported by exception.
|
| Export(INamedGraph, String, Boolean, DictionaryString, DictionaryString, String) |
Exports the given graph to a GRS file with the given filename.
Any errors will be reported by exception.
|
Overload List