From e0b3ecbe06cb47d14ee64dbf1bdbd9cbc27ac648 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Sun, 22 Mar 2015 18:53:50 +0100 Subject: kconfig_parser rewritten and now supports revers dependency MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Most of the kconfig_parser is changed. Now dependency are not copied before transfer to CNF and CNF expression is direcly extracted from kconfíg parsed output structures. --- programs/src/kconfig_parser/boolexp.h | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'programs/src/kconfig_parser/boolexp.h') diff --git a/programs/src/kconfig_parser/boolexp.h b/programs/src/kconfig_parser/boolexp.h index 2a73374..7f3aed6 100644 --- a/programs/src/kconfig_parser/boolexp.h +++ b/programs/src/kconfig_parser/boolexp.h @@ -21,7 +21,17 @@ struct boolexp { union boolexp_data left, right; }; +/*struct cnfexpr { + int **exprs; + unsigned *sizes; + unsigned size; +};*/ + +struct cnfexpr *kconfig_dep(struct symlist *sl, struct expr *expr); +void cnfprint(struct cnfexpr *); + struct boolexp *copy_kconfig_dep(struct symlist *sl, struct expr *expr); +struct boolexp *copy_kconfig_f_dep(struct symlist *sl, struct expr *expr); struct boolexp *boolexp_cnf(struct boolexp *be); void boolexp_print(struct boolexp *be); -- cgit v1.2.3