Click or drag to resize

GraphDumperDump Method (INamedGraph, IDumper)

Dumps the named graph with a given graph dumper and default dump style.

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
public static void Dump(
	INamedGraph namedGraph,
	IDumper dumper
)

Parameters

namedGraph
Type: de.unika.ipd.grGen.libGrINamedGraph
The named graph to be dumped.
dumper
Type: de.unika.ipd.grGen.libGrIDumper
The graph dumper to be used.
See Also