(self, name)
return sort
Return the z3 Sort for the given name.
Return the z3 Sort for the given name.
Return the z3 Sort for the given name .
def z3Sort(self, name):
        """Return the z3 Sort for the given name."""
        name = str(name)
        try:
            return self._z3Sorts[name]
        except KeyError:
            sort = z3.DeclareSort(name, self.ctx)
            self._z3Sorts[name] = sort
        return sort
def z3Sort ( self , name ) : name = str ( name ) try : return self . _z3Sorts [ name ] except KeyError : sort = z3 . DeclareSort ( name , self . ctx ) self . _z3Sorts [ name ] = sort return sort