| 224 | } |
| 225 | |
| 226 | forceinline int |
| 227 | Node::getIndex(const NodeAllocator& na) const { |
| 228 | if (parent==-1) |
| 229 | return 0; |
| 230 | Node* p = na[parent]; |
| 231 | for (int i=p->getNumberOfChildren(); i--;) |
| 232 | if (p->getChild(na,i) == this) |
| 233 | return p->getChild(i); |
| 234 | GECODE_NEVER; |
| 235 | return -1; |
| 236 | } |
| 237 | |
| 238 | }} |
| 239 |
no test coverage detected