Exemplos de get_composite_predicates em Python

Exemplo n.º 1

 def apply(self, *args):
     return to_NNF(self.lamda(*args), get_composite_predicates())

Exemplo n.º 2

 def apply(self, expr=None, is_Not=False):
     from sympy import isprime
     arg = self.args[0](expr) if callable(self.args[0]) else self.args[0]
     res = Equivalent(arg, isprime(expr))
     return to_NNF(res, get_composite_predicates())

Exemplo n.º 3

 def apply(self, expr=None):
     if expr is None:
         return
     pred = to_NNF(self.pred, get_composite_predicates())
     return self._eval_apply(expr, pred)

Exemplo n.º 4

 def apply(self, expr=None, is_Not=False):
     arg = self.args[0](expr) if callable(self.args[0]) else self.args[0]
     res = Equivalent(arg, evaluate_old_assump(arg))
     return to_NNF(res, get_composite_predicates())

Exemplo n.º 5

Arquivo: cnf.py Projeto: sylee957/sympy

 def to_CNF(cls, expr):
     from sympy.assumptions.facts import get_composite_predicates
     expr = to_NNF(expr, get_composite_predicates())
     expr = distribute_AND_over_OR(expr)
     return expr