[Xsb-commits] CVS: XSB/packages/altCDF/mytest/cdftest1 cdf_extensional.P,1.4,1.5

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/packages/altCDF/mytest/cdftest1
In directory sc8-pr-cvs1:/tmp/cvs-serv3813/mytest/cdftest1

Modified Files:
	cdf_extensional.P 
Log Message:

Fixed second-argument inheritance for product relations and added explosive_isa.


Index: cdf_extensional.P
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/altCDF/mytest/cdftest1/cdf_extensional.P,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- cdf_extensional.P	10 Jun 2003 18:34:18 -0000	1.4
+++ cdf_extensional.P	23 Jul 2003 17:20:59 -0000	1.5
@@ -48,4 +48,6 @@
 allAttr_ext(oid(o2,test),rid(r2,test),oid(o12,test)).
 allAttr_ext(oid(o2,test),rid(r4,test),oid(o12,test)).
 
+isa_ext(rid(prod(rid(r2,test),rid(r2,test)),test),rid('CDF Object-Object Relations',cdf)).
 
+hasAttr_ext(cid(c2,test),rid(prod(rid(r2,test),rid(r2,test)),test),cid(c12,test)).