Searched refs:flat_cv_exp (Results 1 – 7 of 7) sorted by relevance
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
| H A D | flat_exp.hh | 30 KeepAlive flat_cv_exp(EnvI& env, Ctx ctx, Expression* e);
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | flatten.cpp | 324 KeepAlive r = flat_cv_exp(env, ctx, e); in istrue()
341 KeepAlive r = flat_cv_exp(env, ctx, e); in isfalse()
2601 KeepAlive flat_cv_exp(EnvI& env, Ctx ctx, Expression* e) { in flat_cv_exp() function
2629 return flat_cv_exp(env, ctx, id->decl()->e()); in flat_cv_exp()
2639 es[i] = flat_cv_exp(env, ctx, sl->v()[i])(); in flat_cv_exp()
2652 es[i] = flat_cv_exp(env, ctx, (*al)[i])(); in flat_cv_exp()
2667 Expression* av = flat_cv_exp(env, ctx, aa->v())(); in flat_cv_exp()
2670 idx[i] = flat_cv_exp(env, ctx, aa->idx()[i])(); in flat_cv_exp()
2730 return flat_cv_exp(env, ctx, ite->thenExpr(i)); in flat_cv_exp()
2733 return flat_cv_exp(env, ctx, ite->elseExpr()); in flat_cv_exp()
[all …]
|
| H A D | builtins.cpp | 1482 cond_e = flat_cv_exp(env, ctx, call->arg(0))(); in b_assert_bool()
1491 msg_e = flat_cv_exp(env, Ctx(), call->arg(1))(); in b_assert_bool()
1507 cond_e = flat_cv_exp(env, ctx, call->arg(0))(); in b_assert()
1516 msg_e = flat_cv_exp(env, Ctx(), call->arg(1))(); in b_assert()
1544 msg_e = flat_cv_exp(env, Ctx(), call->arg(0))(); in b_abort()
1587 msg_e = flat_cv_exp(env, Ctx(), call->arg(0))(); in b_trace()
1599 msg_e = flat_cv_exp(env, Ctx(), call->arg(0))(); in b_trace_stdout()
1611 msg = flat_cv_exp(env, Ctx(), call->arg(0))()->cast<StringLit>(); in b_trace_logstream()
|
| H A D | eval_par.cpp | 101 return eval_bool(env, flat_cv_exp(env, Ctx(), e)()); in evalBoolCV()
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/flatten/ |
| H A D | flatten_par.cpp | 23 KeepAlive ka = flat_cv_exp(env, nctx, e); in flatten_par()
|
| H A D | flatten_arrayaccess.cpp | 171 KeepAlive ka_al_inner = flat_cv_exp(env, ctx, aa_inner->v()); in flatten_arrayaccess()
|
| /dports/math/minizinc/libminizinc-2.5.5/ |
| H A D | changes.rst | 511 - Fix istrue and isfalse by using flat_cv_exp if necessary.
|