Method: Z3::LowLevel.mk_set_intersect

Defined in:: lib/z3/low_level.rb

.mk_set_intersect(asts) ⇒ `Object`



62
63
64

# File 'lib/z3/low_level.rb', line 62

def mk_set_intersect(asts)
  Z3::VeryLowLevel.Z3_mk_set_intersect(_ctx_pointer, asts.size, asts_vector(asts))
end