kconfig2sat almost finished

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

diff --git a/kconfig2sat/lcp_data.h b/kconfig2sat/lcp_data.h
index eba47ab29c51710f689713c0a1b35d1e945d012d..e3ea702c2b790e6a92a8fe114af60cf16b7c7e17 100644 (file)
--- a/kconfig2sat/lcp_data.h
+++ b/kconfig2sat/lcp_data.h
@@ -8,12 +8,13 @@
 typedef int sat_id; /* Id of corresponding SAT literal */
 
 struct lcp_symbol {
-       sat_id sat_id;
+       sat_id id;
        int variable:1;         /* SAT literal is variable (i.e. not fixed) */
 };
 
 struct lcp_expr {
-       sat_id sat_id;
+       sat_id id;
+       int variable:1;         /* The value of the expression depends on variable symbol. */
 };