Python split_int_set_str примеры использования

Пример #1

def ds_filter_symbols_cli(**args):
    args["allowed_symbol_ids"] = split_int_set_str(args["allowed_symbol_ids"])
    ds_filter_symbols(**args)

Пример #2

def app_add_greedy_ngram_minutes_cli(**args):
    args["ignore_symbol_ids"] = split_int_set_str(args["ignore_symbol_ids"])
    app_add_greedy_ngram_minutes(**args)

Пример #3

def app_add_random_ngram_cover_minutes_cli(**args):
    args["ignore_symbol_ids"] = split_int_set_str(args["ignore_symbol_ids"])
    app_add_random_ngram_cover_minutes(**args)

Пример #4

def app_add_symbols_cli(**args):
    args["cover_symbol_ids"] = split_int_set_str(args["cover_symbol_ids"])
    app_add_symbols(**args)

Пример #5

def app_add_ngram_cover_cli(**args):
    args["ignore_symbol_ids"] = split_int_set_str(args["ignore_symbol_ids"])
    app_add_ngram_cover(**args)