Test whether all assignments have been iterated
| 76 | } |
| 77 | /// Test whether all assignments have been iterated |
| 78 | virtual bool has_more(void) const { |
| 79 | return dsv[0](); |
| 80 | } |
| 81 | /// Move to next assignment |
| 82 | virtual void next(Gecode::Support::RandomGenerator&) { |
| 83 | // Try to generate next bin assignment |
no outgoing calls
no test coverage detected