Searched refs:ee_ann (Results 1 – 1 of 1) sorted by relevance
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | flatten.cpp | 644 EE ee_ann = flat_exp(env, Ctx(), *it, nullptr, constants().varTrue); in new_vardecl() local
645 vd->addAnnotation(ee_ann.r()); in new_vardecl()
863 EE ee_ann = flat_exp(*this, Ctx(), *it, nullptr, constants().varTrue); in annotateFromCallStack() local
864 if (allCalls || !is_defines_var_ann(ee_ann.r())) { in annotateFromCallStack()
865 e->addAnnotation(ee_ann.r()); in annotateFromCallStack()
1028 EE ee_ann = flat_exp(*this, Ctx(), *it, nullptr, constants().varTrue); in voAddExp() local
1029 vd->e()->addAnnotation(ee_ann.r()); in voAddExp()
3473 EE ee_ann = flat_exp(env, Ctx(), *it, nullptr, constants().varTrue); in flatten() local
3474 nc->addAnnotation(ee_ann.r()); in flatten()
3598 EE ee_ann = flat_exp(env, Ctx(), *it, nullptr, constants().varTrue); in flatten() local
[all …]
|