SplitDynamicRules is a big rule that generates code for various derived strategies (bagof-, once-, …). For each dynamic rule declaration in the code these strategies are generated, even if they overlap with those generated for previous declarations. Factoring out the generator code should make it easier to distinghuish different scenarios and minimize the amount of code generated.

Submitted on 21 July 2005 at 15:05