(self, s, t)
return self.create_node(node_type=op.STR_SUFFIXOF, args=(s, t))
Returns whether the string s is a suffix of the string t.

        where s and t are string terms.
Returns whether the string s is a suffix of the string t.
Returns whether the string s is a suffix of the string t .
def StrSuffixOf(self, s, t):
        """Returns whether the string s is a suffix of the string t.

        where s and t are string terms.
        """
        return self.create_node(node_type=op.STR_SUFFIXOF, args=(s, t))
def StrSuffixOf ( self , s , t ) : return self . create_node ( node_type = op . STR_SUFFIXOF , args = ( s , t ) )