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