Functions | |
| template<class Random> | |
| unsigned long long int | uniform_int_offset (Random &random, unsigned long long int width) |
| Sample an offset for an inclusive integer restart range. | |
| unsigned long long int Gecode::FlatZinc::Internal::uniform_int_offset | ( | Random & | random, |
| unsigned long long int | width ) |
Sample an offset for an inclusive integer restart range.
Definition at line 42 of file restart-random.hpp.