(self, key, value)
return sort
Return the z3 ArraySort for the given key value.
Return the z3 ArraySort for the given key value.
Return the z3 ArraySort for the given key value .
def z3ArraySort(self, key, value):
        """Return the z3 ArraySort for the given key value."""
        try:
            return self._z3ArraySorts[(askey(key),
                                      askey(value))]
        except KeyError:
            sort = z3.ArraySort(key, value)
            self._z3ArraySorts[(askey(key),
                               askey(value))] = sort
        return sort
def z3ArraySort ( self , key , value ) : try : return self . _z3ArraySorts [ ( askey ( key ) , askey ( value ) ) ] except KeyError : sort = z3 . ArraySort ( key , value ) self . _z3ArraySorts [ ( askey ( key ) , askey ( value ) ) ] = sort return sort