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.1

Syntax

Copy

public static bool AreSymmetric(
	IMatch this_,
	IMatch that,
	IGraph graph
)

Parameters

this_ IMatch: The one match to check for being symmetric to the other
that IMatch: The other match to check for being symmetric to the one match
graph IGraph: The graph in which the matches were found

Return Value

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

Reference

SymmetryChecker Class

de.unika.ipd.grGen.libGr Namespace