Ejemplo n.º 1
0
Archivo: assume.py Proyecto: Aang/sympy 
 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))
Ejemplo n.º 2
0
 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))
Ejemplo n.º 3
0
 def __new__(cls, predicate, arg):
     return Boolean.__new__(cls, predicate, arg)
Ejemplo n.º 4
0
 def __new__(cls, name, handlers=None):
     obj = Boolean.__new__(cls)
     obj.name = name
     obj.handlers = handlers or []
     return obj
Ejemplo n.º 5
0
 def __new__(cls, predicate, arg):
     return Boolean.__new__(cls, predicate, arg)
Ejemplo n.º 6
0
 def __new__(cls, name, handlers=None):
     obj = Boolean.__new__(cls)
     obj.name = name
     obj.handlers = handlers or []
     return obj
Ejemplo n.º 7
0
 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)
Ejemplo n.º 8
0
 def __new__(cls, predicate, arg):
     arg = _sympify(arg)
     return Boolean.__new__(cls, predicate, arg)
Ejemplo n.º 9
0
 def __new__(cls, predicate, arg):
     arg = _sympify(arg)
     return Boolean.__new__(cls, predicate, arg)
Ejemplo n.º 10
0
 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)