| 52 | Assignment::~Assignment(void) {} |
| 53 | |
| 54 | inline |
| 55 | CpltAssignment::CpltAssignment(int n, const Gecode::FloatVal& d, Gecode::FloatNum s) |
| 56 | : Assignment(n,d), |
| 57 | dsv(new Gecode::FloatVal[static_cast<unsigned int>(n)]), |
| 58 | step(s) { |
| 59 | using namespace Gecode; |
| 60 | for (int i=n; i--; ) |
| 61 | dsv[i] = FloatVal(d.min(),nextafter(d.min(),d.max())); |
| 62 | } |
| 63 | inline bool |
| 64 | CpltAssignment::has_more() const { |
| 65 | return dsv[0].min() <= d.max(); |