From 8a00ab9d702a96ee0e3e3c0b8d592ca5f76fcf60 Mon Sep 17 00:00:00 2001 From: vsc Date: Wed, 11 Jun 2008 16:57:31 +0000 Subject: [PATCH] fix insert_new in rbtrees git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2274 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- library/rbtrees.yap | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/library/rbtrees.yap b/library/rbtrees.yap index ff2b11084..34c2c0f94 100644 --- a/library/rbtrees.yap +++ b/library/rbtrees.yap @@ -403,6 +403,10 @@ insert2(black(L,K0,V0,R), K, V, Nil, NT, Flag) :- % Add a new element with key Key and Value to the tree T0 creating a % new red-black tree TN. Duplicated elements are not allowed. +rb_insert_new(t(Nil,Tree0),Key,Val,t(Nil,Tree)) :- + insert_new(Tree0,Key,Val,Nil,Tree). + + insert_new(Tree0,Key,Val,Nil,Tree) :- insert_new_2(Tree0,Key,Val,Nil,TreeI,_), fix_root(TreeI,Tree). @@ -422,7 +426,7 @@ insert_new_2(red(L,K0,V0,R), K, V, Nil, NT, Flag) :- fail ; NT = red(L,K0,V0,NR), - insert2(R, K, V, Nil, NR, Flag) + insert_new_2(R, K, V, Nil, NR, Flag) ). insert_new_2(black(L,K0,V0,R), K, V, Nil, NT, Flag) :- ( K @< K0