 | GraphDumperDump(IGraph, IDumper, DumpInfo) Method |
Dumps the graph with a given graph dumper.
Namespace: de.unika.ipd.grGen.libGrAssembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntaxpublic static void Dump(
IGraph graph,
IDumper dumper,
DumpInfo dumpInfo
)
Parameters
- graph IGraph
- The graph to be dumped.
- dumper IDumper
- The graph dumper to be used.
- dumpInfo DumpInfo
- Specifies how the graph shall be dumped.
See Also