 | SymmetryChecker Methods |
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