class Z3::Ast

• Z3::Ast
• Reference
• Object

Defined in:

Constructors

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

Instance Method Summary

• #!=(b : self) : self
• #!=(v : Int) : self
• #*(b : self) : self
• #*(v : Int) : self
• #+(b : self) : self
• #+(v : Int) : self
• #-(b : self) : self
• #-(v : Int) : self
• #<(b : self) : self
• #<(v : Int) : self
• #<=(b : self) : self
• #<=(v : Int) : self
• #==(b : self) : self

  Returns true if this reference is the same as other.

• #==(v : Int) : self
• #>(b : self) : self
• #>(v : Int) : self
• #>=(b : self) : self
• #>=(v : Int) : self
• #^(b : self) : self
• #and(b : self) : self
• #context : Context
• #finalize
• #implies(b : self) : self
• #or(b : self) : self

  NOTE Unable to overide || operator in Crystal due to semantics

• #to_s(io : IO)

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

• #to_unsafe : LibZ3::Ast

Constructor Detail

Instance Method Detail

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

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