kconfig2sat: Prepare for DIMACS CNF generation

[linux-conf-perf.git] / kconfig2sat / lcp_data.h

diff --git a/kconfig2sat/lcp_data.h b/kconfig2sat/lcp_data.h
new file mode 100644 (file)
index 0000000..251112a
--- /dev/null
+++ b/kconfig2sat/lcp_data.h
@@ -0,0 +1,19 @@
+#ifndef LCP_DATA_H
+#define LCP_DATA_H
+
+#include "kconfig/expr.h"
+
+/* linux-conf-perf data structures extensions */
+
+struct lcp_symbol {
+       int sat_id;
+       int variable:1;
+};
+
+struct lcp_expr {
+       int sat_id;
+};
+
+
+
+#endif