Method init

examples/scowl.hpp:13481–13596

}

inline void
Dictionary::init(const char* fn) {
  if (fn == nullptr) {
    // Initialize from predefined dictionary

    // Set up information
    max_len = ::max_word_len;
    n_all_words = 0;

    size_t sz = 0;
    for (int l=0; l<=max_len; l++) {
      n_words[l]=::n_words[l];
      n_all_words += n_words[l];
      sz += n_words[l] * (l+1); // Leave room for terminating zero
    }
    chunk = static_cast<char*>(Gecode::heap.ralloc(sz));

    // Copy words
    char* c = chunk;
    for (int l=0; l<=max_len; l++) {
      s_words[l] = c;
      for (int i=0; i<n_words[l]; i++) {
        for (int j=0; j<l; j++)
          *c++ = ::s_words[l][i][j];
        *c++ = 0;
      }
    }
  } else {
    // Initialize from file

    // Set up information
    max_len = 0;
    n_all_words = 0;

    size_t sz = 0;

    {
      std::string s;
      std::ifstream f;
      f.open(fn);

      if (!f.is_open())
        throw Gecode::Exception("Dictionary",
                                "Unable to open file");
      while (!f.eof()) {
        getline(f,s);
        if (s.size() >= static_cast<size_t>(limit_len))
          goto skip1;
        {
          int n = static_cast<int>(s.size());
          for (int i=0; i<n; i++)
            if (!isalpha(s[static_cast<unsigned int>(i)]) ||
                !islower(s[static_cast<unsigned int>(i)]))
              goto skip1;
          // Found a legal word
          n_all_words++;
          n_words[n]++;
          sz += n+1;