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