Index - C
| checkDisjoint | DDC.Core.Transform.Rewrite.Disjoint |
| checkDistinct | DDC.Core.Transform.Rewrite.Disjoint |
| checkRewriteRule | DDC.Core.Transform.Rewrite.Rule |
| containsRegion | DDC.Core.Transform.Rewrite.Env |
| containsWitness | DDC.Core.Transform.Rewrite.Env |