Method: Z3::SetExpr.Intersection

Defined in:
lib/z3/expr/set_expr.rb

.Intersection(*args) ⇒ Object 



55
56
57
58
 
# File 'lib/z3/expr/set_expr.rb', line 55

def Intersection(*args)
  args = coerce_to_same_set_sort(*args)
  args[0].sort.new(LowLevel.mk_set_intersect(args))
end