class Z3::IntSort

Public Class Methods

Source

# File lib/z3/sort/int_sort.rb, line 3
def initialize
  super LowLevel.mk_int_sort
end

Calls superclass method

Public Instance Methods

expr_class ()

Source

# File lib/z3/sort/int_sort.rb, line 7
def expr_class
  IntExpr
end

from_const (val)

Source

# File lib/z3/sort/int_sort.rb, line 11
def from_const(val)
  if val.is_a?(Integer)
    new(LowLevel.mk_numeral(val.to_s, self))
  else
    raise Z3::Exception, "Cannot convert #{val.class} to #{self.class}"
  end
end