Method addIntVarName

gecode/flatzinc/flatzinc.cpp:2914–2917

  }

  void
  Printer::addIntVarName(const std::string& n) {
    iv_names.push_back(n);
  }
  void
  Printer::addBoolVarName(const std::string& n) {
    bv_names.push_back(n);