+
+ public void collectQueryEffects(THashSet<Type> effects) {
+ for(CHRLiteral literal : literals)
+ literal.collectQueryEffects(effects);
+ }
+
+ public void collectEnforceEffects(THashSet<Type> effects) {
+ for(CHRLiteral literal : literals)
+ literal.collectEnforceEffects(effects);
+ }