class Z3::SetSort
Attributes
element_sort[R]
Public Class Methods
new(element_sort)
click to toggle source
Calls superclass method
# File lib/z3/sort/set_sort.rb, line 4 def initialize(element_sort) @element_sort = element_sort super LowLevel.mk_set_sort(element_sort) end
Public Instance Methods
Empty()
click to toggle source
# File lib/z3/sort/set_sort.rb, line 21 def Empty new(LowLevel.mk_empty_set(self)) end
Full()
click to toggle source
# File lib/z3/sort/set_sort.rb, line 25 def Full new(LowLevel.mk_full_set(self)) end
expr_class()
click to toggle source
# File lib/z3/sort/set_sort.rb, line 9 def expr_class SetExpr end
inspect()
click to toggle source
# File lib/z3/sort/set_sort.rb, line 17 def inspect "SetSort(#{element_sort})" end
to_s()
click to toggle source
# File lib/z3/sort/set_sort.rb, line 13 def to_s "Set(#{element_sort})" end