Function p_array_bool_element_offset

gecode/flatzinc/registry.cpp:783–803

      }
    }
    void p_array_bool_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]->isBool()) {
          isConstant = false;
          break;
        }
      }
      IntVar selector = s.arg2IntVar(ce[0]);
      int offset = ce[1]->getInt();
      rel(s, selector >= offset);
      if (isConstant) {
        IntSharedArray sia = s.arg2boolsharedarray(ce[2]);
        element(s, sia, selector, -offset, s.arg2BoolVar(ce[3]), s.ann2ipl(ann));
      } else {
        BoolVarArgs iv = s.arg2boolvarargs(ce[2]);
        element(s, iv, selector, -offset, s.arg2BoolVar(ce[3]), s.ann2ipl(ann));
      }
    }
    void p_array_bool_element2d(FlatZincSpace& s, const ConExpr& ce,
                                AST::Node* ann) {
      bool isConstant = true;