IDumper Interface

A dumper for output of graphs.

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.1

Syntax

public interface IDumper : IDisposable

The IDumper type exposes the following members.

Methods

	Name	Description
	DumpEdge	Dump an edge
	DumpNode	Dump a node.
	FinishDump	Finishes the dump and closes the file
	FinishSubgraph	Finishes a subgraph
	StartSubgraph	Creates a new sub-graph