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.2
Syntax
C#
public static void DumpMatch(
	IGraph graph,
	IDumper dumper,
	DumpInfo dumpInfo,
	IMatches matches,
	DumpMatchSpecial which
)

Parameters

graph
Type: de.unika.ipd.grGen.libGrIGraph
The graph to be dumped.
dumper
Type: de.unika.ipd.grGen.libGrIDumper
The graph dumper to be used.
dumpInfo
Type: de.unika.ipd.grGen.libGrDumpInfo
Specifies how the graph shall be dumped.
matches
Type: de.unika.ipd.grGen.libGrIMatches
An IMatches object containing the matches.
which
Type: de.unika.ipd.grGen.libGrDumpMatchSpecial
Which match to dump, or AllMatches for dumping all matches adding connections between them, or OnlyMatches to dump the matches only
See Also