def convert_param_to_dirname(param):
    """ Helper function to convert a parameter value to a valid directory name. """
    if type(param) == types.StringType:
        return param
    else:
        return re.sub("0+$", '0', '%f'%param)
dataset/ETHPy150Open rueckstiess/expsuite/expsuite.py/convert_param_to_dirname/original