Method add

gecode/flatzinc/registry.cpp:68–73

  }

  void
  Registry::add(const std::string& id, poster p) {
    r[id] = p;
    r["gecode_" + id] = p;
    r["fzn_" + id] = p;
  }

  namespace {