+
+ public TPred[] getTypeConstraints() {
+ throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking.");
+ }
+
+ @Override
+ public void collectEnforceEffects(THashSet<Type> effects) {
+ effects.add(Types.PROC);
+ }
+
+ @Override
+ public void collectQueryEffects(THashSet<Type> effects) {
+ effects.add(Types.PROC);
+ }