Searched refs:set_computed_domain (Results 1 – 3 of 3) sorted by relevance
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | flatten.cpp | 112 void set_computed_domain(EnvI& envi, VarDecl* vd, Expression* domain, bool is_computed) { in set_computed_domain() function
1762 set_computed_domain(env, id->decl(), constants().literalFalse, in bind()
1808 set_computed_domain(env, id->decl(), constants().literalTrue, in bind()
2011 set_computed_domain(env, vd, vd->e(), true); in bind()
2170 set_computed_domain(env, vde_id->decl(), vd_dom, in bind()
2228 set_computed_domain(env, rhs_ident->decl(), ibv_l, false); in bind()
2246 set_computed_domain(env, vd, ibv_l, vd->ti()->computedDomain()); in bind()
2296 set_computed_domain(env, rhs_ident->decl(), fbv_l, false); in bind()
2312 set_computed_domain(env, vd, fbv_l, vd->ti()->computedDomain()); in bind()
2908 set_computed_domain(env, v->e(), in flatten()
[all …]
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/flatten/ |
| H A D | flatten_binop.cpp | 620 set_computed_domain(env, vd, LinearTraits<Lit>::newDomain(d), false); in flatten_linexp_binop()
627 set_computed_domain(env, vd, LinearTraits<Lit>::newDomain(d), false); in flatten_linexp_binop()
678 set_computed_domain(env, vd, LinearTraits<Lit>::newDomain(ndomain), false); in flatten_linexp_binop()
765 set_computed_domain(env, vd, LinearTraits<Lit>::newDomain(new_domain), false); in flatten_linexp_binop()
771 set_computed_domain(env, vd, LinearTraits<Lit>::newDomain(bounds.l, bounds.u), true); in flatten_linexp_binop()
1418 set_computed_domain(env, ident->decl(), new SetLit(Location().introduce(), newdom), in flatten_binop()
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
| H A D | flatten_internal.hh | 203 void set_computed_domain(EnvI& envi, VarDecl* vd, Expression* domain, bool is_computed);
|