Python SpecialPredicates Examples

Example #1

File: tests.py Project: arjun-menon/Cassandra-to-Python

def print_func_rules():
    for i in (r for r in rules if r.concl.name not in SpecialPredicates.list_all()):
        print(i)

Example #2

File: tests.py Project: arjun-menon/Cassandra-to-Python

def count_rule_kinds():
    c = lambda name: print(str(name) + ": " + str(len([r for r in rules if r.concl.name == name])))
    list(map(c, SpecialPredicates.list_all()))
    print("funcs: " + str(len([r for r in rules if r.concl.name not in SpecialPredicates.list_all()])) + '\n')