home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Power-Programmierung
/
CD2.mdf
/
c
/
interpre
/
proxy
/
equiv.prx
< prev
next >
Wrap
Text File
|
1993-08-27
|
277b
|
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