34 	struct expr *expr;  member
38 struct expr {  struct
48 	for (e = (l); e && (s = e->right.sym); e = e->left.expr)
51 	struct expr *expr;  member
140 	struct expr *expr;         /* the optional conditional part of the property */  member
163 	struct expr *visibility;
164 	struct expr *dep;
185 struct expr *expr_alloc_symbol(struct symbol *sym);
186 struct expr *expr_alloc_one(enum expr_type type, struct expr *ce);
187 struct expr *expr_alloc_two(enum expr_type type, struct expr *e1, struct expr *e2);
188 struct expr *expr_alloc_comp(enum expr_type type, struct symbol *s1, struct symbol *s2);
189 struct expr *expr_alloc_and(struct expr *e1, struct expr *e2);
190 struct expr *expr_alloc_or(struct expr *e1, struct expr *e2);
191 struct expr *expr_copy(const struct expr *org);
192 void expr_free(struct expr *e);
193 int expr_eq(struct expr *e1, struct expr *e2);
194 void expr_eliminate_eq(struct expr **ep1, struct expr **ep2);
195 tristate expr_calc_value(struct expr *e);
196 struct expr *expr_eliminate_yn(struct expr *e);
197 struct expr *expr_trans_bool(struct expr *e);
198 struct expr *expr_eliminate_dups(struct expr *e);
199 struct expr *expr_transform(struct expr *e);
200 int expr_contains_symbol(struct expr *dep, struct symbol *sym);
201 bool expr_depends_symbol(struct expr *dep, struct symbol *sym);
202 struct expr *expr_extract_eq_and(struct expr **ep1, struct expr **ep2);
203 struct expr *expr_extract_eq_or(struct expr **ep1, struct expr **ep2);
204 void expr_extract_eq(enum expr_type type, struct expr **ep, struct expr **ep1, struct expr **ep2);
205 struct expr *expr_trans_compare(struct expr *e, enum expr_type type, struct symbol *sym);
206 struct expr *expr_simplify_unmet_dep(struct expr *e1, struct expr *e2);
208 void expr_fprint(struct expr *e, FILE *out);
210 void expr_gstr_print(struct expr *e, struct gstr *gs);
212 static inline int expr_is_yes(struct expr *e)  in expr_is_yes()
217 static inline int expr_is_no(struct expr *e)  in expr_is_no()