class Z3::SetSort

# 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

# File lib/z3/sort/set_sort.rb, line 21
def Empty
  new(LowLevel.mk_empty_set(self))
end

# File lib/z3/sort/set_sort.rb, line 25
def Full
  new(LowLevel.mk_full_set(self))
end

# File lib/z3/sort/set_sort.rb, line 9
def expr_class
  SetExpr
end

# File lib/z3/sort/set_sort.rb, line 17
def inspect
  "SetSort(#{element_sort})"
end

# File lib/z3/sort/set_sort.rb, line 13
def to_s
  "Set(#{element_sort})"
end