 | SymmetryChecker Class |
A class which contains the AreSymmetric function to check to matches of a pattern for being symmetric,
i.e. to be matches of a pattern which is automorph to itself.
Inheritance HierarchySystemObject
de.unika.ipd.grGen.libGrSymmetryChecker
de.unika.ipd.grGen.libGrSymmetryChecker
Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.2
SyntaxC#
public static class SymmetryChecker
The SymmetryChecker type exposes the following members.
Methods| Name | Description | |
|---|---|---|
  | AreSymmetric |
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.
|
See Also