[Xsb-commits] CVS: XSB/packages/altCDF/mknf/tests/chkCon cdf_extensional.P, 1.2, 1.3 rules.P, 1.2, 1.3

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

Update of /cvsroot/xsb/XSB/packages/altCDF/mknf/tests/chkCon
In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv15839/tests/chkCon

Modified Files:
	cdf_extensional.P rules.P 
Log Message:

Changes to fix bug with mknf-ing roles

Also, fix to show_model to show model *only* for a specified object.



Index: cdf_extensional.P
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/altCDF/mknf/tests/chkCon/cdf_extensional.P,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- cdf_extensional.P	19 May 2009 17:59:16 -0000	1.2
+++ cdf_extensional.P	4 Jun 2009 21:48:15 -0000	1.3
@@ -110,5 +110,11 @@
 necessCond_ext(cid(one,t16),vid(';'(cid(two,t16), ';'(cid(three,t16),cid(four,t16))))).
 necessCond_ext(cid(one,t16),vid(not(';'(cid(two,t16),';'(cid(three,t16),cid(four,t16)))))).
 
+%-------------------------------
 
+hasAttr_ext(cid(one,t17),rid(r1,t17),cid(one,t17)).
+
+%-------------------------------
+
+ hasAttr_ext(oid(one,t18),rid(r1,t18),oid(one,t18)).
 

Index: rules.P
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/altCDF/mknf/tests/chkCon/rules.P,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- rules.P	19 May 2009 17:59:16 -0000	1.2
+++ rules.P	4 Jun 2009 21:48:15 -0000	1.3
@@ -17,5 +17,7 @@
 	con_test(cid(one,t13),true),
 	con_test(cid(one,t14),false),
 	con_test(cid(one,t15),true),
-	con_test(cid(one,t16),false).
+	con_test(cid(one,t16),false),
+	con_test(cid(one,t17),true),
+	con_test(cid(one,t18),true).