Function p_array_bool_element

gecode/flatzinc/registry.cpp:763–782

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