Function TypeError

gecode/flatzinc/ast.hh:60–60

  public:
    TypeError() : _what("") {}
    TypeError(std::string what) : _what(what) {}
    std::string what(void) const { return _what; }
  };