kconfig2sat/lcp_data.h

   1 #ifndef LCP_DATA_H
   2 #define LCP_DATA_H
   3
   4 #include "kconfig/expr.h"
   5
   6 /* linux-conf-perf data structures extensions */
   7
   8 typedef int sat_id; /* Id of corresponding SAT literal */
   9
  10 struct lcp_symbol {
  11         sat_id id;
  12         int variable:1;         /* SAT literal is variable (i.e. not fixed) */
  13 };
  14
  15 struct lcp_expr {
  16         sat_id id;
  17         int variable:1;         /* The value of the expression depends on variable symbol. */
  18 };
  19
  20
  21
  22 #endif