| 1512 | } |
| 1513 | |
| 1514 | void p_among_seq_bool(FlatZincSpace& s, const ConExpr& ce, |
| 1515 | AST::Node* ann) { |
| 1516 | BoolVarArgs x = s.arg2boolvarargs(ce[0]); |
| 1517 | bool val = ce[1]->getBool(); |
| 1518 | int q = ce[2]->getInt(); |
| 1519 | int l = ce[3]->getInt(); |
| 1520 | int u = ce[4]->getInt(); |
| 1521 | IntSet S(val, val); |
| 1522 | unshare(s, x); |
| 1523 | sequence(s, x, S, q, l, u, s.ann2ipl(ann)); |
| 1524 | } |
| 1525 | |
| 1526 | void p_schedule_unary(FlatZincSpace& s, const ConExpr& ce, AST::Node*) { |
| 1527 | IntVarArgs x = s.arg2intvarargs(ce[0]); |