Searched refs:new_vardecl (Results 1 – 9 of 9) sorted by relevance
/dports/math/minizinc/libminizinc-2.5.5/lib/flatten/ |
H A D | flatten_anon.cpp | 24 VarDecl* vd = new_vardecl(env, Ctx(), new TypeInst(Location().introduce(), av->type()), nullptr, in flatten_anon()
|
H A D | flatten_vardecl.cpp | 41 VarDecl* vd = new_vardecl(env, ctx, ti, reuseVarId ? v->id() : nullptr, v, nullptr); in flatten_vardecl()
|
H A D | flatten_id.cpp | 175 VarDecl* nvd = new_vardecl(env, Ctx(), vti, nullptr, vd, nullptr); in flatten_id() 201 VarDecl* nvd = new_vardecl(env, ctx, eval_typeinst(env, ctx, vd), nullptr, vd, nullptr); in flatten_id()
|
H A D | flatten_par.cpp | 99 VarDecl* vd = new_vardecl(env, ctx, ti, nullptr, nullptr, al); in flatten_par()
|
H A D | flatten_let.cpp | 77 VarDecl* nvd = new_vardecl(env, ctx, ti, nullptr, vd, nullptr); in flatten_let()
|
H A D | flatten_ite.cpp | 330 result = new_vardecl(env, Ctx(), ti, nullptr, nullptr, nullptr); in flatten_ite() 476 b = new_vardecl(env, Ctx(), new TypeInst(Location().introduce(), Type::varbool()), nullptr, in flatten_ite()
|
H A D | flatten_call.cpp | 1076 reif_b = new_vardecl(env, Ctx(), new TypeInst(Location().introduce(), Type::varbool()), in flatten_call()
|
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
H A D | flat_exp.hh | 27 VarDecl* new_vardecl(EnvI& env, const Ctx& ctx, TypeInst* ti, Id* origId, VarDecl* origVd,
|
/dports/math/minizinc/libminizinc-2.5.5/lib/ |
H A D | flatten.cpp | 553 VarDecl* new_vardecl(EnvI& env, const Ctx& ctx, TypeInst* ti, Id* origId, VarDecl* origVd, in new_vardecl() function 1896 VarDecl* nvd = new_vardecl(env, ctx, ti, nullptr, nullptr, al); in bind() 1909 VarDecl* nvd = new_vardecl(env, ctx, ti, nullptr, nullptr, e); in bind()
|