| 114 | */ |
| 115 | |
| 116 | forceinline |
| 117 | SetVarImp::SetVarImp(Space& home, SetVarImp& x) |
| 118 | : SetVarImpBase(home,x) { |
| 119 | lub.update(home, x.lub); |
| 120 | glb.card(x.cardMin()); |
| 121 | lub.card(x.cardMax()); |
| 122 | if (x.assigned()) { |
| 123 | glb.become(home,lub); |
| 124 | } else { |
| 125 | glb.update(home,x.glb); |
| 126 | } |
| 127 | } |
| 128 | |
| 129 | |
| 130 | SetVarImp* |