Power-Programmierung/CD2.mdf/c/interpre/proxy/equiv.prx

Text File | 1993-08-27 | 277 b | 9 lines

X = {"a","b","c","d"};
p = {{e}:e<- X};
test(e1,e2) {return (exists s in p;(e1 in s) && (e2 in s));};
equate(e1,e2;t1,t2)
  {p = {s:s<-p;(e1 notin s) && (e2 notin s)} U {union (
         {s:s<-p;(e1 in s) || (e2 in s)} )};};
group(e) {return the {r:r<-p;e in r};};
end