(self, term, args)
Returns the signature of the given term.
        For example:
        - a term x & y returns a function type Bool -> Bool -> Bool,
        - a term 14 returns Int
        - a term x ? 13 : 15.0 returns Bool -> Real -> Real -> Real
Returns the signature of the given term.
        For example:
        - a term x & y returns a function type Bool -> Bool -> Bool,
        - a term 14 returns Int
        - a term x ? 13 : 15.0 returns Bool -> Real -> Real -> Real
Returns the signature of the given term . For example : - a term x & y returns a function type Bool - > Bool - > Bool - a term 14 returns Int - a term x ? 13 : 15 . 0 returns Bool - > Real - > Real - > Real
def _get_signature(self, term, args):
        """Returns the signature of the given term.
        For example:
        - a term x & y returns a function type Bool -> Bool -> Bool,
        - a term 14 returns Int
        - a term x ? 13 : 15.0 returns Bool -> Real -> Real -> Real
        """
        decl = mathsat.msat_term_get_decl(term)
        tag = mathsat.msat_decl_get_tag(self.msat_env(), decl)
        try:
            return self.term_sig[tag](term, args)
        except KeyError:
            raise ConvertExpressionError("Unsupported expression:",
                                         mathsat.msat_term_repr(term))
def _get_signature ( self , term , args ) : decl = mathsat . msat_term_get_decl ( term ) tag = mathsat . msat_decl_get_tag ( self . msat_env ( ) , decl ) try : return self . term_sig [ tag ] ( term , args ) except KeyError : raise ConvertExpressionError ( "Unsupported expression:" , mathsat . msat_term_repr ( term ) )