Method finalize

gecode/gist/gist.cpp:47–48

  Inspector::name(void) { return "Inspector"; }

  void
  Inspector::finalize(void) {}

  Inspector::~Inspector(void) {}