(x)
return get_env().formula_manager.StrToInt(x)
Returns the corresponding natural number of s is valid;

    If s is not valid, it returns -1.
Returns the corresponding natural number of s is valid;
Returns the corresponding natural number of s is valid ;
def StrToInt(x):
    """Returns the corresponding natural number of s is valid;

    If s is not valid, it returns -1.
    """
    return get_env().formula_manager.StrToInt(x)
def StrToInt ( x ) : return get_env ( ) . formula_manager . StrToInt ( x )