(expr)
return set.union(*(_find_predicates(i) for i in expr.args))
Helper to find logical predicates in BooleanFunctions.

    A logical predicate is defined here as anything within a BooleanFunction
    that is not a BooleanFunction itself.
Helper to find logical predicates in BooleanFunctions.
Helper to find logical predicates in BooleanFunctions .
def _find_predicates(expr):
    """Helper to find logical predicates in BooleanFunctions.

    A logical predicate is defined here as anything within a BooleanFunction
    that is not a BooleanFunction itself.

    """
    if not isinstance(expr, BooleanFunction):
        return set([expr])
    return set.union(*(_find_predicates(i) for i in expr.args))
def _find_predicates ( expr ) : if not isinstance ( expr , BooleanFunction ) : return set ( [ expr ] ) return set . union ( * ( _find_predicates ( i ) for i in expr . args ) )