Home
last modified time | relevance | path

Searched refs:al_c (Results 1 – 8 of 8) sorted by relevance

/dports/math/minizinc/libminizinc-2.5.5/lib/
H A Doptimize_constraints.cpp40 ArrayLit* al_c = eval_array_lit(env, c->arg(0)); in o_linear() local
41 std::vector<IntVal> coeffs(al_c->size()); in o_linear()
42 for (unsigned int i = 0; i < al_c->size(); i++) { in o_linear()
43 coeffs[i] = eval_int(env, (*al_c)[i]); in o_linear()
146 if (coeffs.size() < al_c->size()) { in o_linear()
153 auto* al_c_new = new ArrayLit(al_c->loc(), coeffs_e); in o_linear()
176 ArrayLit* al_c = eval_array_lit(env, c->arg(0)); in o_lin_exp() local
177 std::vector<IntVal> coeffs(al_c->size()); in o_lin_exp()
178 for (unsigned int j = 0; j < al_c->size(); j++) { in o_lin_exp()
179 coeffs[j] = eval_int(env, (*al_c)[j]); in o_lin_exp()
[all …]
H A Dchain_compressor.cpp481 ArrayLit* al_c = eval_array_lit(_env, call->arg(0)); in leReplaceVar() local
482 std::vector<Val> coeffs(al_c->size()); in leReplaceVar()
483 for (int j = 0; j < al_c->size(); j++) { in leReplaceVar()
484 coeffs[j] = LinearTraits<Lit>::eval(_env, (*al_c)[j]); in leReplaceVar()
518 auto* al_c_new = new ArrayLit(al_c->loc().introduce(), coeffs_e); in leReplaceVar()
519 al_c_new->type(al_c->type()); in leReplaceVar()
H A Doptimize.cpp380 auto* al_c = follow_id(c->arg(0))->cast<ArrayLit>(); in optimize() local
381 if (al_c->size() == 2 && in optimize()
382 (*al_c)[0]->cast<IntLit>()->v() == -(*al_c)[1]->cast<IntLit>()->v()) { in optimize()
H A Dflatten.cpp1678 auto* al_c = follow_id(c->arg(0))->cast<ArrayLit>(); in check_domain_constraints() local
1679 if (al_c->size() == 1) { in check_domain_constraints()
1681 IntVal coeff = eval_int(env, (*al_c)[0]); in check_domain_constraints()
/dports/math/gravity/Gravity-da941e9/
H A DREADME.md10 …d_3300_2550_s_4_2.png/v1/crop/x_1058,y_575,w_1183,h_1225/fill/w_288,h_298,al_c,usm_0.66_1.00_0.01/…
25 …media/c6cff5_083fff4f0fa94b4b98b6790b18e7af8b~mv2.png/v1/fill/w_210,h_137,al_c,usm_0.66_1.00_0.01/…
70 …0c59902fc95ffabf3ed~mv2.png/v1/crop/x_0,y_0,w_1064,h_600/fill/w_869,h_490,al_c,usm_0.66_1.00_0.01/…
81 …dc0ba19fec1e32c10ad~mv2.png/v1/crop/x_0,y_0,w_1058,h_600/fill/w_863,h_489,al_c,usm_0.66_1.00_0.01/…
/dports/games/armagetronad/armagetronad-0.2.8.3.5/src/tron/
H A DgMenus.cpp989 uMenuItemToggle al_c in sg_PlayerMenu() local
/dports/mail/batv-milter/batv-milter-0.5.0/include/sm/
H A Dconf.h3118 char al_c; member
/dports/mail/libmilter/sendmail-8.16.1/include/sm/
H A Dconf.h3084 char al_c; member