Searched refs:bo_args (Results 1 – 1 of 1) sorted by relevance
| /dports/math/minizinc/libminizinc-2.5.5/lib/flatten/ |
| H A D | flatten_binop.cpp | 365 arg_literal_l bo_args({arg_literal(bo->lhs(), !negateArgs), arg_literal(bo->rhs(), !negateArgs)}); in aggregate_and_or_ops() local
368 auto i = bo_args.begin(); in aggregate_and_or_ops()
369 while (i != bo_args.end()) { in aggregate_and_or_ops()
376 bo_args.insert(i, arg_literal(bo_arg->rhs(), true)); in aggregate_and_or_ops()
382 bo_args.insert(i, arg_literal(bo_arg->rhs(), false)); in aggregate_and_or_ops()
1154 std::vector<Expression*> bo_args(2); in flatten_binop() local
1155 bo_args[0] = boe0; in flatten_binop()
1156 bo_args[1] = new UnOp(bo->loc(), UOT_NOT, boe1); in flatten_binop()
1157 bo_args[1]->type(boe1->type()); in flatten_binop()
1159 args.push_back(new ArrayLit(bo->loc(), bo_args)); in flatten_binop()
|