Method: Z3::LowLevel.mk_divides

Defined in:: lib/z3/low_level_auto.rb

.mk_divides(ast1, ast2) ⇒ `Object`

> :ast_pointer



1088
1089
1090

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

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