Home
last modified time | relevance | path

Searched refs:is_Not (Results 1 – 22 of 22) sorted by relevance

/dports/math/py-sympy/sympy-1.9/sympy/assumptions/
H A Dcnf.py37 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 Dask.py346 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 Dinference.py26 if literal.is_Not:
H A Dboolalg.py472 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 Dinference.py30 if literal.is_Not:
H A Dboolalg.py963 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 Diropt.c148 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 Dgen_irnode.h262 #define is_Not(node) is_Not_(node) macro
H A Dgen_irnode.c.inl183 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 Dlower_mode_b.c251 || 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 Darm_transform.c413 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 Dbasic.py44 is_Not = False variable in Basic
/dports/math/py-Diofant/Diofant-0.13.0/diofant/printing/pretty/
H A Dpretty.py148 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 Dlatex.py771 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 Dbasic.py103 is_Not = False variable in Basic
/dports/devel/libfirm/libfirm-1.21.0/ir/be/sparc/
H A Dsparc_transform.c903 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 Dpretty.py239 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 Dmathml.py1353 if args[0].is_Boolean and not args[0].is_Not:
1362 if arg.is_Boolean and not arg.is_Not:
H A Dlatex.py1064 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 Dnodeops.h2645 FIRM_API int is_Not(const ir_node *node);
/dports/devel/libfirm/libfirm-1.21.0/ir/be/ia32/
H A Dia32_transform.c1364 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 Dtest_query.py2164 clauses.add(frozenset(Literal(lit.arg.function, lit.is_Not) for lit in sorted(cl, key=str)))