Click or drag to resize

SymmetryCheckerAreSymmetric Method

Checks whether the matches are symmetric, i.e. are covering the same spot in the graph with a permutation of the pattern to graph mapping; that might be the case if they are matches of a pattern which is automorph to itself. This function is employed by the generated automorph filters for rule \ auto. Ths subpattern derivations must be structurally identical, modulo permutations of matches of the same subpattern type.

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public static bool AreSymmetric(
	IMatch this_,
	IMatch that,
	IGraph graph
)

Parameters

this_
Type: de.unika.ipd.grGen.libGrIMatch
The one match to check for being symmetric to the other
that
Type: de.unika.ipd.grGen.libGrIMatch
The other match to check for being symmetric to the one match
graph
Type: de.unika.ipd.grGen.libGrIGraph
The graph in which the matches were found

Return Value

Type: Boolean
True if the matches are symmetric, i.e. covering the same spot in the graph, otherwise false.
See Also