Method: Z3::LowLevel.mk_set_subset

Defined in:

lib/z3/low_level_auto.rb

.mk_set_subset(ast1, ast2) ⇒ Object

> :ast_pointer

# File 'lib/z3/low_level_auto.rb', line 1568

def mk_set_subset(ast1, ast2) #=> :ast_pointer
  VeryLowLevel.Z3_mk_set_subset(_ctx_pointer, ast1._ast, ast2._ast)
end