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/symlist.h | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'programs/src/kconfig_parser/symlist.h') diff --git a/programs/src/kconfig_parser/symlist.h b/programs/src/kconfig_parser/symlist.h index caa827a..88bf4b0 100644 --- a/programs/src/kconfig_parser/symlist.h +++ b/programs/src/kconfig_parser/symlist.h @@ -3,12 +3,13 @@ #include #include -#include "boolexp.h" +#include "cnfexpr.h" struct symlist_el { unsigned int id; char *name; - struct boolexp *be; + struct cnfexpr *be; + struct cnfexpr *re_be; // forward dependency }; struct symlist { struct symlist_el *array; -- cgit v1.2.3