Example #1
0
def compare_bdd(bdd1, operator, bdd2):
    """Compare two ROBDD"""
    res = compare(bdd1, operator, bdd2)

    if operator == Bdd.IMPL:
        return res <= 2
    elif operator == Bdd.AND:
        return not res <= 2
def compare_bdd(bdd1, operator, bdd2):
    """Compare two ROBDD"""
    res = compare(bdd1, operator, bdd2)

    if operator == Bdd.IMPL:
        return res <= 2
    elif operator == Bdd.AND:
        return not res <= 2
Example #3
0
def delete_rule_by_spec(acl, rule):
    test = False

    for r in [a for a in acl.rules]:
        if compare(r.toBDD(), Bdd.BIIMPL,
                   rule.toBDD()) <= 2 and r.action.chain == rule.action.chain:
            acl.rules.remove(r)
            test = True

    return test