Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
1.0 kB · 41 lines
C++
at develop
123456789101112131415161718192021222324252627282930313233343536373839404142/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/* * Main authors: * Jip J. Dekker <jip.dekker@monash.edu> * 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/astmap.hh>
namespace MiniZinc {
template <>void ManagedASTStringMap<Expression*>::mark(MINIZINC_GC_STAT_ARGS) { for (auto& it : *this) { it.first.mark(); Expression::mark(it.second);#if defined(MINIZINC_GC_STATS) gc_stats[it->second->_id].keepalive++;#endif }};
template <>void ManagedASTStringMap<VarDeclI*>::mark(MINIZINC_GC_STAT_ARGS) { for (auto& it : *this) { it.first.mark();#if defined(MINIZINC_GC_STATS) gc_stats[it.second->e()->Expression::eid()].keepalive++; Item::mark(it.second, gc_stats);#else Item::mark(it.second);#endif }};
} // namespace MiniZinc