GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.libGr
GraphDumper Class
GraphDumper Methods
Dump Method
Dump Method (INamedGraph, IDumper)
Dump Method (IGraph, IDumper, DumpInfo)
GraphDumper
Dump Method (IGraph, IDumper, DumpInfo)
Dumps the graph with a given graph dumper.
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
static
void
Dump
(
IGraph
graph
,
IDumper
dumper
,
DumpInfo
dumpInfo
)
Parameters
graph
Type:
de.unika.ipd.grGen.libGr
IGraph
The graph to be dumped.
dumper
Type:
de.unika.ipd.grGen.libGr
IDumper
The graph dumper to be used.
dumpInfo
Type:
de.unika.ipd.grGen.libGr
DumpInfo
Specifies how the graph shall be dumped.
See Also
Reference
GraphDumper Class
Dump Overload
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement