aboutsummaryrefslogtreecommitdiff
path: root/scripts/parse_kconfig/cnfexpr.h
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/parse_kconfig/cnfexpr.h')
-rw-r--r--scripts/parse_kconfig/cnfexpr.h26
1 files changed, 26 insertions, 0 deletions
diff --git a/scripts/parse_kconfig/cnfexpr.h b/scripts/parse_kconfig/cnfexpr.h
new file mode 100644
index 0000000..1d0edd4
--- /dev/null
+++ b/scripts/parse_kconfig/cnfexpr.h
@@ -0,0 +1,26 @@
+#ifndef _CNFEXPR_H_
+#define _CNFEXPR_H_
+
+#include <stdlib.h>
+#include <stdbool.h>
+#include <stdio.h>
+#include "symlist.h"
+#include "lkc.h"
+
+enum cnfexpr_type {
+ CT_EXPR, CT_FALSE, CT_TRUE
+};
+
+struct cnfexpr {
+ enum cnfexpr_type type;
+ int **exprs;
+ unsigned *sizes;
+ unsigned size;
+};
+
+struct cnfexpr *kconfig_cnfexpr(struct symlist *sl, bool nt, struct expr *expr);
+void cnf_printf(struct cnfexpr *);
+
+struct boolexp *printf_original(struct symlist *sl, struct expr *expr);
+
+#endif /* _CNFEXPR_H_ */