Method: Z3::Model#model_eval

Defined in:: lib/z3/model.rb

#model_eval(ast, model_completion = false) ⇒ `Object`



28
29
30

# File 'lib/z3/model.rb', line 28

def model_eval(ast, model_completion=false)
  Expr.new_from_pointer(LowLevel.model_eval(self, ast, model_completion))
end