X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=src%2Fcplxdeps.h;h=7c5946a2b5f921a06ca482d396dd2d491574b795;hb=d7f392b2f466c04078ccda3c9871b18edc0cdd86;hp=b5533054a0138f5eb3bfd2c901a502f82d34ff34;hpb=1a93853889c819ac2d3c8e83e856f4775e664b00;p=platform%2Fupstream%2Flibsolv.git diff --git a/src/cplxdeps.h b/src/cplxdeps.h index b553305..7c5946a 100644 --- a/src/cplxdeps.h +++ b/src/cplxdeps.h @@ -27,6 +27,7 @@ pool_is_complex_dep(Pool *pool, Id dep) } extern int pool_normalize_complex_dep(Pool *pool, Id dep, Queue *bq, int flags); +extern void pool_add_pos_literals_complex_dep(Pool *pool, Id dep, Queue *q, Map *m, int neg); #define CPLXDEPS_TODNF (1 << 0) #define CPLXDEPS_EXPAND (1 << 1)