class Z3::IntSort

Public Class Methods

new() click to toggle source
Calls superclass method
# File lib/z3/sort/int_sort.rb, line 3
def initialize
  super LowLevel.mk_int_sort
end

Public Instance Methods

expr_class() click to toggle source
# File lib/z3/sort/int_sort.rb, line 7
def expr_class
  IntExpr
end
from_const(val) click to toggle 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