Method ExtractStepOption

gecode/driver.hh:813–814

Constructor that extracts the step value

  public:
    /// Constructor that extracts the step value
    ExtractStepOption(const Options& opt)
      : BaseSpace(opt.step()) {}
    /// Constructor used for cloning
    ExtractStepOption(BaseSpace& e)
      : BaseSpace(e) {}