From: Terrance S. <ts...@us...> - 2004-03-19 01:40:22
|
Update of /cvsroot/xsb/xsbtests/cdf_tests/comp_testdir2/testo1 In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv28580/comp_testdir2/testo1 Added Files: cdf_extensional.P cdf_intensional.P Log Message: A little more... --- NEW FILE: cdf_extensional.P --- isa_ext(oid(o1,testo1),cid(c1,test)). isa_ext(crid(componentDepends,testo1),crid('CDF Class-Object Relations',cdf)). isa_ext(crid(hasVersion,testo1),crid('CDF Class-Object Relations',cdf)). isa_ext(crid(hasPath,testo1),crid('CDF Class-Object Relations',cdf)). isa_ext(cid(testo1,testo1),cid(componentIDs,cdf)). isa_ext(cid(compName(cid(testo1,testo1),cid(allAtoms,cdf)),testo1),cid(compNames,cdf)). isa_ext(cid(component(cid(testo1,testo1),cid(allAtoms,cdf),cid(allIntegers,cdf)),testo1),cid(components,cdf)). classHasAttr_ext(cid(component(cid(testo1,testo1),cid('c:\XSBNEW\tests\cdf_tests\comp_outdir2',cdfpt),cid(0,cdfpt)),testo1),crid(componentDepends,testo1),cid(component(cid(test,test),cid('.',cdfpt),cid(0,cdfpt)),test)). classHasAttr_ext(cid(component(cid(testo1,testo1),cid('c:\XSBNEW\tests\cdf_tests\comp_outdir2',cdfpt),cid(0,cdfpt)),testo1),crid(componentDepends,testo1),cid(component(cid(cdfpt,cdfpt),cid('',cdfpt),cid(0,cdfpt)),cdfpt)). classHasAttr_ext(cid(component(cid(testo1,testo1),cid('c:\XSBNEW\tests\cdf_tests\comp_outdir2',cdfpt),cid(0,cdfpt)),testo1),crid(componentDepends,testo1),cid(component(cid(cdf,cdf),cid('',cdfpt),cid(0,cdfpt)),cdf)). classHasAttr_ext(cid(compName(cid(testo1,testo1),cid('c:\XSBNEW\tests\cdf_tests\comp_outdir2',cdfpt)),testo1),crid(hasVersion,testo1),cid(0,cdfpt)). classHasAttr_ext(cid(testo1,testo1),crid(hasPath,testo1),cid('c:\XSBNEW\tests\cdf_tests\comp_outdir2',cdfpt)). --- NEW FILE: cdf_intensional.P --- classHasAttr_int(A,cid(r_int,testo1),B) :- q(A,B). |