/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
|