There was already a comment that the matching logic should be describe only once, as the same logic is used in .match and .deleteMatches. This PR adds a new 2. Runtime Semantics section and a 2.1 Quad Matching. The description of the logic is removed from the .match and .deleteMatches methods and replaced by a link to the Quad Matching section.
There was already a comment that the matching logic should be describe only once, as the same logic is used in
.matchand.deleteMatches. This PR adds a new2. Runtime Semanticssection and a2.1 Quad Matching. The description of the logic is removed from the.matchand.deleteMatchesmethods and replaced by a link to theQuad Matchingsection.