| 62 | } |
| 63 | |
| 64 | int CountableSet::val(void) const { |
| 65 | return cur; |
| 66 | } |
| 67 | |
| 68 | SetAssignment::SetAssignment(int n0, const Gecode::IntSet& d0, int _withInt) |
| 69 | : n(n0), dsv(new CountableSet[n]), ir(_withInt, d0), done(false), lub(d0), |
no outgoing calls
no test coverage detected