class

Z3::Model

Inherits Reference < Object

Constructors

new(context : Context, raw : LibZ3::Model)

eval(t : Ast, *, model_completion : Bool = false) : Ast

finalize

to_s(io : IO)

Appends a short String representation of this object which includes its class name and its object address.

class Person
  def initialize(@name : String, @age : Int32)
  end
end

Person.new("John", 32).to_s # => #<Person:0x10a199f20>

to_unsafe