From: Terrance S. <ts...@us...> - 2003-05-23 19:32:25
|
Update of /cvsroot/xsb/XSB/packages/altCDF/cdfpt In directory sc8-pr-cvs1:/tmp/cvs-serv15830/cdfpt Modified Files: cdf_extensional.P Log Message: Component system now working a little better. Index: cdf_extensional.P =================================================================== RCS file: /cvsroot/xsb/XSB/packages/altCDF/cdfpt/cdf_extensional.P,v retrieving revision 1.1 retrieving revision 1.2 diff -u -r1.1 -r1.2 --- cdf_extensional.P 15 May 2003 20:46:02 -0000 1.1 +++ cdf_extensional.P 23 May 2003 19:32:22 -0000 1.2 @@ -0,0 +1,28 @@ +isa_ext(cid('CDF Classes',cdf), id('CDF Root',cdf)). + +isa_ext(rid('CDF Object-Object Relations',cdf),id('CDF Root',cdf)). + +isa_ext(crid('CDF Class-Object Relations',cdf),id('CDF Root',cdf)). + +isa_ext(crrid('CDF Higher-Order (Object-Object)-Object Relations',cdf), + id('CDF Root',cdf)). + +isa_ext(crcrid('CDF Higher-Order (Class-Object)-Object Relations',cdf), + id('CDF Root',cdf)). + +isa_ext(cid('CDF Primitive Types',cdf),cid('CDF Classes',cdf)). + +isa_ext(cid(allIntegers,cdf),cid('CDF Primitive Types',cdf)). +isa_ext(cid(allFloats,cdf),cid('CDF Primitive Types',cdf)). +isa_ext(cid(allAtoms,cdf),cid('CDF Primitive Types',cdf)). + +classHasAttr_ext(cid(cdfpt,cdfpt),crid(hasPath,cdfpt),cid('',cdfpt)). +classHasAttr_ext(cid(compName(cid(cdfpt,cdfpt),cid('',cdfpt)),cdfpt), + crid(hasVersion,cdfpt), + cid(0,cdfpt)). + +classHasAttr_ext(cid(component(cid(cdfpt,cdfpt), + cid('',cdfpt),cid(0,cdfpt)),cdfpt), + crid(componentDepends,cdfpt), + cid(component(cid(cdf,cdf),cid('',cdf),cid(0,cdf)),cdf)). + |