Artifact 91c2be456cacb4b59774502b4301cbeeddf2fc94:
File
src/bag.c
part of check-in
[7a2c37063a]
- merge trunk into creole branch
by
bob on
2009-09-22 07:49:39.
Also file
src/bag.c
part of check-in
[1409fbe38c]
- Performance improvements to the "bag" object.
by
drh on
2009-08-27 14:04:39.
0000: 2f 2a 0a 2a 2a 20 43 6f 70 79 72 69 67 68 74 20 /*.** Copyright
0010: 28 63 29 20 32 30 30 37 20 44 2e 20 52 69 63 68 (c) 2007 D. Rich
0020: 61 72 64 20 48 69 70 70 0a 2a 2a 0a 2a 2a 20 54 ard Hipp.**.** T
0030: 68 69 73 20 70 72 6f 67 72 61 6d 20 69 73 20 66 his program is f
0040: 72 65 65 20 73 6f 66 74 77 61 72 65 3b 20 79 6f ree software; yo
0050: 75 20 63 61 6e 20 72 65 64 69 73 74 72 69 62 75 u can redistribu
0060: 74 65 20 69 74 20 61 6e 64 2f 6f 72 0a 2a 2a 20 te it and/or.**
0070: 6d 6f 64 69 66 79 20 69 74 20 75 6e 64 65 72 20 modify it under
0080: 74 68 65 20 74 65 72 6d 73 20 6f 66 20 74 68 65 the terms of the
0090: 20 47 4e 55 20 47 65 6e 65 72 61 6c 20 50 75 62 GNU General Pub
00a0: 6c 69 63 0a 2a 2a 20 4c 69 63 65 6e 73 65 20 76 lic.** License v
00b0: 65 72 73 69 6f 6e 20 32 20 61 73 20 70 75 62 6c ersion 2 as publ
00c0: 69 73 68 65 64 20 62 79 20 74 68 65 20 46 72 65 ished by the Fre
00d0: 65 20 53 6f 66 74 77 61 72 65 20 46 6f 75 6e 64 e Software Found
00e0: 61 74 69 6f 6e 2e 0a 2a 2a 0a 2a 2a 20 54 68 69 ation..**.** Thi
00f0: 73 20 70 72 6f 67 72 61 6d 20 69 73 20 64 69 73 s program is dis
0100: 74 72 69 62 75 74 65 64 20 69 6e 20 74 68 65 20 tributed in the
0110: 68 6f 70 65 20 74 68 61 74 20 69 74 20 77 69 6c hope that it wil
0120: 6c 20 62 65 20 75 73 65 66 75 6c 2c 0a 2a 2a 20 l be useful,.**
0130: 62 75 74 20 57 49 54 48 4f 55 54 20 41 4e 59 20 but WITHOUT ANY
0140: 57 41 52 52 41 4e 54 59 3b 20 77 69 74 68 6f 75 WARRANTY; withou
0150: 74 20 65 76 65 6e 20 74 68 65 20 69 6d 70 6c 69 t even the impli
0160: 65 64 20 77 61 72 72 61 6e 74 79 20 6f 66 0a 2a ed warranty of.*
0170: 2a 20 4d 45 52 43 48 41 4e 54 41 42 49 4c 49 54 * MERCHANTABILIT
0180: 59 20 6f 72 20 46 49 54 4e 45 53 53 20 46 4f 52 Y or FITNESS FOR
0190: 20 41 20 50 41 52 54 49 43 55 4c 41 52 20 50 55 A PARTICULAR PU
01a0: 52 50 4f 53 45 2e 20 20 53 65 65 20 74 68 65 20 RPOSE. See the
01b0: 47 4e 55 0a 2a 2a 20 47 65 6e 65 72 61 6c 20 50 GNU.** General P
01c0: 75 62 6c 69 63 20 4c 69 63 65 6e 73 65 20 66 6f ublic License fo
01d0: 72 20 6d 6f 72 65 20 64 65 74 61 69 6c 73 2e 0a r more details..
01e0: 2a 2a 20 0a 2a 2a 20 59 6f 75 20 73 68 6f 75 6c ** .** You shoul
01f0: 64 20 68 61 76 65 20 72 65 63 65 69 76 65 64 20 d have received
0200: 61 20 63 6f 70 79 20 6f 66 20 74 68 65 20 47 4e a copy of the GN
0210: 55 20 47 65 6e 65 72 61 6c 20 50 75 62 6c 69 63 U General Public
0220: 0a 2a 2a 20 4c 69 63 65 6e 73 65 20 61 6c 6f 6e .** License alon
0230: 67 20 77 69 74 68 20 74 68 69 73 20 6c 69 62 72 g with this libr
0240: 61 72 79 3b 20 69 66 20 6e 6f 74 2c 20 77 72 69 ary; if not, wri
0250: 74 65 20 74 6f 20 74 68 65 0a 2a 2a 20 46 72 65 te to the.** Fre
0260: 65 20 53 6f 66 74 77 61 72 65 20 46 6f 75 6e 64 e Software Found
0270: 61 74 69 6f 6e 2c 20 49 6e 63 2e 2c 20 35 39 20 ation, Inc., 59
0280: 54 65 6d 70 6c 65 20 50 6c 61 63 65 20 2d 20 53 Temple Place - S
0290: 75 69 74 65 20 33 33 30 2c 0a 2a 2a 20 42 6f 73 uite 330,.** Bos
02a0: 74 6f 6e 2c 20 4d 41 20 20 30 32 31 31 31 2d 31 ton, MA 02111-1
02b0: 33 30 37 2c 20 55 53 41 2e 0a 2a 2a 0a 2a 2a 20 307, USA..**.**
02c0: 41 75 74 68 6f 72 20 63 6f 6e 74 61 63 74 20 69 Author contact i
02d0: 6e 66 6f 72 6d 61 74 69 6f 6e 3a 0a 2a 2a 20 20 nformation:.**
02e0: 20 64 72 68 40 68 77 61 63 69 2e 63 6f 6d 0a 2a drh@hwaci.com.*
02f0: 2a 20 20 20 68 74 74 70 3a 2f 2f 77 77 77 2e 68 * http://www.h
0300: 77 61 63 69 2e 63 6f 6d 2f 64 72 68 2f 0a 2a 2a waci.com/drh/.**
0310: 0a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a .***************
0320: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0330: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0340: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0350: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0360: 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c 65 .**.** This file
0370: 20 63 6f 6e 74 61 69 6e 73 20 63 6f 64 65 20 75 contains code u
0380: 73 65 64 20 74 6f 20 69 6d 70 6c 65 6d 65 6e 74 sed to implement
0390: 20 61 20 22 62 61 67 22 20 6f 66 20 69 6e 74 65 a "bag" of inte
03a0: 67 65 72 73 2e 0a 2a 2a 20 41 20 62 61 67 20 69 gers..** A bag i
03b0: 73 20 61 6e 20 75 6e 6f 72 64 65 72 65 64 20 63 s an unordered c
03c0: 6f 6c 6c 65 63 74 69 6f 6e 20 77 69 74 68 6f 75 ollection withou
03d0: 74 20 64 75 70 6c 69 63 61 74 65 73 2e 20 20 49 t duplicates. I
03e0: 6e 20 74 68 69 73 0a 2a 2a 20 69 6d 70 6c 65 6d n this.** implem
03f0: 65 6e 74 61 74 69 6f 6e 2c 20 61 6c 6c 20 65 6c entation, all el
0400: 65 6d 65 6e 74 73 20 6d 75 73 74 20 62 65 20 70 ements must be p
0410: 6f 73 69 74 69 76 65 20 69 6e 74 65 67 65 72 73 ositive integers
0420: 2e 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65 20 22 63 ..*/.#include "c
0430: 6f 6e 66 69 67 2e 68 22 0a 23 69 6e 63 6c 75 64 onfig.h".#includ
0440: 65 20 22 62 61 67 2e 68 22 0a 23 69 6e 63 6c 75 e "bag.h".#inclu
0450: 64 65 20 3c 61 73 73 65 72 74 2e 68 3e 0a 0a 0a de <assert.h>...
0460: 23 69 66 20 49 4e 54 45 52 46 41 43 45 0a 2f 2a #if INTERFACE./*
0470: 0a 2a 2a 20 41 6e 20 69 6e 74 65 67 65 72 20 63 .** An integer c
0480: 61 6e 20 61 70 70 65 61 72 20 69 6e 20 74 68 65 an appear in the
0490: 20 62 61 67 20 61 74 20 6d 6f 73 74 20 6f 6e 63 bag at most onc
04a0: 65 2e 0a 2a 2a 20 49 6e 74 65 67 65 72 73 20 6d e..** Integers m
04b0: 75 73 74 20 62 65 20 70 6f 73 69 74 69 76 65 2e ust be positive.
04c0: 0a 2a 2a 0a 2a 2a 20 4f 6e 20 61 20 68 61 73 68 .**.** On a hash
04d0: 20 63 6f 6c 6c 69 73 69 6f 6e 2c 20 73 65 61 72 collision, sear
04e0: 63 68 20 63 6f 6e 74 69 6e 75 65 73 20 74 6f 20 ch continues to
04f0: 74 68 65 20 6e 65 78 74 20 73 6c 6f 74 20 69 6e the next slot in
0500: 20 74 68 65 20 61 72 72 61 79 2c 0a 2a 2a 20 6c the array,.** l
0510: 6f 6f 70 69 6e 67 20 62 61 63 6b 20 74 6f 20 74 ooping back to t
0520: 68 65 20 62 65 67 69 6e 6e 69 6e 67 20 6f 66 20 he beginning of
0530: 74 68 65 20 61 72 72 61 79 20 77 68 65 6e 20 77 the array when w
0540: 65 20 72 65 61 63 68 20 74 68 65 20 65 6e 64 2e e reach the end.
0550: 0a 2a 2a 20 54 68 65 20 73 65 61 72 63 68 20 73 .** The search s
0560: 74 6f 70 73 20 77 68 65 6e 20 61 20 6d 61 74 63 tops when a matc
0570: 68 20 69 73 20 66 6f 75 6e 64 20 6f 72 20 75 70 h is found or up
0580: 6f 6e 20 65 6e 63 6f 75 6e 74 65 72 69 6e 67 20 on encountering
0590: 61 20 30 20 65 6e 74 72 79 2e 0a 2a 2a 0a 2a 2a a 0 entry..**.**
05a0: 20 57 68 65 6e 20 61 6e 20 65 6e 74 72 79 20 69 When an entry i
05b0: 73 20 64 65 6c 65 74 65 64 2c 20 69 74 73 20 76 s deleted, its v
05c0: 61 6c 75 65 20 69 73 20 63 68 61 6e 67 65 64 20 alue is changed
05d0: 74 6f 20 2d 31 2e 0a 2a 2a 0a 2a 2a 20 42 61 67 to -1..**.** Bag
05e0: 2e 63 6e 74 20 69 73 20 74 68 65 20 6e 75 6d 62 .cnt is the numb
05f0: 65 72 20 6f 66 20 6c 69 76 65 20 65 6e 74 72 69 er of live entri
0600: 65 73 20 69 6e 20 74 68 65 20 74 61 62 6c 65 2e es in the table.
0610: 20 20 42 61 67 2e 75 73 65 64 20 69 73 0a 2a 2a Bag.used is.**
0620: 20 74 68 65 20 6e 75 6d 62 65 72 20 6f 66 20 6c the number of l
0630: 69 76 65 20 65 6e 74 72 69 65 73 20 70 6c 75 73 ive entries plus
0640: 20 74 68 65 20 6e 75 6d 62 65 72 20 6f 66 20 64 the number of d
0650: 65 6c 65 74 65 64 20 65 6e 74 72 69 65 73 2e 20 eleted entries.
0660: 20 53 6f 0a 2a 2a 20 42 61 67 2e 75 73 65 64 3e So.** Bag.used>
0670: 3d 42 61 67 2e 63 6e 74 2e 20 20 57 65 20 77 61 =Bag.cnt. We wa
0680: 6e 74 20 74 6f 20 6b 65 65 70 20 42 61 67 2e 75 nt to keep Bag.u
0690: 73 65 64 2d 42 61 67 2e 63 6e 74 20 61 73 20 73 sed-Bag.cnt as s
06a0: 6d 61 6c 6c 20 61 73 0a 2a 2a 20 70 6f 73 73 69 mall as.** possi
06b0: 62 6c 65 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 6c ble..**.** The l
06c0: 65 6e 67 74 68 20 6f 66 20 61 20 73 65 61 72 63 ength of a searc
06d0: 68 20 69 6e 63 72 65 61 73 65 73 20 61 73 20 74 h increases as t
06e0: 68 65 20 68 61 73 68 20 74 61 62 6c 65 20 66 69 he hash table fi
06f0: 6c 6c 73 20 75 70 2e 20 20 53 6f 0a 2a 2a 20 74 lls up. So.** t
0700: 68 65 20 74 61 62 6c 65 20 69 73 20 65 6e 6c 61 he table is enla
0710: 72 67 65 64 20 77 68 65 6e 65 76 65 72 20 42 61 rged whenever Ba
0720: 67 2e 75 73 65 64 20 72 65 61 63 68 65 73 20 68 g.used reaches h
0730: 61 6c 66 20 6f 66 20 42 61 67 2e 73 7a 2e 20 20 alf of Bag.sz.
0740: 54 68 61 74 0a 2a 2a 20 77 61 79 2c 20 74 68 65 That.** way, the
0750: 20 65 78 70 65 63 74 65 64 20 63 6f 6c 6c 69 73 expected collis
0760: 69 6f 6e 20 6c 65 6e 67 74 68 20 6e 65 76 65 72 ion length never
0770: 20 65 78 63 65 65 64 73 20 32 2e 0a 2a 2f 0a 73 exceeds 2..*/.s
0780: 74 72 75 63 74 20 42 61 67 20 7b 0a 20 20 69 6e truct Bag {. in
0790: 74 20 63 6e 74 3b 20 20 20 2f 2a 20 4e 75 6d 62 t cnt; /* Numb
07a0: 65 72 20 6f 66 20 69 6e 74 65 67 65 72 73 20 69 er of integers i
07b0: 6e 20 74 68 65 20 62 61 67 20 2a 2f 0a 20 20 69 n the bag */. i
07c0: 6e 74 20 73 7a 3b 20 20 20 20 2f 2a 20 4e 75 6d nt sz; /* Num
07d0: 62 65 72 20 6f 66 20 73 6c 6f 74 73 20 69 6e 20 ber of slots in
07e0: 61 5b 5d 20 2a 2f 0a 20 20 69 6e 74 20 75 73 65 a[] */. int use
07f0: 64 3b 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 d; /* Number of
0800: 20 75 73 65 64 20 73 6c 6f 74 73 20 69 6e 20 61 used slots in a
0810: 5b 5d 20 2a 2f 0a 20 20 69 6e 74 20 2a 61 3b 20 [] */. int *a;
0820: 20 20 20 2f 2a 20 48 61 73 68 20 74 61 62 6c 65 /* Hash table
0830: 20 6f 66 20 69 6e 74 65 67 65 72 73 20 74 68 61 of integers tha
0840: 74 20 61 72 65 20 69 6e 20 74 68 65 20 62 61 67 t are in the bag
0850: 20 2a 2f 0a 7d 3b 0a 23 65 6e 64 69 66 0a 0a 2f */.};.#endif../
0860: 2a 0a 2a 2a 20 49 6e 69 74 69 61 6c 69 7a 65 20 *.** Initialize
0870: 61 20 42 61 67 20 73 74 72 75 63 74 75 72 65 0a a Bag structure.
0880: 2a 2f 0a 76 6f 69 64 20 62 61 67 5f 69 6e 69 74 */.void bag_init
0890: 28 42 61 67 20 2a 70 29 7b 0a 20 20 6d 65 6d 73 (Bag *p){. mems
08a0: 65 74 28 70 2c 20 30 2c 20 73 69 7a 65 6f 66 28 et(p, 0, sizeof(
08b0: 2a 70 29 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 44 *p));.}../*.** D
08c0: 65 73 74 72 6f 79 20 61 20 42 61 67 2e 20 20 44 estroy a Bag. D
08d0: 65 6c 65 74 65 20 61 6c 6c 20 6f 66 20 69 74 73 elete all of its
08e0: 20 63 6f 6e 74 65 6e 74 2e 0a 2a 2f 0a 76 6f 69 content..*/.voi
08f0: 64 20 62 61 67 5f 63 6c 65 61 72 28 42 61 67 20 d bag_clear(Bag
0900: 2a 70 29 7b 0a 20 20 66 72 65 65 28 70 2d 3e 61 *p){. free(p->a
0910: 29 3b 0a 20 20 62 61 67 5f 69 6e 69 74 28 70 29 );. bag_init(p)
0920: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 68 ;.}../*.** The h
0930: 61 73 68 20 66 75 6e 63 74 69 6f 6e 0a 2a 2f 0a ash function.*/.
0940: 23 64 65 66 69 6e 65 20 62 61 67 5f 68 61 73 68 #define bag_hash
0950: 28 69 29 20 20 28 69 2a 31 30 31 29 0a 0a 2f 2a (i) (i*101)../*
0960: 0a 2a 2a 20 43 68 61 6e 67 65 20 74 68 65 20 73 .** Change the s
0970: 69 7a 65 20 6f 66 20 74 68 65 20 68 61 73 68 20 ize of the hash
0980: 74 61 62 6c 65 20 6f 6e 20 61 20 62 61 67 20 73 table on a bag s
0990: 6f 20 74 68 61 74 0a 2a 2a 20 69 74 20 63 6f 6e o that.** it con
09a0: 74 61 69 6e 73 20 4e 20 73 6c 6f 74 73 0a 2a 2a tains N slots.**
09b0: 0a 2a 2a 20 43 6f 6d 70 6c 65 74 65 6c 79 20 72 .** Completely r
09c0: 65 63 6f 6e 73 74 72 75 63 74 20 74 68 65 20 68 econstruct the h
09d0: 61 73 68 20 74 61 62 6c 65 20 66 72 6f 6d 20 73 ash table from s
09e0: 63 72 61 74 63 68 2e 20 20 44 65 6c 65 74 65 64 cratch. Deleted
09f0: 0a 2a 2a 20 65 6e 74 72 69 65 73 20 28 69 6e 64 .** entries (ind
0a00: 69 63 61 74 65 64 20 62 79 20 61 20 2d 31 29 20 icated by a -1)
0a10: 61 72 65 20 72 65 6d 6f 76 65 64 2e 20 20 57 68 are removed. Wh
0a20: 65 6e 20 66 69 6e 69 73 68 65 64 2c 20 69 74 20 en finished, it
0a30: 0a 2a 2a 20 73 68 6f 75 6c 64 20 62 65 20 74 68 .** should be th
0a40: 65 20 63 61 73 65 20 74 68 61 74 20 70 2d 3e 63 e case that p->c
0a50: 6e 74 3d 3d 70 2d 3e 75 73 65 64 2e 0a 2a 2f 0a nt==p->used..*/.
0a60: 73 74 61 74 69 63 20 76 6f 69 64 20 62 61 67 5f static void bag_
0a70: 72 65 73 69 7a 65 28 42 61 67 20 2a 70 2c 20 69 resize(Bag *p, i
0a80: 6e 74 20 6e 65 77 53 69 7a 65 29 7b 0a 20 20 69 nt newSize){. i
0a90: 6e 74 20 69 3b 0a 20 20 42 61 67 20 6f 6c 64 3b nt i;. Bag old;
0aa0: 0a 20 20 69 6e 74 20 6e 44 65 6c 20 3d 20 30 3b . int nDel = 0;
0ab0: 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 /* Number of
0ac0: 64 65 6c 65 74 65 64 20 65 6e 74 72 69 65 73 20 deleted entries
0ad0: 2a 2f 0a 20 20 69 6e 74 20 6e 4c 69 76 65 20 3d */. int nLive =
0ae0: 20 30 3b 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 0; /* Number o
0af0: 66 20 6c 69 76 65 20 65 6e 74 72 69 65 73 20 2a f live entries *
0b00: 2f 0a 0a 20 20 6f 6c 64 20 3d 20 2a 70 3b 0a 20 /.. old = *p;.
0b10: 20 61 73 73 65 72 74 28 20 6e 65 77 53 69 7a 65 assert( newSize
0b20: 3e 6f 6c 64 2e 63 6e 74 20 29 3b 0a 20 20 70 2d >old.cnt );. p-
0b30: 3e 61 20 3d 20 6d 61 6c 6c 6f 63 28 20 73 69 7a >a = malloc( siz
0b40: 65 6f 66 28 70 2d 3e 61 5b 30 5d 29 2a 6e 65 77 eof(p->a[0])*new
0b50: 53 69 7a 65 20 29 3b 0a 20 20 70 2d 3e 73 7a 20 Size );. p->sz
0b60: 3d 20 6e 65 77 53 69 7a 65 3b 0a 20 20 6d 65 6d = newSize;. mem
0b70: 73 65 74 28 70 2d 3e 61 2c 20 30 2c 20 73 69 7a set(p->a, 0, siz
0b80: 65 6f 66 28 70 2d 3e 61 5b 30 5d 29 2a 6e 65 77 eof(p->a[0])*new
0b90: 53 69 7a 65 20 29 3b 0a 20 20 66 6f 72 28 69 3d Size );. for(i=
0ba0: 30 3b 20 69 3c 6f 6c 64 2e 73 7a 3b 20 69 2b 2b 0; i<old.sz; i++
0bb0: 29 7b 0a 20 20 20 20 69 6e 74 20 65 20 3d 20 6f ){. int e = o
0bc0: 6c 64 2e 61 5b 69 5d 3b 0a 20 20 20 20 69 66 28 ld.a[i];. if(
0bd0: 20 65 3e 30 20 29 7b 0a 20 20 20 20 20 20 75 6e e>0 ){. un
0be0: 73 69 67 6e 65 64 20 68 20 3d 20 62 61 67 5f 68 signed h = bag_h
0bf0: 61 73 68 28 65 29 25 6e 65 77 53 69 7a 65 3b 0a ash(e)%newSize;.
0c00: 20 20 20 20 20 20 77 68 69 6c 65 28 20 70 2d 3e while( p->
0c10: 61 5b 68 5d 20 29 7b 0a 20 20 20 20 20 20 20 20 a[h] ){.
0c20: 68 2b 2b 3b 0a 20 20 20 20 20 20 20 20 69 66 28 h++;. if(
0c30: 20 68 3d 3d 6e 65 77 53 69 7a 65 20 29 20 68 20 h==newSize ) h
0c40: 3d 20 30 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 = 0;. }.
0c50: 20 20 20 70 2d 3e 61 5b 68 5d 20 3d 20 65 3b 0a p->a[h] = e;.
0c60: 20 20 20 20 20 20 6e 4c 69 76 65 2b 2b 3b 0a 20 nLive++;.
0c70: 20 20 20 7d 65 6c 73 65 20 69 66 28 20 65 3c 30 }else if( e<0
0c80: 20 29 7b 0a 20 20 20 20 20 20 6e 44 65 6c 2b 2b ){. nDel++
0c90: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 61 73 ;. }. }. as
0ca0: 73 65 72 74 28 20 70 2d 3e 63 6e 74 20 3d 3d 20 sert( p->cnt ==
0cb0: 6e 4c 69 76 65 20 29 3b 0a 20 20 61 73 73 65 72 nLive );. asser
0cc0: 74 28 20 70 2d 3e 75 73 65 64 20 3d 3d 20 6e 4c t( p->used == nL
0cd0: 69 76 65 2b 6e 44 65 6c 20 29 3b 0a 20 20 70 2d ive+nDel );. p-
0ce0: 3e 75 73 65 64 20 3d 20 70 2d 3e 63 6e 74 3b 0a >used = p->cnt;.
0cf0: 20 20 62 61 67 5f 63 6c 65 61 72 28 26 6f 6c 64 bag_clear(&old
0d00: 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 49 6e 73 65 );.}../*.** Inse
0d10: 72 74 20 65 6c 65 6d 65 6e 74 20 65 20 69 6e 74 rt element e int
0d20: 6f 20 74 68 65 20 62 61 67 20 69 66 20 69 74 20 o the bag if it
0d30: 69 73 20 6e 6f 74 20 74 68 65 72 65 20 61 6c 72 is not there alr
0d40: 65 61 64 79 2e 0a 2a 2a 20 52 65 74 75 72 6e 20 eady..** Return
0d50: 54 52 55 45 20 69 66 20 74 68 65 20 69 6e 73 65 TRUE if the inse
0d60: 72 74 20 61 63 74 75 61 6c 6c 79 20 6f 63 63 75 rt actually occu
0d70: 72 72 65 64 2e 20 20 52 65 74 75 72 6e 20 46 41 rred. Return FA
0d80: 4c 53 45 0a 2a 2a 20 69 66 20 74 68 65 20 65 6c LSE.** if the el
0d90: 65 6d 65 6e 74 20 77 61 73 20 61 6c 72 65 61 64 ement was alread
0da0: 79 20 69 6e 20 74 68 65 20 62 61 67 2e 0a 2a 2f y in the bag..*/
0db0: 0a 69 6e 74 20 62 61 67 5f 69 6e 73 65 72 74 28 .int bag_insert(
0dc0: 42 61 67 20 2a 70 2c 20 69 6e 74 20 65 29 7b 0a Bag *p, int e){.
0dd0: 20 20 75 6e 73 69 67 6e 65 64 20 68 3b 0a 20 20 unsigned h;.
0de0: 69 6e 74 20 72 63 20 3d 20 30 3b 0a 20 20 61 73 int rc = 0;. as
0df0: 73 65 72 74 28 20 65 3e 30 20 29 3b 0a 20 20 69 sert( e>0 );. i
0e00: 66 28 20 70 2d 3e 75 73 65 64 2b 31 20 3e 3d 20 f( p->used+1 >=
0e10: 70 2d 3e 73 7a 2f 32 20 29 7b 0a 20 20 20 20 69 p->sz/2 ){. i
0e20: 6e 74 20 6e 20 3d 20 70 2d 3e 73 7a 2a 32 3b 0a nt n = p->sz*2;.
0e30: 20 20 20 20 62 61 67 5f 72 65 73 69 7a 65 28 70 bag_resize(p
0e40: 2c 20 20 6e 20 2b 20 32 30 20 29 3b 0a 20 20 7d , n + 20 );. }
0e50: 0a 20 20 68 20 3d 20 62 61 67 5f 68 61 73 68 28 . h = bag_hash(
0e60: 65 29 25 70 2d 3e 73 7a 3b 0a 20 20 77 68 69 6c e)%p->sz;. whil
0e70: 65 28 20 70 2d 3e 61 5b 68 5d 3e 30 20 26 26 20 e( p->a[h]>0 &&
0e80: 70 2d 3e 61 5b 68 5d 21 3d 65 20 29 7b 0a 20 20 p->a[h]!=e ){.
0e90: 20 20 68 2b 2b 3b 0a 20 20 20 20 69 66 28 20 68 h++;. if( h
0ea0: 3e 3d 70 2d 3e 73 7a 20 29 20 68 20 3d 20 30 3b >=p->sz ) h = 0;
0eb0: 0a 20 20 7d 0a 20 20 69 66 28 20 70 2d 3e 61 5b . }. if( p->a[
0ec0: 68 5d 3c 3d 30 20 29 7b 0a 20 20 20 20 69 66 28 h]<=0 ){. if(
0ed0: 20 70 2d 3e 61 5b 68 5d 3d 3d 30 20 29 20 70 2d p->a[h]==0 ) p-
0ee0: 3e 75 73 65 64 2b 2b 3b 0a 20 20 20 20 70 2d 3e >used++;. p->
0ef0: 61 5b 68 5d 20 3d 20 65 3b 0a 20 20 20 20 70 2d a[h] = e;. p-
0f00: 3e 63 6e 74 2b 2b 3b 0a 20 20 20 20 72 63 20 3d >cnt++;. rc =
0f10: 20 31 3b 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 1;. }. return
0f20: 20 72 63 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 52 65 rc;.}../*.** Re
0f30: 74 75 72 6e 20 74 72 75 65 20 69 66 20 65 20 69 turn true if e i
0f40: 6e 20 74 68 65 20 62 61 67 2e 20 20 52 65 74 75 n the bag. Retu
0f50: 72 6e 20 66 61 6c 73 65 20 69 66 20 69 74 20 69 rn false if it i
0f60: 73 20 6e 6f 2e 0a 2a 2f 0a 69 6e 74 20 62 61 67 s no..*/.int bag
0f70: 5f 66 69 6e 64 28 42 61 67 20 2a 70 2c 20 69 6e _find(Bag *p, in
0f80: 74 20 65 29 7b 0a 20 20 75 6e 73 69 67 6e 65 64 t e){. unsigned
0f90: 20 68 3b 0a 20 20 61 73 73 65 72 74 28 20 65 3e h;. assert( e>
0fa0: 30 20 29 3b 0a 20 20 69 66 28 20 70 2d 3e 73 7a 0 );. if( p->sz
0fb0: 3d 3d 30 20 29 7b 0a 20 20 20 20 72 65 74 75 72 ==0 ){. retur
0fc0: 6e 20 30 3b 0a 20 20 7d 0a 20 20 68 20 3d 20 62 n 0;. }. h = b
0fd0: 61 67 5f 68 61 73 68 28 65 29 25 70 2d 3e 73 7a ag_hash(e)%p->sz
0fe0: 3b 0a 20 20 77 68 69 6c 65 28 20 70 2d 3e 61 5b ;. while( p->a[
0ff0: 68 5d 20 26 26 20 70 2d 3e 61 5b 68 5d 21 3d 65 h] && p->a[h]!=e
1000: 20 29 7b 0a 20 20 20 20 68 2b 2b 3b 0a 20 20 20 ){. h++;.
1010: 20 69 66 28 20 68 3e 3d 70 2d 3e 73 7a 20 29 20 if( h>=p->sz )
1020: 68 20 3d 20 30 3b 0a 20 20 7d 0a 20 20 72 65 74 h = 0;. }. ret
1030: 75 72 6e 20 70 2d 3e 61 5b 68 5d 3d 3d 65 3b 0a urn p->a[h]==e;.
1040: 7d 0a 0a 2f 2a 0a 2a 2a 20 52 65 6d 6f 76 65 20 }../*.** Remove
1050: 65 6c 65 6d 65 6e 74 20 65 20 66 72 6f 6d 20 74 element e from t
1060: 68 65 20 62 61 67 20 69 66 20 69 74 20 65 78 69 he bag if it exi
1070: 73 74 73 20 69 6e 20 74 68 65 20 62 61 67 2e 0a sts in the bag..
1080: 2a 2a 20 49 66 20 65 20 69 73 20 6e 6f 74 20 69 ** If e is not i
1090: 6e 20 74 68 65 20 62 61 67 2c 20 74 68 69 73 20 n the bag, this
10a0: 69 73 20 61 20 6e 6f 2d 6f 70 2e 0a 2a 2f 0a 76 is a no-op..*/.v
10b0: 6f 69 64 20 62 61 67 5f 72 65 6d 6f 76 65 28 42 oid bag_remove(B
10c0: 61 67 20 2a 70 2c 20 69 6e 74 20 65 29 7b 0a 20 ag *p, int e){.
10d0: 20 75 6e 73 69 67 6e 65 64 20 68 3b 0a 20 20 61 unsigned h;. a
10e0: 73 73 65 72 74 28 20 65 3e 30 20 29 3b 0a 20 20 ssert( e>0 );.
10f0: 69 66 28 20 70 2d 3e 73 7a 3d 3d 30 20 29 20 72 if( p->sz==0 ) r
1100: 65 74 75 72 6e 3b 0a 20 20 68 20 3d 20 62 61 67 eturn;. h = bag
1110: 5f 68 61 73 68 28 65 29 25 70 2d 3e 73 7a 3b 0a _hash(e)%p->sz;.
1120: 20 20 77 68 69 6c 65 28 20 70 2d 3e 61 5b 68 5d while( p->a[h]
1130: 20 26 26 20 70 2d 3e 61 5b 68 5d 21 3d 65 20 29 && p->a[h]!=e )
1140: 7b 0a 20 20 20 20 68 2b 2b 3b 0a 20 20 20 20 69 {. h++;. i
1150: 66 28 20 68 3e 3d 70 2d 3e 73 7a 20 29 20 68 20 f( h>=p->sz ) h
1160: 3d 20 30 3b 0a 20 20 7d 0a 20 20 69 66 28 20 70 = 0;. }. if( p
1170: 2d 3e 61 5b 68 5d 20 29 7b 0a 20 20 20 20 69 6e ->a[h] ){. in
1180: 74 20 6e 78 20 3d 20 68 2b 31 3b 0a 20 20 20 20 t nx = h+1;.
1190: 69 66 28 20 6e 78 3e 3d 70 2d 3e 73 7a 20 29 20 if( nx>=p->sz )
11a0: 6e 78 20 3d 20 30 3b 0a 20 20 20 20 69 66 28 20 nx = 0;. if(
11b0: 70 2d 3e 61 5b 6e 78 5d 3d 3d 30 20 29 7b 0a 20 p->a[nx]==0 ){.
11c0: 20 20 20 20 20 70 2d 3e 61 5b 68 5d 20 3d 20 30 p->a[h] = 0
11d0: 3b 0a 20 20 20 20 20 20 70 2d 3e 75 73 65 64 2d ;. p->used-
11e0: 2d 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20 20 -;. }else{.
11f0: 20 20 20 20 70 2d 3e 61 5b 68 5d 20 3d 20 2d 31 p->a[h] = -1
1200: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 70 2d 3e 63 ;. }. p->c
1210: 6e 74 2d 2d 3b 0a 20 20 20 20 69 66 28 20 70 2d nt--;. if( p-
1220: 3e 63 6e 74 3d 3d 30 20 29 7b 0a 20 20 20 20 20 >cnt==0 ){.
1230: 20 6d 65 6d 73 65 74 28 70 2d 3e 61 2c 20 30 2c memset(p->a, 0,
1240: 20 70 2d 3e 73 7a 2a 73 69 7a 65 6f 66 28 70 2d p->sz*sizeof(p-
1250: 3e 61 5b 30 5d 29 29 3b 0a 20 20 20 20 20 20 70 >a[0]));. p
1260: 2d 3e 75 73 65 64 20 3d 20 30 3b 0a 20 20 20 20 ->used = 0;.
1270: 7d 65 6c 73 65 20 69 66 28 20 70 2d 3e 73 7a 3e }else if( p->sz>
1280: 34 30 20 26 26 20 70 2d 3e 63 6e 74 3c 70 2d 3e 40 && p->cnt<p->
1290: 73 7a 2f 38 20 29 7b 0a 20 20 20 20 20 20 62 61 sz/8 ){. ba
12a0: 67 5f 72 65 73 69 7a 65 28 70 2c 20 70 2d 3e 73 g_resize(p, p->s
12b0: 7a 2f 32 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a z/2);. }. }.
12c0: 7d 0a 0a 2f 2a 0a 2a 2a 20 52 65 74 75 72 6e 20 }../*.** Return
12d0: 74 68 65 20 66 69 72 73 74 20 65 6c 65 6d 65 6e the first elemen
12e0: 74 20 69 6e 20 74 68 65 20 62 61 67 2e 20 20 52 t in the bag. R
12f0: 65 74 75 72 6e 20 30 20 69 66 20 74 68 65 20 62 eturn 0 if the b
1300: 61 67 0a 2a 2a 20 69 73 20 65 6d 70 74 79 2e 0a ag.** is empty..
1310: 2a 2f 0a 69 6e 74 20 62 61 67 5f 66 69 72 73 74 */.int bag_first
1320: 28 42 61 67 20 2a 70 29 7b 0a 20 20 69 6e 74 20 (Bag *p){. int
1330: 69 3b 0a 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c i;. for(i=0; i<
1340: 70 2d 3e 73 7a 20 26 26 20 70 2d 3e 61 5b 69 5d p->sz && p->a[i]
1350: 3c 3d 30 3b 20 69 2b 2b 29 7b 7d 0a 20 20 69 66 <=0; i++){}. if
1360: 28 20 69 3c 70 2d 3e 73 7a 20 29 7b 0a 20 20 20 ( i<p->sz ){.
1370: 20 72 65 74 75 72 6e 20 70 2d 3e 61 5b 69 5d 3b return p->a[i];
1380: 0a 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 72 65 . }else{. re
1390: 74 75 72 6e 20 30 3b 0a 20 20 7d 0a 7d 0a 0a 2f turn 0;. }.}../
13a0: 2a 0a 2a 2a 20 52 65 74 75 72 6e 20 74 68 65 20 *.** Return the
13b0: 6e 65 78 74 20 65 6c 65 6d 65 6e 74 20 69 6e 20 next element in
13c0: 74 68 65 20 62 61 67 20 61 66 74 65 72 20 65 2e the bag after e.
13d0: 20 20 52 65 74 75 72 6e 20 30 20 69 66 0a 2a 2a Return 0 if.**
13e0: 20 69 73 20 74 68 65 20 6c 61 73 74 20 65 6c 65 is the last ele
13f0: 6d 65 6e 74 20 69 6e 20 74 68 65 20 62 61 67 2e ment in the bag.
1400: 20 20 41 6e 79 20 69 6e 73 65 72 74 20 6f 72 20 Any insert or
1410: 72 65 6d 6f 76 61 6c 20 66 72 6f 6d 0a 2a 2a 20 removal from.**
1420: 74 68 65 20 62 61 67 20 6d 69 67 68 74 20 72 65 the bag might re
1430: 6f 72 64 65 72 20 74 68 65 20 62 61 67 2e 0a 2a order the bag..*
1440: 2f 0a 69 6e 74 20 62 61 67 5f 6e 65 78 74 28 42 /.int bag_next(B
1450: 61 67 20 2a 70 2c 20 69 6e 74 20 65 29 7b 0a 20 ag *p, int e){.
1460: 20 75 6e 73 69 67 6e 65 64 20 68 3b 0a 20 20 61 unsigned h;. a
1470: 73 73 65 72 74 28 20 70 2d 3e 73 7a 3e 30 20 29 ssert( p->sz>0 )
1480: 3b 0a 20 20 61 73 73 65 72 74 28 20 65 3e 30 20 ;. assert( e>0
1490: 29 3b 0a 20 20 68 20 3d 20 62 61 67 5f 68 61 73 );. h = bag_has
14a0: 68 28 65 29 25 70 2d 3e 73 7a 3b 0a 20 20 77 68 h(e)%p->sz;. wh
14b0: 69 6c 65 28 20 70 2d 3e 61 5b 68 5d 20 26 26 20 ile( p->a[h] &&
14c0: 70 2d 3e 61 5b 68 5d 21 3d 65 20 29 7b 0a 20 20 p->a[h]!=e ){.
14d0: 20 20 68 2b 2b 3b 0a 20 20 20 20 69 66 28 20 68 h++;. if( h
14e0: 3e 3d 70 2d 3e 73 7a 20 29 20 68 20 3d 20 30 3b >=p->sz ) h = 0;
14f0: 0a 20 20 7d 0a 20 20 61 73 73 65 72 74 28 20 70 . }. assert( p
1500: 2d 3e 61 5b 68 5d 20 29 3b 0a 20 20 68 2b 2b 3b ->a[h] );. h++;
1510: 0a 20 20 77 68 69 6c 65 28 20 68 3c 70 2d 3e 73 . while( h<p->s
1520: 7a 20 26 26 20 70 2d 3e 61 5b 68 5d 3c 3d 30 20 z && p->a[h]<=0
1530: 29 7b 0a 20 20 20 20 68 2b 2b 3b 0a 20 20 7d 0a ){. h++;. }.
1540: 20 20 72 65 74 75 72 6e 20 68 3c 70 2d 3e 73 7a return h<p->sz
1550: 20 3f 20 70 2d 3e 61 5b 68 5d 20 3a 20 30 3b 0a ? p->a[h] : 0;.
1560: 7d 0a 0a 2f 2a 0a 2a 2a 20 52 65 74 75 72 6e 20 }../*.** Return
1570: 74 68 65 20 6e 75 6d 62 65 72 20 6f 66 20 65 6c the number of el
1580: 65 6d 65 6e 74 73 20 69 6e 20 74 68 65 20 62 61 ements in the ba
1590: 67 2e 0a 2a 2f 0a 69 6e 74 20 62 61 67 5f 63 6f g..*/.int bag_co
15a0: 75 6e 74 28 42 61 67 20 2a 70 29 7b 0a 20 20 72 unt(Bag *p){. r
15b0: 65 74 75 72 6e 20 70 2d 3e 63 6e 74 3b 0a 7d 0a eturn p->cnt;.}.