class Z3::ArraySort

Attributes

Public Class Methods

Source

# File lib/z3/sort/array_sort.rb, line 4
def initialize(key_sort, value_sort)
  @key_sort = key_sort
  @value_sort = value_sort
  super LowLevel.mk_array_sort(key_sort, value_sort)
end

Calls superclass method

Public Instance Methods

Const (value)

Source

# File lib/z3/sort/array_sort.rb, line 24
def Const(value)
  new(LowLevel.mk_const_array(key_sort, value_sort.cast(value)))
end

The array which maps every key to the same value. ‘SetSort#Empty` and `#Full` are this with `false` and `true` - a Set is an Array with a Bool value sort.

expr_class ()

Source

# File lib/z3/sort/array_sort.rb, line 10
def expr_class
  ArrayExpr
end

inspect ()

Source

# File lib/z3/sort/array_sort.rb, line 18
def inspect
  "ArraySort(#{key_sort}, #{value_sort})"
end

to_s ()

Source

# File lib/z3/sort/array_sort.rb, line 14
def to_s
  "Array(#{key_sort}, #{value_sort})"
end