| 208 | } |
| 209 | |
| 210 | bool |
| 211 | TestSpace::matchAssignment(const Assignment& a) const { |
| 212 | for (int i=x.size(); i--; ) |
| 213 | if ((x[i].min() < a[i].min()) && (x[i].max() > a[i].max())) |
| 214 | return false; |
| 215 | return true; |
| 216 | } |
| 217 | |
| 218 | void |
| 219 | TestSpace::post(void) { |