]> git.ipfire.org Git - thirdparty/libsolv.git/commit
Add support for REL_UNLESS
authorMichael Schroeder <mls@suse.de>
Mon, 4 Sep 2017 09:36:22 +0000 (11:36 +0200)
committerMichael Schroeder <mls@suse.de>
Mon, 4 Sep 2017 09:52:36 +0000 (11:52 +0200)
commit0c8cd38903fbcf738545ee5a79ae8ee118d8e414
tree90e660947feb834b4524c7efbb15d0300ad1f5cb
parenta39c6a04a45585997994874a3a2e2bdcb840c92d
Add support for REL_UNLESS

This is similar to REL_COND, except that it uses AND, not OR. Thus:
(A REL_UNLESS B) is equivalent to (A AND NOT(B))
(A REL_UNLESS (B REL_ELSE C)) is equivalent to ((A AND NOT(B)) OR (C AND B))
src/cplxdeps.c
src/pool.c
src/pool.h
src/poolid.c
src/rules.c
src/selection.c
src/solver.c
src/solver_private.h