(self, s, t)
return self.create_node(node_type=op.STR_CONTAINS, args=(s, t))
Returns wether the String s contains the String t.

        s and t are String terms.
Returns wether the String s contains the String t.
Returns wether the String s contains the String t .
def StrContains(self, s, t):
        """Returns wether the String s contains the String t.

        s and t are String terms.
        """
        return self.create_node(node_type=op.STR_CONTAINS, args=(s, t))
def StrContains ( self , s , t ) : return self . create_node ( node_type = op . STR_CONTAINS , args = ( s , t ) )