(s, t1, t2)
return get_env().formula_manager.StrReplace(s, t1, t2)
Returns a new string where the first occurrence of t1 is replace by t2.

    where s, t1 and t2 are string terms, t1 is non-empty.
Returns a new string where the first occurrence of t1 is replace by t2.
Returns a new string where the first occurrence of t1 is replace by t2 .
def StrReplace(s, t1, t2):
    """Returns a new string where the first occurrence of t1 is replace by t2.

    where s, t1 and t2 are string terms, t1 is non-empty.
    """
    return get_env().formula_manager.StrReplace(s, t1, t2)
def StrReplace ( s , t1 , t2 ) : return get_env ( ) . formula_manager . StrReplace ( s , t1 , t2 )