class Z3::SetSort
Attributes
Public Class Methods
Source
# 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
Calls superclass method
Public Instance Methods
Source
# File lib/z3/sort/set_sort.rb, line 21 def Empty new(LowLevel.mk_empty_set(self)) end
Source
# File lib/z3/sort/set_sort.rb, line 17 def inspect "SetSort(#{element_sort})" end