kconfig2sat: More work

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

diff --git a/kconfig2sat/lcp_data.h b/kconfig2sat/lcp_data.h
index 251112a740f6962eec5d200d5c4de854d70874dc..4953b3fbcef4174628da7f076f3f1a035f01e918 100644 (file)
--- a/kconfig2sat/lcp_data.h
+++ b/kconfig2sat/lcp_data.h
@@ -5,13 +5,15 @@
 
 /* linux-conf-perf data structures extensions */
 
+typedef int sat_id; /* Id of corresponding SAT literal */
+
 struct lcp_symbol {
-       int sat_id;
-       int variable:1;
+       sat_id id;
+       int variable:1;         /* SAT literal is variable (i.e. not fixed) */
 };
 
 struct lcp_expr {
-       int sat_id;
+       sat_id id;
 };