(self, *args)
Returns the encoding of the maximum expression within args
Returns the encoding of the maximum expression within args
Returns the encoding of the maximum expression within args
def Max(self, *args):
        """Returns the encoding of the maximum expression within args"""
        exprs = self._polymorph_args_to_tuple(args)
        assert len(exprs) > 0
        if len(exprs) == 1:
            return exprs[0]
        elif len(exprs) == 2:
            a, b = exprs
            return self.Ite(self.LE(a, b), b, a)
        else:
            h = len(exprs) // 2
            return self.Max(self.Max(exprs[0:h]), self.Max(exprs[h:]))
def Max ( self , * args ) : exprs = self . _polymorph_args_to_tuple ( args ) assert len ( exprs ) > 0 if len ( exprs ) == 1 : return exprs [ 0 ] elif len ( exprs ) == 2 : a , b = exprs return self . Ite ( self . LE ( a , b ) , b , a ) else : h = len ( exprs ) // 2 return self . Max ( self . Max ( exprs [ 0 : h ] ) , self . Max ( exprs [ h : ] ) )