Method finalize

examples/queens.cpp:178–181

Finalize inspector

  virtual std::string name(void) { return "Board"; }
  /// Finalize inspector
  virtual void finalize(void) {
    delete mw;
    mw = nullptr;
  }
};

#endif /* GECODE_HAS_GIST */