From 3fb6326fc36c69aa0b66de4823b116d7c0a9486c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Fri, 1 May 2015 20:55:43 +0200 Subject: parse_kconfig rewriten parse_kconfig should now generate full dependency. It is not transforming whole expression to CNF, but only pairs. --- scripts/parse_kconfig/cnfbuild.h | 31 ++++--------------------------- 1 file changed, 4 insertions(+), 27 deletions(-) (limited to 'scripts/parse_kconfig/cnfbuild.h') diff --git a/scripts/parse_kconfig/cnfbuild.h b/scripts/parse_kconfig/cnfbuild.h index e042cce..da31dce 100644 --- a/scripts/parse_kconfig/cnfbuild.h +++ b/scripts/parse_kconfig/cnfbuild.h @@ -1,36 +1,13 @@ #include #include -#include "symlist.h" -#include -#include "output.h" - #ifndef _CNFBUILD_H_ #define _CNFBUILD_H_ -enum cnfexpr_type { - CT_EXPR, CT_FALSE, CT_TRUE -}; - -struct cnfexpr { - enum cnfexpr_type type; - unsigned id; - struct output_expr *out; -}; - -struct cnfexpr *kconfig_expr(struct symlist *sl, struct expr *expr); +#include "symlist.h" +#include "boolexpr.h" +#include "output.h" -struct cnfexpr *cnfexpr_true(struct symlist *sl); -struct cnfexpr *cnfexpr_false(struct symlist *sl); -struct cnfexpr *cnfexpr_sym(struct symlist *sl, struct symbol *sym); -struct cnfexpr *cnfexpr_eql(struct symlist *sl, struct symbol *sym1, - struct symbol *sym2); -struct cnfexpr *cnfexpr_or(struct symlist *sl, struct cnfexpr *e1, - struct cnfexpr *e2); -struct cnfexpr *cnfexpr_and(struct symlist *sl, struct cnfexpr *e1, - struct cnfexpr *e2); -struct cnfexpr *cnfexpr_not(struct symlist *sl, struct cnfexpr *e); -struct cnfexpr *cnfexpr_copy(struct cnfexpr *e); -void cnfexpr_free(struct cnfexpr *e); +void cnf_boolexpr(struct symlist *sl, struct boolexpr *bl); #endif /* _CNFBUILD_H_ */ -- cgit v1.2.3