X-Git-Url: https://rtime.felk.cvut.cz/gitweb/linux-conf-perf.git/blobdiff_plain/637afee2f5bd2aff662483064a86866eb7323a46..6eaf1ee81c06ab3345fe5463c817fb8bf53e6ab6:/kconfig2sat/lcp_data.h

diff --git a/kconfig2sat/lcp_data.h b/kconfig2sat/lcp_data.h
new file mode 100644
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