class

Z3::Ast

Inherits Reference < Object

Constructors

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

Source

Instance methods

!=(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. Invokes same?.

==(v : Int) : self

>(b : self) : self

>(v : Int) : self

>=(b : self) : self

>=(v : Int) : self

^(b : self) : self

and(b : self) : self

context

finalize

implies(b : self) : self

Source

or(b : self) : self

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

Source

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>

Source

to_unsafe

Source