C++ (Cpp) context::bool_val Beispiele

Beispiel #1

Datei: z3Utils.cpp Projekt: zilongwang/llsplat

z3::expr getBigOr(std::vector<z3::expr>& v, z3::context& ctx) {
  auto res = ctx.bool_val(false);
  if (v.empty())
    return res;

  res = v[0];
  for (auto i = 1; i < v.size(); ++i)
    res = res || v[i];
  return res;
}