| 271 | } |
| 272 | |
| 273 | bool |
| 274 | SetTestSpace::assigned(void) const { |
| 275 | for (int i=x.size(); i--; ) |
| 276 | if (!x[i].assigned()) |
| 277 | return false; |
| 278 | for (int i=y.size(); i--; ) |
| 279 | if (!y[i].assigned()) |
| 280 | return false; |
| 281 | return true; |
| 282 | } |
| 283 | |
| 284 | void |
| 285 | SetTestSpace::removeFromLub(int v, int i, const SetAssignment& a) { |