current state of 'sat-solver'
[platform/upstream/libsolv.git] / src / pool.h
1 /*
2  * pool.h
3  * 
4  */
5
6 #ifndef POOL_H
7 #define POOL_H
8
9 #include "pooltypes.h"
10 #include "poolid.h"
11 #include "source.h"
12 #include "solvable.h"
13 #include "queue.h"
14
15 // bool
16 typedef int bool;
17
18 // see initpool_data[] in pool.c
19
20 /* well known ids */
21 #define ID_NULL                 0
22 #define ID_EMPTY                1
23 #define SOLVABLE_NAME           2
24 #define SOLVABLE_ARCH           3
25 #define SOLVABLE_EVR            4
26 #define SOLVABLE_PROVIDES       5
27 #define SOLVABLE_OBSOLETES      6
28 #define SOLVABLE_CONFLICTS      7
29 #define SOLVABLE_REQUIRES       8
30 #define SOLVABLE_RECOMMENDS     9
31 #define SOLVABLE_SUGGESTS       10
32 #define SOLVABLE_SUPPLEMENTS    11
33 #define SOLVABLE_ENHANCES       12
34 #define SOLVABLE_FRESHENS       13
35 #define RPM_RPMDBID             14
36 #define SOLVABLE_PREREQMARKER   15              // normal requires before this, prereqs after this
37 #define SOLVABLE_FILEMARKER     16              // normal provides before this, generated file provides after this
38 #define ARCH_SRC                17
39 #define ARCH_NOSRC              18
40 #define ARCH_NOARCH             19
41
42 //-----------------------------------------------
43
44 struct _Pool {
45   int verbose;          // pool is used everywhere, so put the verbose flag here
46
47   Offset *strings;            // table of offsets into stringspace, indexed by Id: Id -> Offset
48   int nstrings;               // number of unique strings in stringspace
49   char *stringspace;          // space for all unique strings: stringspace + Offset = string
50   Offset sstrings;            // next free pos in stringspace
51
52   Hashtable stringhashtbl;    // hash table: (string ->) Hash -> Id
53   Hashmask stringhashmask;    // modulo value for hash table (size of table - 1)
54
55   Reldep *rels;               // table of rels: Id -> Reldep
56   int nrels;                  // number of unique rels
57   Hashtable relhashtbl;       // hash table: (name,evr,op ->) Hash -> Id
58   Hashmask relhashmask;
59
60   Source **sources;
61   int nsources;
62
63   Solvable *solvables;
64   int nsolvables;
65
66   bool promoteepoch;
67
68   Id *id2arch;                  /* map arch ids to scores */
69   Id lastarch;                  /* last valid entry in id2arch */
70
71   /* providers data, as two-step indirect list
72    * whatprovides[Id] -> Offset into whatprovidesdata for name
73    * whatprovidesdata[Offset] -> ID_NULL-terminated list of solvables providing Id
74    */
75   Offset *whatprovides;         /* Offset to providers of a specific name, Id -> Offset  */
76   Id *whatprovidesdata;         /* Ids of solvable providing Id */
77   Offset whatprovidesdataoff;   /* next free slot within whatprovidesdata */
78   int whatprovidesdataleft;     /* number of 'free slots' within whatprovidesdata */
79 };
80
81 #define TYPE_ID                 1
82 #define TYPE_IDARRAY            2
83 #define TYPE_STR                3
84 #define TYPE_U32                4
85 #define TYPE_BITMAP             128
86
87
88 //-----------------------------------------------
89
90 // whatprovides
91 //  "foo" -> Id -> lookup in table, returns offset into whatprovidesdata where array of Ids providing 'foo' are located, 0-terminated
92
93
94 #define GET_PROVIDESP(d, v) (ISRELDEP(d) ?                              \
95              (v = GETRELID(pool, d), pool->whatprovides[v] ?            \
96                pool->whatprovidesdata + pool->whatprovides[v] :         \
97                addrelproviders(pool, d)                                 \
98              ) :                                                        \
99              (pool->whatprovidesdata + pool->whatprovides[d]))
100
101 /* loop over all providers of d */
102 #define FOR_PROVIDES(v, vp, d)                                          \
103   for (vp = GET_PROVIDESP(d, v) ; (v = *vp++) != ID_NULL; )
104
105 /* mark dependencies with relation by setting bit31 */
106
107 #define MAKERELDEP(id) ((id) | 0x80000000)
108 #define ISRELDEP(id) (((id) & 0x80000000) != 0)
109 #define GETRELID(pool, id) ((pool)->nstrings + ((id) ^ 0x80000000))     /* returns Id  */
110 #define GETRELDEP(pool, id) ((pool)->rels + ((id) ^ 0x80000000))        /* returns Reldep* */
111
112 #define REL_GT 1
113 #define REL_EQ 2
114 #define REL_LT 4
115
116 extern Pool *pool_create(void);
117 extern void pool_free(Pool *pool);
118 extern void pool_freesource(Pool *pool, Source *source);
119 extern void pool_prepare(Pool *pool);
120 extern void pool_freewhatprovides(Pool *pool);
121 extern Id pool_queuetowhatprovides(Pool *pool, Queue *q);
122
123 extern Id *addrelproviders(Pool *pool, Id d);
124
125 extern Source *pool_source(Pool *pool, Solvable *s);
126
127 #endif /* POOL_H */