Function p_array_int_element_offset

gecode/flatzinc/registry.cpp:714–734

      }
    }
    void p_array_int_element_offset(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 selector = s.arg2IntVar(ce[0]);
      int offset = ce[1]->getInt();
      rel(s, selector >= offset);
      if (isConstant) {
        IntSharedArray sia = s.arg2intsharedarray(ce[2]);
        element(s, sia, selector, -offset, s.arg2IntVar(ce[3]), s.ann2ipl(ann));
      } else {
        IntVarArgs iv = s.arg2intvarargs(ce[2]);
        element(s, iv, selector, -offset, s.arg2IntVar(ce[3]), s.ann2ipl(ann));
      }
    }
    void p_array_int_element2d(FlatZincSpace& s, const ConExpr& ce,
                               AST::Node* ann) {
      bool isConstant = true;