Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
2.5 kB · 75 lines
C++
at develop
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/* * Main authors: * Guido Tack <guido.tack@monash.edu> */
/* This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
#include <minizinc/flat_exp.hh>
namespace MiniZinc {
EE flatten_vardecl(EnvI& env, const Ctx& ctx, Expression* e, VarDecl* r, VarDecl* b) { CallStackItem _csi(env, e); EE ret; GCLock lock; if (ctx.b != C_ROOT) { throw FlatteningError(env, e->loc(), "not in root context"); } auto* v = e->cast<VarDecl>(); VarDecl* it = v->flat(); if (it == nullptr) { TypeInst* ti = eval_typeinst(env, ctx, v); if ((ti->domain() != nullptr) && ti->domain()->isa<SetLit>()) { if (ti->type().bt() == Type::BT_INT && ti->type().st() == Type::ST_PLAIN) { if (eval_intset(env, ti->domain())->size() == 0) { env.fail("domain is empty"); } } else if (ti->type().bt() == Type::BT_FLOAT) { if (eval_floatset(env, ti->domain())->size() == 0) { env.fail("domain is empty"); } } } bool reuseVarId = v->type().isAnn() || (v->toplevel() && v->id()->idn() == -1 && v->id()->v().c_str()[0] != '\'' && v->id()->v().c_str()[0] != '_'); VarDecl* vd = new_vardecl(env, ctx, ti, reuseVarId ? v->id() : nullptr, v, nullptr); v->flat(vd); Ctx nctx; if ((v->e() != nullptr) && v->e()->type().bt() == Type::BT_BOOL) { nctx.b = C_MIX; } if (v->e() != nullptr) { (void)flat_exp(env, nctx, v->e(), vd, constants().varTrue); if (v->e()->type().dim() > 0) { Expression* ee = follow_id_to_decl(vd->e()); if (ee->isa<VarDecl>()) { ee = ee->cast<VarDecl>()->e(); } assert(ee && ee->isa<ArrayLit>()); auto* al = ee->cast<ArrayLit>(); if (vd->ti()->domain() != nullptr) { for (unsigned int i = 0; i < al->size(); i++) { if (Id* ali_id = (*al)[i]->dynamicCast<Id>()) { if (ali_id != constants().absent && ali_id->decl()->ti()->domain() == nullptr) { ali_id->decl()->ti()->domain(vd->ti()->domain()); } } } } } }
ret.r = bind(env, Ctx(), r, vd->id()); } else { ret.r = bind(env, Ctx(), r, it); } ret.b = bind(env, Ctx(), b, constants().literalTrue); return ret;}} // namespace MiniZinc