Method: Z3::LowLevel.mk_set_complement

Defined in:
lib/z3/low_level_auto.rb

.mk_set_complement(ast) ⇒ Object

> :ast_pointer



1636
1637
1638
 
# File 'lib/z3/low_level_auto.rb', line 1636

def mk_set_complement(ast) #=> :ast_pointer
  VeryLowLevel.Z3_mk_set_complement(_ctx_pointer, ast._ast)
end