| /dports/lang/rust/rustc-1.58.1-src/src/tools/clippy/clippy_lints/src/ |
| H A D | booleans.rs | 192 if let Some(str) = simplify_not(self.cx, terminal) { in recurse()
236 fn simplify_not(cx: &LateContext<'_>, expr: &Expr<'_>) -> Option<String> { in simplify_not() function
492 if let Some(suggestion) = simplify_not(self.cx, inner) { in visit_expr()
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/core/ |
| H A D | dom_simplify_tactic.h | 108 expr_ref simplify_not(app * e);
|
| H A D | dom_simplify_tactic.cpp | 276 r = simplify_not(to_app(e)); in simplify_rec()
360 expr_ref dom_simplify_tactic::simplify_not(app * e) { in simplify_not() function in dom_simplify_tactic
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/core/ |
| H A D | dom_simplify_tactic.h | 110 expr_ref simplify_not(app * e);
|
| H A D | dom_simplify_tactic.cpp | 276 r = simplify_not(to_app(e)); in simplify_rec()
360 expr_ref dom_simplify_tactic::simplify_not(app * e) { in simplify_not() function in dom_simplify_tactic
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/compiler/src/ |
| H A D | beam_ssa_type.erl | 700 simplify_not(Br, Ts, Ds);
1264 simplify_not(Br, Ts, Ds).
1266 simplify_not(#b_br{bool=#b_var{}=V,succ=Succ,fail=Fail}=Br0, Ts, Ds) -> function
1279 simplify_not(#b_br{bool=#b_literal{}}=Br, _Ts, _Ds) -> Br. function
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/src/ |
| H A D | beam_ssa_type.erl | 644 simplify_not(Br, Ts, Ds, Sub);
1144 simplify_not(#b_br{bool=#b_var{}=V,succ=Succ,fail=Fail}=Br0, Ts, Ds, Sub) -> function
1157 simplify_not(#b_br{bool=#b_literal{}}=Br, _Sub, _Ts, _Ds) -> function
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/compiler/src/ |
| H A D | beam_ssa_type.erl | 619 simplify_not(Br, Ts, Ds, Sub);
1113 simplify_not(#b_br{bool=#b_var{}=V,succ=Succ,fail=Fail}=Br0, Ts, Ds, Sub) -> function
1126 simplify_not(#b_br{bool=#b_literal{}}=Br, _Sub, _Ts, _Ds) -> function
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/compiler/src/ |
| H A D | beam_ssa_type.erl | 644 simplify_not(Br, Ts, Ds, Sub);
1144 simplify_not(#b_br{bool=#b_var{}=V,succ=Succ,fail=Fail}=Br0, Ts, Ds, Sub) -> function
1157 simplify_not(#b_br{bool=#b_literal{}}=Br, _Sub, _Ts, _Ds) -> function
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/compiler/src/ |
| H A D | beam_ssa_type.erl | 644 simplify_not(Br, Ts, Ds, Sub);
1144 simplify_not(#b_br{bool=#b_var{}=V,succ=Succ,fail=Fail}=Br0, Ts, Ds, Sub) -> function
1157 simplify_not(#b_br{bool=#b_literal{}}=Br, _Sub, _Ts, _Ds) -> function
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/compiler/src/ |
| H A D | beam_ssa_type.erl | 644 simplify_not(Br, Ts, Ds, Sub);
1144 simplify_not(#b_br{bool=#b_var{}=V,succ=Succ,fail=Fail}=Br0, Ts, Ds, Sub) -> function
1157 simplify_not(#b_br{bool=#b_literal{}}=Br, _Sub, _Ts, _Ds) -> function
|