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, 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):
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)
def __new__(cls, predicate, arg):
arg = _sympify(arg)
return Boolean.__new__(cls, predicate, arg)
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)
