Function Error

gecode/flatzinc.hh:731–732

    Error(const std::string& where, const std::string& what)
    : msg(where+": "+what) {}
    Error(const std::string& where, const std::string& what, AST::Array *const ann)
    : msg(make_message(where, what, ann)) {}
    const std::string& toString(void) const { return msg; }
  private:
    static std::string make_message(const std::string &where, const std::string &what, AST::Array *const ann) {