diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

small bug fixes

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1213 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc
2004-12-16 06:08:57 +00:00
parent 7acacd1618
commit 319207d3c6
5 changed files with 16 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
library/rbtrees.yap
View File

@@ -24,22 +24,22 @@ new(black([],[],[],[])).
new(K,V,black(Nil,K,V,Nil)) :-
Nil = black([],[],[],[]).
lookup(Key, Val, black([],_,_,[])) :- !, fail.
lookup(_, _, black([],_,_,[])) :- !, fail.
lookup(Key, Val, Tree) :-
arg(2,Tree,KA),
compare(Cmp,KA,Key),
lookup(Cmp,Key,Val,Tree).
lookup(<, K, V, Tree) :-
lookup(>, K, V, Tree) :-
arg(1,Tree,NTree),
lookup(K, V, NTree).
lookup(>, K, V, Tree) :-
lookup(<, K, V, Tree) :-
arg(4,Tree,NTree),
lookup(K, V, NTree).
lookup(=, K, V, Tree) :-
lookup(=, _, V, Tree) :-
arg(3,Tree,V).
lookupall(Key, Val, black([],_,_,[])) :- !, fail.
lookupall(_, _, black([],_,_,[])) :- !, fail.
lookupall(Key, Val, Tree) :-
arg(2,Tree,KA),
compare(Cmp,KA,Key),
@@ -48,7 +48,7 @@ lookupall(Key, Val, Tree) :-
lookupall(>, K, V, Tree) :-
arg(4,Tree,NTree),
lookupall(K, V, NTree).
lookupall(=, K, V, Tree) :-
lookupall(=, _, V, Tree) :-
arg(3,Tree,V).
lookupall(=, K, V, Tree) :-
arg(1,Tree,NTree),
@@ -440,7 +440,6 @@ bclean_tree(X1,X,T0,TF) :-
X2 is X1-1,
( rbtree(TI) -> true ; abort),
bclean_tree(X2,X,TI,TF).
tree(X2,X,TI,TF).