| 285 | return base; |
| 286 | } |
| 287 | int getBaseSetVar(ParserState* pp, int i) { |
| 288 | int base = i; |
| 289 | SetVarSpec* ivs = static_cast<SetVarSpec*>(pp->setvars[base].second); |
| 290 | while (ivs->alias) { |
| 291 | base = ivs->i; |
| 292 | ivs = static_cast<SetVarSpec*>(pp->setvars[base].second); |
| 293 | } |
| 294 | return base; |
| 295 | } |
| 296 | |
| 297 | /* |
| 298 | * Initialize the root gecode space |