kconfig2sat almost finished

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

diff --git a/kconfig2sat/lcp_data.h b/kconfig2sat/lcp_data.h
index 4953b3fbcef4174628da7f076f3f1a035f01e918..e3ea702c2b790e6a92a8fe114af60cf16b7c7e17 100644 (file)
--- a/kconfig2sat/lcp_data.h
+++ b/kconfig2sat/lcp_data.h
@@ -14,6 +14,7 @@ struct lcp_symbol {
 
 struct lcp_expr {
        sat_id id;
+       int variable:1;         /* The value of the expression depends on variable symbol. */
 };