Beispiel #1
0
def cli_init_dsh(api: GbdApi, args):
    api.bootstrap("degree_sequence_hash", args.hashes)
Beispiel #2
0
def cli_init_sanitize(api: GbdApi, args):
    api.bootstrap("sanitation_info", args.hashes)
Beispiel #3
0
def cli_init_ct(api: GbdApi, args):
    api.bootstrap("clause_types", args.hashes)