Searched refs:UnsignedIntOption (Results 1 – 10 of 10) sorted by relevance
228 class GECODE_DRIVER_EXPORT UnsignedIntOption : public BaseOption { class233 UnsignedIntOption(const char* o, const char* e, unsigned int v=0);420 Driver::UnsignedIntOption _seed; ///< Seed option430 Driver::UnsignedIntOption _c_d; ///< Copy recomputation distance431 Driver::UnsignedIntOption _a_d; ///< Adaptive recomputation distance432 Driver::UnsignedIntOption _d_l; ///< Discrepancy limit for LDS439 Driver::UnsignedIntOption _slice; ///< Size of a portfolio slice442 Driver::UnsignedIntOption _r_scale; ///< Restart scale factor444 Driver::UnsignedIntOption _nogoods_limit; ///< Limit for no-good extraction452 Driver::UnsignedIntOption _samples; ///< How many samples[all …]
235 Gecode::Driver::UnsignedIntOption _c_d; ///< Copy recomputation distance236 Gecode::Driver::UnsignedIntOption _a_d; ///< Adaptive recomputation distance244 Gecode::Driver::UnsignedIntOption _r_scale; ///< Restart scale factor246 Gecode::Driver::UnsignedIntOption _nogoods_limit; ///< Depth limit for extracting no-goods
49 Driver::UnsignedIntOption _bits;51 Driver::UnsignedIntOption _distance;53 Driver::UnsignedIntOption _size;
47 Driver::UnsignedIntOption _v; ///< Parameter v48 Driver::UnsignedIntOption _q; ///< Parameter q49 Driver::UnsignedIntOption _l; ///< Parameter lambda50 Driver::UnsignedIntOption _d; ///< Parameter d
49 Driver::UnsignedIntOption _height;51 Driver::UnsignedIntOption _width;53 Driver::UnsignedIntOption _size;55 Driver::UnsignedIntOption _colors;
184 Driver::UnsignedIntOption _probes;186 Driver::UnsignedIntOption _fail_probe;188 Driver::UnsignedIntOption _time_probe;190 Driver::UnsignedIntOption _time_adjust;192 Driver::UnsignedIntOption _time_solve;
59 Driver::UnsignedIntOption _maxstall;
87 UnsignedIntOption::UnsignedIntOption(const char* o, const char* e, in UnsignedIntOption() function in Gecode::Driver::UnsignedIntOption91 UnsignedIntOption::value(unsigned int v) { in value()95 UnsignedIntOption::value(void) const { in value()
217 UnsignedIntOption::parse(int argc, char* argv[]) { in parse()226 UnsignedIntOption::help(void) { in help()
75 Gecode::Driver::UnsignedIntOption _row;77 Gecode::Driver::UnsignedIntOption _col;