Function p_array_int_element

gecode/flatzinc/registry.cpp:694–713

element constraints */

    /* element constraints */
    void p_array_int_element(FlatZincSpace& s, const ConExpr& ce,
                                 AST::Node* ann) {
      bool isConstant = true;
      AST::Array* a = ce[1]->getArray();
      for (int i=a->a.size(); i--;) {
        if (!a->a[i]->isInt()) {
          isConstant = false;
          break;
        }
      }
      IntVar selector = s.arg2IntVar(ce[0]);
      rel(s, selector > 0);
      if (isConstant) {
        IntSharedArray sia = s.arg2intsharedarray(ce[1]);
        element(s, sia, selector, -1, s.arg2IntVar(ce[2]), s.ann2ipl(ann));
      } else {
        IntVarArgs iv = s.arg2intvarargs(ce[1]);
        element(s, iv, selector, -1, s.arg2IntVar(ce[2]), s.ann2ipl(ann));
      }
    }
    void p_array_int_element_offset(FlatZincSpace& s, const ConExpr& ce,
                                    AST::Node* ann) {
      bool isConstant = true;