class Z3::Model

• Z3::Model
• Reference
• Object

Defined in:

Constructors

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

Instance Method Summary

• #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.

• #to_unsafe : LibZ3::Model

Constructor Detail

Instance Method Detail

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

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