Lines Matching refs:expr
38 struct expr *expr;
42 struct expr {
52 for (e = (l); e && (s = e->right.sym); e = e->left.expr)
55 struct expr *expr;
144 struct expr *expr; /* the optional conditional part of the property */
167 struct expr *dep;
188 struct expr *expr_alloc_symbol(struct symbol *sym);
189 struct expr *expr_alloc_one(enum expr_type type, struct expr *ce);
190 struct expr *expr_alloc_two(enum expr_type type, struct expr *e1, struct expr *e2);
191 struct expr *expr_alloc_comp(enum expr_type type, struct symbol *s1, struct symbol *s2);
192 struct expr *expr_alloc_and(struct expr *e1, struct expr *e2);
193 struct expr *expr_alloc_or(struct expr *e1, struct expr *e2);
194 struct expr *expr_copy(struct expr *org);
195 void expr_free(struct expr *e);
196 int expr_eq(struct expr *e1, struct expr *e2);
197 void expr_eliminate_eq(struct expr **ep1, struct expr **ep2);
198 tristate expr_calc_value(struct expr *e);
199 struct expr *expr_eliminate_yn(struct expr *e);
200 struct expr *expr_trans_bool(struct expr *e);
201 struct expr *expr_eliminate_dups(struct expr *e);
202 struct expr *expr_transform(struct expr *e);
203 int expr_contains_symbol(struct expr *dep, struct symbol *sym);
204 bool expr_depends_symbol(struct expr *dep, struct symbol *sym);
205 struct expr *expr_extract_eq_and(struct expr **ep1, struct expr **ep2);
206 struct expr *expr_extract_eq_or(struct expr **ep1, struct expr **ep2);
207 void expr_extract_eq(enum expr_type type, struct expr **ep, struct expr **ep1, struct expr **ep2);
208 struct expr *expr_trans_compare(struct expr *e, enum expr_type type, struct symbol *sym);
210 void expr_fprint(struct expr *e, FILE *out);
212 void expr_gstr_print(struct expr *e, struct gstr *gs);
214 static inline int expr_is_yes(struct expr *e)
219 static inline int expr_is_no(struct expr *e)