Method solutions

gecode/driver/options.hpp:311–314

  }

  inline void
  Options::solutions(unsigned long long int n) {
    _solutions.value(n);
  }
  inline unsigned long long int
  Options::solutions(void) const {
    return _solutions.value();