| 104 | |
| 105 | template<class VY> |
| 106 | void |
| 107 | IntBase<VY>::eliminate(Space& home) { |
| 108 | int n=x.size(); |
| 109 | for (int i=n; i--; ) |
| 110 | if (vs.subset(x[i])) { |
| 111 | // All values are already contained in vs, eliminate x[i] |
| 112 | x[i].cancel(home, *this, PC_INT_DOM); |
| 113 | x[i] = x[--n]; |
| 114 | } |
| 115 | x.size(n); |
| 116 | } |
| 117 | |
| 118 | template<class VY> |
| 119 | ExecStatus |