class Z3::UninterpretedSort

# File lib/z3/sort/uninterpreted_sort.rb, line 4
def initialize(name)
  @name = name
  super LowLevel.mk_uninterpreted_sort(LowLevel.mk_symbol(name))
end

# File lib/z3/sort/sort.rb, line 3
def initialize(_ast)
  super(_ast)
  raise Z3::Exception, "Sorts must have AST kind sort" unless ast_kind == :sort
end

# File lib/z3/sort/uninterpreted_sort.rb, line 9
def expr_class
  UninterpretedExpr
end

# File lib/z3/sort/uninterpreted_sort.rb, line 13
def inspect
  "UninterpretedSort(#{name})"
end