(string, target)
return get_env().formula_manager.StrContains(string, target)
Returns wether string contains the target.

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

    s and t are String terms.
    """
    return get_env().formula_manager.StrContains(string, target)
def StrContains ( string , target ) : return get_env ( ) . formula_manager . StrContains ( string , target )