/dports/math/z3/z3-z3-4.8.13/src/tactic/core/ |
H A D | dom_simplify_tactic.cpp | 204 expr_ref new_c = simplify_arg(c); in simplify_ite() 206 r = simplify_arg(t); in simplify_ite() 209 r = simplify_arg(e); in simplify_ite() 217 expr_ref new_t = simplify_arg(t); in simplify_ite() 226 expr_ref new_e = simplify_arg(e); in simplify_ite() 243 expr_ref dom_simplify_tactic::simplify_arg(expr * e) { in simplify_arg() function in dom_simplify_tactic 291 m_args.push_back(m.is_bool(arg) ? arg : simplify_arg(arg)); in simplify_rec() 330 r = simplify_arg(arg); in simplify_and_or()
|
H A D | dom_simplify_tactic.h | 103 expr_ref simplify_arg(expr* t);
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/core/ |
H A D | dom_simplify_tactic.cpp | 204 expr_ref new_c = simplify_arg(c); in simplify_ite() 206 r = simplify_arg(t); in simplify_ite() 209 r = simplify_arg(e); in simplify_ite() 217 expr_ref new_t = simplify_arg(t); in simplify_ite() 226 expr_ref new_e = simplify_arg(e); in simplify_ite() 243 expr_ref dom_simplify_tactic::simplify_arg(expr * e) { in simplify_arg() function in dom_simplify_tactic 291 m_args.push_back(m.is_bool(arg) ? arg : simplify_arg(arg)); in simplify_rec() 330 r = simplify_arg(arg); in simplify_and_or()
|
H A D | dom_simplify_tactic.h | 105 expr_ref simplify_arg(expr* t);
|
/dports/lang/elixir/elixir-1.12.3/lib/elixir/lib/ |
H A D | module.ex | 870 {arg, counters} = simplify_arg(arg, counters, env) 878 defp simplify_arg({:\\, _, [left, right]}, counters, env) do function 879 {left, counters} = simplify_arg(left, counters, env) 909 defp simplify_arg({:%, _, [left, _]}, counters, env) do function 916 defp simplify_arg({:%{}, _, _}, counters, _env) do function 920 defp simplify_arg({:@, _, _} = attr, counters, env) do function 921 simplify_arg(Macro.expand_once(attr, env), counters, env) 930 defp simplify_arg(other, counters, _env) when is_atom(other), function 933 defp simplify_arg(other, counters, _env) when is_list(other), function 936 defp simplify_arg(other, counters, _env) when is_float(other), function [all …]
|
/dports/lang/elixir-devel/elixir-1.13.1/lib/elixir/lib/ |
H A D | module.ex | 876 {arg, counters} = simplify_arg(arg, counters, env) 884 defp simplify_arg({:\\, _, [left, right]}, counters, env) do function 885 {left, counters} = simplify_arg(left, counters, env) 915 defp simplify_arg({:%, _, [left, _]}, counters, env) do function 922 defp simplify_arg({:%{}, _, _}, counters, _env) do function 926 defp simplify_arg({:@, _, _} = attr, counters, env) do function 927 simplify_arg(Macro.expand_once(attr, env), counters, env) 936 defp simplify_arg(other, counters, _env) when is_atom(other), function 939 defp simplify_arg(other, counters, _env) when is_list(other), function 942 defp simplify_arg(other, counters, _env) when is_float(other), function [all …]
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/compiler/src/ |
H A D | beam_ssa_type.erl | 618 Br = beam_ssa:normalize(Br0#b_br{bool=simplify_arg(Bool, Ts, Sub)}), 622 Arg = simplify_arg(Arg0, Ts, Sub), 640 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Ts, Sub)} 1067 case simplify_arg(Src, Ts, Sub) of 1134 Arg = simplify_arg(Arg0, Ts, Sub), 1354 [simplify_arg(Arg, Ts, Sub) || Arg <- Args]. 1356 simplify_arg(#b_var{}=Arg0, Ts, Sub) -> function 1366 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Ts, Sub) -> function 1367 Rem#b_remote{mod=simplify_arg(Mod, Ts, Sub), 1368 name=simplify_arg(Name, Ts, Sub)}; [all …]
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/compiler/src/ |
H A D | beam_ssa_type.erl | 238 Br#b_br{bool=simplify_arg(Bool, Sub, Ts)}; 240 Sw#b_switch{arg=simplify_arg(Arg, Sub, Ts)}; 246 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Sub, Ts)} 253 Args = [{simplify_arg(Arg, Sub0, Ts0),From} || 655 [simplify_arg(Arg, Sub, Ts) || Arg <- Args]. 657 simplify_arg(#b_var{}=Arg0, Sub, Ts) -> function 668 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Sub, Ts) -> function 669 Rem#b_remote{mod=simplify_arg(Mod, Sub, Ts), 670 name=simplify_arg(Name, Sub, Ts)}; 671 simplify_arg(Arg, _Sub, _Ts) -> Arg. function
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/src/ |
H A D | beam_ssa_type.erl | 643 Br = beam_ssa:normalize(Br0#b_br{bool=simplify_arg(Bool, Ts, Sub)}), 647 Arg = simplify_arg(Arg0, Ts, Sub), 665 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Ts, Sub)} 1165 Arg = simplify_arg(Arg0, Ts, Sub), 1410 [simplify_arg(Arg, Ts, Sub) || Arg <- Args]. 1412 simplify_arg(#b_var{}=Arg0, Ts, Sub) -> function 1422 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Ts, Sub) -> function 1423 Rem#b_remote{mod=simplify_arg(Mod, Ts, Sub), 1424 name=simplify_arg(Name, Ts, Sub)}; 1425 simplify_arg(Arg, _Ts, _Sub) -> Arg. function
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/compiler/src/ |
H A D | beam_ssa_type.erl | 643 Br = beam_ssa:normalize(Br0#b_br{bool=simplify_arg(Bool, Ts, Sub)}), 647 Arg = simplify_arg(Arg0, Ts, Sub), 665 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Ts, Sub)} 1165 Arg = simplify_arg(Arg0, Ts, Sub), 1410 [simplify_arg(Arg, Ts, Sub) || Arg <- Args]. 1412 simplify_arg(#b_var{}=Arg0, Ts, Sub) -> function 1422 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Ts, Sub) -> function 1423 Rem#b_remote{mod=simplify_arg(Mod, Ts, Sub), 1424 name=simplify_arg(Name, Ts, Sub)}; 1425 simplify_arg(Arg, _Ts, _Sub) -> Arg. function
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/compiler/src/ |
H A D | beam_ssa_type.erl | 643 Br = beam_ssa:normalize(Br0#b_br{bool=simplify_arg(Bool, Ts, Sub)}), 647 Arg = simplify_arg(Arg0, Ts, Sub), 665 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Ts, Sub)} 1165 Arg = simplify_arg(Arg0, Ts, Sub), 1410 [simplify_arg(Arg, Ts, Sub) || Arg <- Args]. 1412 simplify_arg(#b_var{}=Arg0, Ts, Sub) -> function 1422 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Ts, Sub) -> function 1423 Rem#b_remote{mod=simplify_arg(Mod, Ts, Sub), 1424 name=simplify_arg(Name, Ts, Sub)}; 1425 simplify_arg(Arg, _Ts, _Sub) -> Arg. function
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/compiler/src/ |
H A D | beam_ssa_type.erl | 643 Br = beam_ssa:normalize(Br0#b_br{bool=simplify_arg(Bool, Ts, Sub)}), 647 Arg = simplify_arg(Arg0, Ts, Sub), 665 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Ts, Sub)} 1165 Arg = simplify_arg(Arg0, Ts, Sub), 1410 [simplify_arg(Arg, Ts, Sub) || Arg <- Args]. 1412 simplify_arg(#b_var{}=Arg0, Ts, Sub) -> function 1422 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Ts, Sub) -> function 1423 Rem#b_remote{mod=simplify_arg(Mod, Ts, Sub), 1424 name=simplify_arg(Name, Ts, Sub)}; 1425 simplify_arg(Arg, _Ts, _Sub) -> Arg. function
|