Method instance

gecode/driver/options.hpp:627–630

* Options with additional string argument * */

   *
   */
  inline const char*
  InstanceOptions::instance(void) const {
    return _inst;
  }

}