Function p_array_int_element2d

gecode/flatzinc/registry.cpp:735–762

      }
    }
    void p_array_int_element2d(FlatZincSpace& s, const ConExpr& ce,
                               AST::Node* ann) {
      bool isConstant = true;
      AST::Array* a = ce[2]->getArray();
      for (int i=a->a.size(); i--;) {
        if (!a->a[i]->isInt()) {
          isConstant = false;
          break;
        }
      }
      IntVar selector0 = s.arg2IntVar(ce[0]);
      IntVar selector1 = s.arg2IntVar(ce[1]);
      IntSet idxset0 = s.arg2intset(ce[3]);
      IntSet idxset1 = s.arg2intset(ce[4]);

      int w = idxset1.size();
      int s1off = idxset1.min();
      int h = idxset0.size();
      int s0off = idxset0.min();

      if (isConstant) {
        IntSharedArray sia = s.arg2intsharedarray(ce[2], 0);
        element(s, sia, selector1, -s1off, w, selector0, -s0off, h, s.arg2IntVar(ce[5]), s.ann2ipl(ann));
      } else {
        IntVarArgs iv = s.arg2intvarargs(ce[2], 0);
        element(s, iv, selector1, -s1off, w, selector0, -s0off, h, s.arg2IntVar(ce[5]), s.ann2ipl(ann));
      }
    }
    void p_array_bool_element(FlatZincSpace& s, const ConExpr& ce,
                                  AST::Node* ann) {
      bool isConstant = true;