| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/compiler/src/ |
| H A D | beam_ssa_share.erl | 120 are_equivalent(_Succ, _, ?BADARG_BLOCK, _, _Blocks) -> function
123 are_equivalent(_Succ, #b_blk{is=Is1,last=#b_ret{arg=RetVal1}=Ret1}, function
148 are_equivalent(Succ, function
179 are_equivalent(Succ0, #b_blk{is=Is1,last=#b_br{bool=#b_var{},fail=Same}}, function
198 are_equivalent(_, _, _, _, _) -> false. function
|
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | contains.cc | 57 bool are_equivalent(const_twa_graph_ptr left, const_twa_graph_ptr right) in are_equivalent() function
67 bool are_equivalent(const_twa_graph_ptr left, formula right) in are_equivalent() function
74 bool are_equivalent(formula left, const_twa_graph_ptr right) in are_equivalent() function
81 bool are_equivalent(formula left, formula right) in are_equivalent() function
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/src/ |
| H A D | beam_ssa_share.erl | 135 are_equivalent(_Succ, _, ?EXCEPTION_BLOCK, _, _Blocks) -> function
138 are_equivalent(_Succ, #b_blk{is=Is1,last=#b_ret{arg=RetVal1}=Ret1}, function
163 are_equivalent(Succ, function
194 are_equivalent(Succ0, #b_blk{is=Is1,last=#b_br{bool=#b_var{},fail=Same}}, function
213 are_equivalent(_, _, _, _, _) -> false. function
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/compiler/src/ |
| H A D | beam_ssa_share.erl | 135 are_equivalent(_Succ, _, ?EXCEPTION_BLOCK, _, _Blocks) -> function
138 are_equivalent(_Succ, #b_blk{is=Is1,last=#b_ret{arg=RetVal1}=Ret1}, function
163 are_equivalent(Succ, function
194 are_equivalent(Succ0, #b_blk{is=Is1,last=#b_br{bool=#b_var{},fail=Same}}, function
213 are_equivalent(_, _, _, _, _) -> false. function
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/compiler/src/ |
| H A D | beam_ssa_share.erl | 135 are_equivalent(_Succ, _, ?EXCEPTION_BLOCK, _, _Blocks) -> function
138 are_equivalent(_Succ, #b_blk{is=Is1,last=#b_ret{arg=RetVal1}=Ret1}, function
163 are_equivalent(Succ, function
194 are_equivalent(Succ0, #b_blk{is=Is1,last=#b_br{bool=#b_var{},fail=Same}}, function
213 are_equivalent(_, _, _, _, _) -> false. function
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/compiler/src/ |
| H A D | beam_ssa_share.erl | 135 are_equivalent(_Succ, _, ?EXCEPTION_BLOCK, _, _Blocks) -> function
138 are_equivalent(_Succ, #b_blk{is=Is1,last=#b_ret{arg=RetVal1}=Ret1}, function
163 are_equivalent(Succ, function
194 are_equivalent(Succ0, #b_blk{is=Is1,last=#b_br{bool=#b_var{},fail=Same}}, function
213 are_equivalent(_, _, _, _, _) -> false. function
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/compiler/src/ |
| H A D | beam_ssa_share.erl | 135 are_equivalent(_Succ, _, ?EXCEPTION_BLOCK, _, _Blocks) -> function
138 are_equivalent(_Succ, #b_blk{is=Is1,last=#b_ret{arg=RetVal1}=Ret1}, function
163 are_equivalent(Succ, function
194 are_equivalent(Succ0, #b_blk{is=Is1,last=#b_br{bool=#b_var{},fail=Same}}, function
213 are_equivalent(_, _, _, _, _) -> false. function
|
| /dports/net-im/tdlib/td-a53cb30e99f937cfd64e0266fa558785a184a553/td/telegram/ |
| H A D | InputDialogId.cpp | 115 bool InputDialogId::are_equivalent(const vector<InputDialogId> &lhs, const vector<InputDialogId> &r… in are_equivalent() function in td::InputDialogId
|
| H A D | DialogFilter.cpp | 374 bool DialogFilter::are_equivalent(const DialogFilter &lhs, const DialogFilter &rhs) { in are_equivalent() function in td::DialogFilter
|
| /dports/math/spot/spot-2.10.2/spot/twacube_algos/ |
| H A D | convert.cc | 187 bool are_equivalent(const spot::twacube_ptr twacube, in are_equivalent() function
|
| /dports/math/py-spot/spot-2.10.2/spot/twacube_algos/ |
| H A D | convert.cc | 187 bool are_equivalent(const spot::twacube_ptr twacube, in are_equivalent() function
|
| /dports/textproc/zorba/zorba-2.7.0/src/runtime/booleans/ |
| H A D | BooleanImpl.cpp | 1216 bool are_equivalent; in nextImpl() local
|
| /dports/math/spot/spot-2.10.2/spot/tl/ |
| H A D | simplify.cc | 4144 tl_simplifier::are_equivalent(formula f, formula g) in are_equivalent() function in spot::tl_simplifier
|
| /dports/math/py-spot/spot-2.10.2/spot/tl/ |
| H A D | simplify.cc | 4144 tl_simplifier::are_equivalent(formula f, formula g) in are_equivalent() function in spot::tl_simplifier
|
| /dports/math/spot/spot-2.10.2/python/spot/ |
| H A D | impl.py | 1741 are_equivalent = _swig_new_instance_method(_impl.tl_simplifier_are_equivalent) variable in tl_simplifier
2441 are_equivalent = _impl.are_equivalent variable
|
| /dports/math/py-spot/spot-2.10.2/python/spot/ |
| H A D | impl.py | 1741 are_equivalent = _swig_new_instance_method(_impl.tl_simplifier_are_equivalent) variable in tl_simplifier
2441 are_equivalent = _impl.are_equivalent variable
|
| /dports/lang/perl5.34/perl-5.34.0/ |
| H A D | regcomp.c | 19256 bool are_equivalent; in S_regclass() local
|
| /dports/lang/perl5-devel/perl5-5.35.4-102-ge43d289c7c/ |
| H A D | regcomp.c | 19450 bool are_equivalent; in S_optimize_regclass() local
|
| /dports/lang/perl5.30/perl-5.30.3/ |
| H A D | regcomp.c | 18501 bool are_equivalent; in S_regclass() local
|
| /dports/lang/perl5.32/perl-5.32.1/ |
| H A D | regcomp.c | 19111 bool are_equivalent; in S_regclass() local
|