 | Symmetry |
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