1 files changed, 26 insertions, 0 deletions
diff --git a/programs/src/kconfig_parser/cnfexpr.h b/programs/src/kconfig_parser/cnfexpr.h
new file mode 100644
index 0000000..ed5c2fb
--- /dev/null
+++ b/programs/src/kconfig_parser/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 "kconfig/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, struct expr *expr);
+void cnf_printf(struct cnfexpr *);
+
+struct boolexp *printf_original(struct symlist *sl, struct expr *expr);
+
+#endif /* _CNFEXPR_H_ */