]> rtime.felk.cvut.cz Git - linux-conf-perf.git/blobdiff - kconfig2sat/lcp_data.h
kconfig2sat almost finished
[linux-conf-perf.git] / kconfig2sat / lcp_data.h
index 251112a740f6962eec5d200d5c4de854d70874dc..e3ea702c2b790e6a92a8fe114af60cf16b7c7e17 100644 (file)
@@ -5,13 +5,16 @@
 
 /* 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;
+       int variable:1;         /* The value of the expression depends on variable symbol. */
 };