Searched refs:neg_tail (Results 1 – 2 of 2) sorted by relevance
650 app * neg_tail = r->get_tail(i); in compile_rule_evaluation_run() local651 func_decl * neg_pred = neg_tail->get_decl(); in compile_rule_evaluation_run()653 neg_intersection.populate(single_res_expr, neg_tail); in compile_rule_evaluation_run()657 unsigned neg_len = neg_tail->get_num_args(); in compile_rule_evaluation_run()659 expr * e = neg_tail->get_arg(i); in compile_rule_evaluation_run()880 app * neg_tail = r->get_tail(i); in add_unbound_columns_for_negation() local881 unsigned neg_len = neg_tail->get_num_args(); in add_unbound_columns_for_negation()883 expr * e = neg_tail->get_arg(j); in add_unbound_columns_for_negation()
650 app * neg_tail = r->get_tail(i); in compile_rule_evaluation_run() local651 func_decl * neg_pred = neg_tail->get_decl(); in compile_rule_evaluation_run()653 neg_intersection.populate(single_res_expr, neg_tail); in compile_rule_evaluation_run()657 unsigned neg_len = neg_tail->get_num_args(); in compile_rule_evaluation_run()659 expr * e = neg_tail->get_arg(i); in compile_rule_evaluation_run()881 app * neg_tail = r->get_tail(i); in add_unbound_columns_for_negation() local882 unsigned neg_len = neg_tail->get_num_args(); in add_unbound_columns_for_negation()884 expr * e = neg_tail->get_arg(j); in add_unbound_columns_for_negation()