def __new__(cls, expr, predicate=None, value=True): from sympy import Q if predicate is None: predicate = Q.is_true elif not isinstance(predicate, Predicate): key = str(predicate) try: predicate = getattr(Q, key) except AttributeError: predicate = Predicate(key) if value: return Boolean.__new__(cls, expr, predicate) else: return Not(Boolean.__new__(cls, expr, predicate))
def __new__(cls, predicate, arg): return Boolean.__new__(cls, predicate, arg)
def __new__(cls, name, handlers=None): obj = Boolean.__new__(cls) obj.name = name obj.handlers = handlers or [] return obj
def __new__(cls, predicate, arg): if not isinstance(arg, bool): # XXX: There is not yet a Basic type for True and False arg = _sympify(arg) return Boolean.__new__(cls, predicate, arg)
def __new__(cls, predicate, arg): arg = _sympify(arg) return Boolean.__new__(cls, predicate, arg)