[Xsb-commits] CVS: XSB/lib intern.P,1.34,1.35 intern.H,1.9,1.10

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

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

Modified Files:
	intern.P intern.H 
Log Message:

Added incremental versions of unmark_uninterned_nr.



Index: intern.P
===================================================================
RCS file: /cvsroot/xsb/XSB/lib/intern.P,v
retrieving revision 1.34
retrieving revision 1.35
diff -u -r1.34 -r1.35
--- intern.P	19 Aug 2010 15:03:38 -0000	1.34
+++ intern.P	8 Sep 2010 16:12:09 -0000	1.35
@@ -811,6 +811,15 @@
         trie_dispose_nr(Root, Leaf),
         invalidate_callnode_trie(Root). /* root -> callnodeptr */
 
+incr_unmark_uninterned_nr(Root,Leaf) :- 
+	unmark_uninterned_nr(Root,Leaf),
+        invalidate_callnode_trie(Root), /* root -> callnodeptr */
+	incr_table_update.
+
+incr_unmark_uninterned_nr_inval(Root,Leaf) :- 
+	unmark_uninterned_nr(Root,Leaf),
+        invalidate_callnode_trie(Root). /* root -> callnodeptr */
+
 end_of_file.
 
 

Index: intern.H
===================================================================
RCS file: /cvsroot/xsb/XSB/lib/intern.H,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -r1.9 -r1.10
--- intern.H	19 Aug 2010 15:03:38 -0000	1.9
+++ intern.H	8 Sep 2010 16:12:09 -0000	1.10
@@ -37,7 +37,8 @@
 	  trie_intern/3, trie_interned/3, trie_unintern/2, delete_trie/1,
 	  trie_set_last_int/2, trie_create/2,
 	  trie_unintern_nr/2, trie_reclaim_uninterned_nr/1, 
-   unmark_uninterned_nr/2.
+   unmark_uninterned_nr/2, incr_unmark_uninterned_nr_inval/2,
+   incr_unmark_uninterned_nr/2.
 
 :- import integer/1, abort/1 from standard.
 :- import call/1, arg/3 from standard.
@@ -50,3 +51,4 @@
 :- import add_aliases_flag_error/4, get_alias/3 from file_io.
 
 %%%:- import buff_word/3, buff_set_word/3  from machine.
+