| 2394 | return d; |
| 2395 | } |
| 2396 | IntSetArgs |
| 2397 | FlatZincSpace::arg2intsetargs(AST::Node* arg, int offset) { |
| 2398 | AST::Array* a = arg->getArray(); |
| 2399 | if (a->a.size() == 0) { |
| 2400 | IntSetArgs emptyIa(0); |
| 2401 | return emptyIa; |
| 2402 | } |
| 2403 | IntSetArgs ia(a->a.size()+offset); |
| 2404 | for (int i=offset; i--;) |
| 2405 | ia[i] = IntSet::empty; |
| 2406 | for (int i=a->a.size(); i--;) { |
| 2407 | ia[i+offset] = arg2intset(a->a[i]); |
| 2408 | } |
| 2409 | return ia; |
| 2410 | } |
| 2411 | IntVarArgs |
| 2412 | FlatZincSpace::arg2intvarargs(AST::Node* arg, int offset) { |
| 2413 | AST::Array* a = arg->getArray(); |
no test coverage detected