Author: kkaempf Date: Mon Sep 1 11:33:16 2008 New Revision: 10901 URL: http://svn.opensuse.org/viewcvs/zypp?rev=10901&view=rev Log: add example on String vs. Relation pool Modified: trunk/sat-solver/doc/README.pool Modified: trunk/sat-solver/doc/README.pool URL: http://svn.opensuse.org/viewcvs/zypp/trunk/sat-solver/doc/README.pool?rev=10901&r1=10900&r2=10901&view=diff ============================================================================== --- trunk/sat-solver/doc/README.pool (original) +++ trunk/sat-solver/doc/README.pool Mon Sep 1 11:33:16 2008 @@ -122,3 +122,23 @@ There is no solvable with Id 0, this Id is reserved and serves as an 'end' indicator in lists of solvables. + + +Strings vs. Relations +===================== + +Relations (i.e. <name><flag><evr>) and Strings (<name>) are encoded as +Ids. Relations have the 32th bit set. +The pool contains a relation dictionary next to the string dictionary. + +Here's an example + +String dict: +2 -> bash +3 -> zlib +4 -> 1.2.3 + +Relation dict: +1 -> 3 >= 4 (i.e. zlib >= 1.2.3) + +Some package provides: 2, 0x80000001 (i.e. bash, zlib >= 1.2.3) -- To unsubscribe, e-mail: zypp-commit+unsubscribe@opensuse.org For additional commands, e-mail: zypp-commit+help@opensuse.org