Method strdel

gecode/driver/options.cpp:72–77

    }

    void
    BaseOption::strdel(const char* s) {
      if (s == nullptr)
        return;
      heap.rfree(const_cast<char*>(s));
    }

    char*
    BaseOption::argument(int argc, char* argv[]) const {