[Xsb-commits] CVS: XSB/syslib curr_sym.P, 1.61, 1.62 curr_sym.xwam, 1.84, 1.85 increval.xwam, 1.21, 1.22

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

Update of /cvsroot/xsb/XSB/syslib
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv9656

Modified Files:
	curr_sym.P curr_sym.xwam increval.xwam 
Log Message:

Changes to predicate_property so that dynamic incremental/opaque
predicates are not reported as tabled.




Index: curr_sym.P
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/curr_sym.P,v
retrieving revision 1.61
retrieving revision 1.62
diff -u -r1.61 -r1.62
--- curr_sym.P	4 Sep 2010 21:15:16 -0000	1.61
+++ curr_sym.P	5 Sep 2010 18:51:52 -0000	1.62
@@ -540,7 +540,9 @@
 %:- import writeln/1 from standard.
 psc_properties(PSC, Property) :- 
 	psc_tabled(PSC, Tabled),
-%	writeln(tabled(Tabled)),
+	(psc_type(PSC, Type),Type =:= T_DYNA -> 
+	    psc_get_incr(PSC,Incr),Incr == NONINCREMENTAL
+	  ; true),  
 	( (Tabled /\ 12 > 0),Property = tabled 
         ; 
 	 ( Tabled == T_VARIANT -> Property = variant

Index: curr_sym.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/curr_sym.xwam,v
retrieving revision 1.84
retrieving revision 1.85
diff -u -r1.84 -r1.85
Binary files /tmp/cvsVSMW3P and /tmp/cvspbo6Ru differ

Index: increval.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/increval.xwam,v
retrieving revision 1.21
retrieving revision 1.22
diff -u -r1.21 -r1.22
Binary files /tmp/cvsB8E3BS and /tmp/cvssGKXqx differ