Click or drag to resize

GraphDumperDumpMatch Method

Dumps one or more matches with a given graph dumper.

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public static void DumpMatch(
	IGraph graph,
	IDumper dumper,
	DumpInfo dumpInfo,
	IMatches matches,
	DumpMatchSpecial which
)

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.
matches  IMatches
An IMatches object containing the matches.
which  DumpMatchSpecial
Which match to dump, or AllMatches for dumping all matches adding connections between them, or OnlyMatches to dump the matches only
See Also