- 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);
+ public CHRQuery replace(ReplaceContext context) {
+ CHRLiteral[] newLiterals = new CHRLiteral[literals.length];
+ for(int i=0;i<literals.length;++i)
+ newLiterals[i] = literals[i].replace(context);
+ return new CHRQuery(newLiterals);