/dports/math/py-sympy/sympy-1.9/sympy/assumptions/ |
H A D | cnf.py | 37 def __new__(cls, lit, is_Not=False): argument 40 is_Not = True 42 return ~lit if is_Not else lit 45 obj.is_Not = is_Not 60 return type(self)(lit, self.is_Not) 63 is_Not = not self.is_Not 64 return Literal(self.lit, is_Not) 72 return self.arg == other.arg and self.is_Not == other.is_Not 75 h = hash((type(self).__name__, self.arg, self.is_Not)) 393 return Not(arg.lit) if arg.is_Not else arg.lit [all …]
|
H A D | ask.py | 346 args.append(Literal(literal.lit.function, literal.is_Not)) 558 if f.is_Not and f.arg in prop_req: 565 prop_facts = known_facts_dict.get(f.arg, None) if not f.is_Not else None
|
/dports/math/py-Diofant/Diofant-0.13.0/diofant/logic/ |
H A D | inference.py | 26 if literal.is_Not:
|
H A D | boolalg.py | 472 is_Not = True variable in Not 480 if arg.is_Not: 1566 elif a.is_Not:
|
/dports/math/py-sympy/sympy-1.9/sympy/logic/ |
H A D | inference.py | 30 if literal.is_Not:
|
H A D | boolalg.py | 963 is_Not = True variable in Not 969 if arg.is_Not: 2963 elif a.is_Not: 2971 elif ai.is_Not:
|
/dports/devel/libfirm/libfirm-1.21.0/ir/ir/ |
H A D | iropt.c | 148 if ((is_Not(a) && get_Not_op(a) == b) in computed_value_Add() 292 if ((is_Not(a) && get_Not_op(a) == b) in computed_value_And() 319 if ((is_Not(a) && get_Not_op(a) == b) in computed_value_Or() 2302 if (is_Not(a) && is_Not(b)) { in transform_node_Or_() 2580 if (is_Not(a)) { in transform_node_Add() 2907 if (is_Const(a) && is_Not(b)) { in transform_node_Sub() 3564 } else if (is_Not(b)) { in transform_node_And() 3595 } else if (is_Not(a)) { in transform_node_And() 3663 if (is_Not(a) && is_Not(b)) { in transform_node_And() 3774 if (is_Not(a)) { in transform_node_Minus() [all …]
|
H A D | gen_irnode.h | 262 #define is_Not(node) is_Not_(node) macro
|
H A D | gen_irnode.c.inl | 183 int (is_Not)(const ir_node *node) 1329 assert(is_Not(node)); 1335 assert(is_Not(node));
|
/dports/devel/libfirm/libfirm-1.21.0/ir/lower/ |
H A D | lower_mode_b.c | 251 || is_Not(node) || is_Mux(node) || is_Cmp(node) in collect_needs_lowering()
|
/dports/devel/libfirm/libfirm-1.21.0/ir/be/arm/ |
H A D | arm_transform.c | 413 if (is_Not(op1)) in gen_int_binop() 415 else if (is_Not(op2)) in gen_int_binop() 638 if (is_Not(left) || is_Not(right)) { in gen_And()
|
/dports/math/py-Diofant/Diofant-0.13.0/diofant/core/ |
H A D | basic.py | 44 is_Not = False variable in Basic
|
/dports/math/py-Diofant/Diofant-0.13.0/diofant/printing/pretty/ |
H A D | pretty.py | 148 if arg.is_Boolean and not arg.is_Not: 162 if arg.is_Boolean and (not arg.is_Not and not arg.is_Atom): 168 if arg.is_Boolean and (not arg.is_Not and not arg.is_Atom):
|
/dports/math/py-Diofant/Diofant-0.13.0/diofant/printing/ |
H A D | latex.py | 771 if arg.is_Boolean and (not arg.is_Not and not arg.is_Atom): 777 if arg.is_Boolean and (not arg.is_Not and not arg.is_Atom):
|
/dports/math/py-sympy/sympy-1.9/sympy/core/ |
H A D | basic.py | 103 is_Not = False variable in Basic
|
/dports/devel/libfirm/libfirm-1.21.0/ir/be/sparc/ |
H A D | sparc_transform.c | 903 if (is_Not(op1)) { in gen_helper_bitop() 908 if (is_Not(op2)) { in gen_helper_bitop()
|
/dports/math/py-sympy/sympy-1.9/sympy/printing/pretty/ |
H A D | pretty.py | 239 if arg.is_Boolean and not arg.is_Not: 253 if arg.is_Boolean and not arg.is_Not: 259 if arg.is_Boolean and not arg.is_Not:
|
/dports/math/py-sympy/sympy-1.9/sympy/printing/ |
H A D | mathml.py | 1353 if args[0].is_Boolean and not args[0].is_Not: 1362 if arg.is_Boolean and not arg.is_Not:
|
H A D | latex.py | 1064 if arg.is_Boolean and not arg.is_Not: 1070 if arg.is_Boolean and not arg.is_Not:
|
/dports/devel/libfirm/libfirm-1.21.0/include/libfirm/ |
H A D | nodeops.h | 2645 FIRM_API int is_Not(const ir_node *node);
|
/dports/devel/libfirm/libfirm-1.21.0/ir/be/ia32/ |
H A D | ia32_transform.c | 1364 if (is_Shr(shr_left) && is_Not(shr_right) in match_64bit_shift() 1375 if (is_Shl(shl_left) && is_Not(shl_right) in match_64bit_shift()
|
/dports/math/py-sympy/sympy-1.9/sympy/assumptions/tests/ |
H A D | test_query.py | 2164 clauses.add(frozenset(Literal(lit.arg.function, lit.is_Not) for lit in sorted(cl, key=str)))
|