Lines Matching refs:left
20 e->left.sym = sym;
29 e->left.expr = ce;
38 e->left.expr = e1;
48 e->left.sym = s1;
78 e->left = org->left;
81 e->left.expr = expr_copy(org->left.expr);
85 e->left.sym = org->left.sym;
91 e->left.expr = expr_copy(org->left.expr);
113 expr_free(e->left.expr);
120 expr_free(e->left.expr);
138 __expr_eliminate_eq(type, &e1->left.expr, &e2);
143 __expr_eliminate_eq(type, &e1, &e2->left.expr);
148 e1->left.sym == e2->left.sym &&
149 (e1->left.sym == &symbol_yes || e1->left.sym == &symbol_no))
203 return e1->left.sym == e2->left.sym && e1->right.sym == e2->right.sym;
205 return e1->left.sym == e2->left.sym;
207 return expr_eq(e1->left.expr, e2->left.expr);
215 e1->left.sym == e2->left.sym);
242 e->left.expr = expr_eliminate_yn(e->left.expr);
244 if (e->left.expr->type == E_SYMBOL) {
245 if (e->left.expr->left.sym == &symbol_no) {
246 expr_free(e->left.expr);
249 e->left.sym = &symbol_no;
252 } else if (e->left.expr->left.sym == &symbol_yes) {
253 free(e->left.expr);
261 if (e->right.expr->left.sym == &symbol_no) {
262 expr_free(e->left.expr);
265 e->left.sym = &symbol_no;
268 } else if (e->right.expr->left.sym == &symbol_yes) {
270 tmp = e->left.expr;
271 *e = *(e->left.expr);
278 e->left.expr = expr_eliminate_yn(e->left.expr);
280 if (e->left.expr->type == E_SYMBOL) {
281 if (e->left.expr->left.sym == &symbol_no) {
282 free(e->left.expr);
287 } else if (e->left.expr->left.sym == &symbol_yes) {
288 expr_free(e->left.expr);
291 e->left.sym = &symbol_yes;
297 if (e->right.expr->left.sym == &symbol_no) {
299 tmp = e->left.expr;
300 *e = *(e->left.expr);
303 } else if (e->right.expr->left.sym == &symbol_yes) {
304 expr_free(e->left.expr);
307 e->left.sym = &symbol_yes;
330 e->left.expr = expr_trans_bool(e->left.expr);
335 if (e->left.sym->type == S_TRISTATE) {
363 tmp = e1->left.expr;
366 sym1 = tmp->left.sym;
368 sym1 = e1->left.sym;
370 if (e2->left.expr->type != E_SYMBOL)
372 sym2 = e2->left.expr->left.sym;
374 sym2 = e2->left.sym;
400 if ((e1->type == E_NOT && e1->left.expr->type == E_SYMBOL && e2->type == E_SYMBOL) ||
401 (e2->type == E_NOT && e2->left.expr->type == E_SYMBOL && e1->type == E_SYMBOL))
427 tmp = e1->left.expr;
430 sym1 = tmp->left.sym;
432 sym1 = e1->left.sym;
434 if (e2->left.expr->type != E_SYMBOL)
436 sym2 = e2->left.expr->left.sym;
438 sym2 = e2->left.sym;
516 expr_eliminate_dups1(type, &e1->left.expr, &e2);
521 expr_eliminate_dups1(type, &e1, &e2->left.expr);
568 expr_eliminate_dups2(type, &e1->left.expr, &e2);
573 expr_eliminate_dups2(type, &e1, &e2->left.expr);
654 e->left.expr = expr_transform(e->left.expr);
660 if (e->left.sym->type != S_BOOLEAN)
664 e->left.expr = expr_alloc_symbol(e->left.sym);
669 printf("boolean symbol %s tested for 'm'? test forced to 'n'\n", e->left.sym->name);
671 e->left.sym = &symbol_no;
682 if (e->left.sym->type != S_BOOLEAN)
690 printf("boolean symbol %s tested for 'm'? test forced to 'y'\n", e->left.sym->name);
692 e->left.sym = &symbol_yes;
698 e->left.expr = expr_alloc_symbol(e->left.sym);
704 switch (e->left.expr->type) {
707 tmp = e->left.expr->left.expr;
708 free(e->left.expr);
716 tmp = e->left.expr;
723 tmp = e->left.expr;
732 tmp = e->left.expr;
740 if (e->left.expr->left.sym == &symbol_yes) {
742 tmp = e->left.expr;
746 e->left.sym = &symbol_no;
749 if (e->left.expr->left.sym == &symbol_mod) {
751 tmp = e->left.expr;
755 e->left.sym = &symbol_mod;
758 if (e->left.expr->left.sym == &symbol_no) {
760 tmp = e->left.expr;
764 e->left.sym = &symbol_yes;
786 return expr_contains_symbol(dep->left.expr, sym) ||
789 return dep->left.sym == sym;
792 return dep->left.sym == sym ||
795 return expr_contains_symbol(dep->left.expr, sym);
809 return expr_depends_symbol(dep->left.expr, sym) ||
812 return dep->left.sym == sym;
814 if (dep->left.sym == sym) {
820 if (dep->left.sym == sym) {
858 expr_extract_eq(type, ep, &e1->left.expr, &e2);
863 expr_extract_eq(type, ep, ep1, &e2->left.expr);
894 e1 = expr_trans_compare(e->left.expr, E_EQUAL, sym);
904 e1 = expr_trans_compare(e->left.expr, E_EQUAL, sym);
914 return expr_trans_compare(e->left.expr, type == E_EQUAL ? E_UNEQUAL : E_EQUAL, sym);
934 return expr_alloc_comp(type, e->left.sym, sym);
953 sym_calc_value(e->left.sym);
954 return e->left.sym->curr.tri;
956 val1 = expr_calc_value(e->left.expr);
960 val1 = expr_calc_value(e->left.expr);
964 val1 = expr_calc_value(e->left.expr);
967 sym_calc_value(e->left.sym);
969 str1 = sym_get_string_value(e->left.sym);
973 sym_calc_value(e->left.sym);
975 str1 = sym_get_string_value(e->left.sym);
1027 if (e->left.sym->name)
1028 fn(data, e->left.sym, e->left.sym->name);
1034 expr_print(e->left.expr, fn, data, E_NOT);
1037 fn(data, e->left.sym, e->left.sym->name);
1042 fn(data, e->left.sym, e->left.sym->name);
1047 expr_print(e->left.expr, fn, data, E_OR);
1052 expr_print(e->left.expr, fn, data, E_AND);
1058 if (e->left.expr) {
1060 expr_print(e->left.expr, fn, data, E_CHOICE);
1065 fn(data, e->left.sym, e->left.sym->name);
