(self, name)
return sort
Return the yices Sort for the given name.
Return the yices Sort for the given name.
Return the yices Sort for the given name .
def yicesSort(self, name):
        """Return the yices Sort for the given name."""
        name = str(name)
        try:
            return self._yicesSort[name]
        except KeyError:
            sort = yicespy.yices_new_uninterpreted_type()
            self._yicesSort[name] = sort
        return sort
def yicesSort ( self , name ) : name = str ( name ) try : return self . _yicesSort [ name ] except KeyError : sort = yicespy . yices_new_uninterpreted_type ( ) self . _yicesSort [ name ] = sort return sort