| /dports/lang/v/v-0.1.29/vlib/v/parser/ |
| H A D | if.v | 68 mut is_guard := false
73 is_guard = true
114 if is_guard {
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
| H A D | udoc_relation.h | 67 bool is_guard(expr* g) const;
68 bool is_guard(unsigned n, expr* const *g) const;
|
| H A D | udoc_relation.cpp | 620 bool udoc_relation::is_guard(unsigned n, expr* const* gs) const { in is_guard() function in datalog::udoc_relation
622 if (!is_guard(gs[i])) return false; in is_guard()
626 bool udoc_relation::is_guard(expr* g) const { in is_guard() function in datalog::udoc_relation
633 return is_guard(to_app(g)->get_num_args(), to_app(g)->get_args()); in is_guard()
653 if (is_guard(g)) { in extract_guard()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
| H A D | udoc_relation.h | 67 bool is_guard(expr* g) const;
68 bool is_guard(unsigned n, expr* const *g) const;
|
| H A D | udoc_relation.cpp | 621 bool udoc_relation::is_guard(unsigned n, expr* const* gs) const { in is_guard() function in datalog::udoc_relation
623 if (!is_guard(gs[i])) return false; in is_guard()
627 bool udoc_relation::is_guard(expr* g) const { in is_guard() function in datalog::udoc_relation
634 return is_guard(to_app(g)->get_num_args(), to_app(g)->get_args()); in is_guard()
654 if (is_guard(g)) { in extract_guard()
|
| /dports/security/tor/tor-0.4.6.8/src/test/ |
| H A D | test_guardfraction.c | 27 gen_vote_routerstatus_for_tests(const char *digest_in_hex, int is_guard) in gen_vote_routerstatus_for_tests() argument
40 rs->is_possible_guard = is_guard; in gen_vote_routerstatus_for_tests()
|
| /dports/security/tor-devel/tor-0.4.7.2-alpha/src/test/ |
| H A D | test_guardfraction.c | 27 gen_vote_routerstatus_for_tests(const char *digest_in_hex, int is_guard) in gen_vote_routerstatus_for_tests() argument
40 rs->is_possible_guard = is_guard; in gen_vote_routerstatus_for_tests()
|
| /dports/security/tor-devel/tor-0.4.7.2-alpha/src/feature/nodelist/ |
| H A D | node_select.c | 711 int is_exit = 0, is_guard = 0, is_dir = 0, this_bw = 0; in compute_weighted_bandwidths() local
716 is_guard = node->is_possible_guard; in compute_weighted_bandwidths()
740 if (is_guard && is_exit) { in compute_weighted_bandwidths()
743 } else if (is_guard) { in compute_weighted_bandwidths()
|
| /dports/security/tor/tor-0.4.6.8/src/feature/nodelist/ |
| H A D | node_select.c | 711 int is_exit = 0, is_guard = 0, is_dir = 0, this_bw = 0; in compute_weighted_bandwidths() local
716 is_guard = node->is_possible_guard; in compute_weighted_bandwidths()
740 if (is_guard && is_exit) { in compute_weighted_bandwidths()
743 } else if (is_guard) { in compute_weighted_bandwidths()
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/ |
| H A D | recfun_decl_plugin.h | 343 bool is_guard() const { return m_guard != nullptr; } in is_guard() function
351 expr* guard() const { SASSERT(is_guard()); return m_guard; } in guard()
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/erts/emulator/beam/ |
| H A D | erl_db_util.c | 366 int is_guard; /* 1 if in guard, 0 if in body */ member
1841 context.is_guard = 1; in db_match_compile()
1848 context.is_guard = 0; in db_match_compile()
4034 if (!context->is_guard) { in dmc_add_pushv_variant()
4280 if (context->is_guard) { in dmc_message()
4339 if (context->is_guard) { in dmc_return_trace()
4369 if (context->is_guard) { in dmc_exception_trace()
4402 if (context->is_guard && !allow_in_guard) { in check_trace()
4521 if (context->is_guard) { in dmc_display()
5009 if (!(context->is_guard)) { in compile_guard_expr()
[all …]
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/erts/emulator/beam/ |
| H A D | erl_db_util.c | 364 int is_guard; /* 1 if in guard, 0 if in body */ member
1839 context.is_guard = 1; in db_match_compile()
1846 context.is_guard = 0; in db_match_compile()
4133 if (!context->is_guard) { in dmc_add_pushv_variant()
4375 if (context->is_guard) { in dmc_message()
4432 if (context->is_guard) { in dmc_return_trace()
4461 if (context->is_guard) { in dmc_exception_trace()
4494 if (context->is_guard && !allow_in_guard) { in check_trace()
4609 if (context->is_guard) { in dmc_display()
5094 if (!(context->is_guard)) { in compile_guard_expr()
[all …]
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/erts/emulator/beam/ |
| H A D | erl_db_util.c | 347 int is_guard; /* 1 if in guard, 0 if in body */ member
1807 context.is_guard = 1; in db_match_compile()
1814 context.is_guard = 0; in db_match_compile()
3965 if (!context->is_guard) { in dmc_add_pushv_variant()
4211 if (context->is_guard) { in dmc_message()
4270 if (context->is_guard) { in dmc_return_trace()
4300 if (context->is_guard) { in dmc_exception_trace()
4333 if (context->is_guard && !allow_in_guard) { in check_trace()
4452 if (context->is_guard) { in dmc_display()
4935 if (!(context->is_guard)) { in compile_guard_expr()
[all …]
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/erts/emulator/beam/ |
| H A D | erl_db_util.c | 364 int is_guard; /* 1 if in guard, 0 if in body */ member
1839 context.is_guard = 1; in db_match_compile()
1846 context.is_guard = 0; in db_match_compile()
4133 if (!context->is_guard) { in dmc_add_pushv_variant()
4375 if (context->is_guard) { in dmc_message()
4432 if (context->is_guard) { in dmc_return_trace()
4461 if (context->is_guard) { in dmc_exception_trace()
4494 if (context->is_guard && !allow_in_guard) { in check_trace()
4609 if (context->is_guard) { in dmc_display()
5094 if (!(context->is_guard)) { in compile_guard_expr()
[all …]
|
| /dports/lang/erlang/otp-OTP-24.1.7/erts/emulator/beam/ |
| H A D | erl_db_util.c | 364 int is_guard; /* 1 if in guard, 0 if in body */ member
1839 context.is_guard = 1; in db_match_compile()
1846 context.is_guard = 0; in db_match_compile()
4133 if (!context->is_guard) { in dmc_add_pushv_variant()
4375 if (context->is_guard) { in dmc_message()
4432 if (context->is_guard) { in dmc_return_trace()
4461 if (context->is_guard) { in dmc_exception_trace()
4494 if (context->is_guard && !allow_in_guard) { in check_trace()
4609 if (context->is_guard) { in dmc_display()
5094 if (!(context->is_guard)) { in compile_guard_expr()
[all …]
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/erts/emulator/beam/ |
| H A D | erl_db_util.c | 347 int is_guard; /* 1 if in guard, 0 if in body */ member
1786 context.is_guard = 1; in db_match_compile()
1793 context.is_guard = 0; in db_match_compile()
3957 if (!context->is_guard) { in dmc_add_pushv_variant()
4203 if (context->is_guard) { in dmc_message()
4262 if (context->is_guard) { in dmc_return_trace()
4292 if (context->is_guard) { in dmc_exception_trace()
4325 if (context->is_guard && !allow_in_guard) { in check_trace()
4444 if (context->is_guard) { in dmc_display()
4927 if (!(context->is_guard)) { in compile_guard_expr()
[all …]
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/erts/emulator/beam/ |
| H A D | erl_db_util.c | 364 int is_guard; /* 1 if in guard, 0 if in body */ member
1839 context.is_guard = 1; in db_match_compile()
1846 context.is_guard = 0; in db_match_compile()
4133 if (!context->is_guard) { in dmc_add_pushv_variant()
4375 if (context->is_guard) { in dmc_message()
4432 if (context->is_guard) { in dmc_return_trace()
4461 if (context->is_guard) { in dmc_exception_trace()
4494 if (context->is_guard && !allow_in_guard) { in check_trace()
4609 if (context->is_guard) { in dmc_display()
5094 if (!(context->is_guard)) { in compile_guard_expr()
[all …]
|
| /dports/security/tor-devel/tor-0.4.7.2-alpha/src/feature/dirauth/ |
| H A D | dirvote.c | 1338 int is_exit, int is_guard, in update_total_bandwidth_weights() argument
1375 tor_assert(is_guard); in update_total_bandwidth_weights()
1392 if (is_exit && is_guard) { in update_total_bandwidth_weights()
1403 } else if (is_guard) { in update_total_bandwidth_weights()
1945 int is_guard = 0, is_exit = 0, is_bad_exit = 0, is_middle_only = 0; in networkstatus_compute_consensus() local
2092 is_guard = 1; in networkstatus_compute_consensus()
2123 is_exit = is_guard = 0; in networkstatus_compute_consensus()
2149 if (is_guard && num_guardfraction_inputs > 2) { in networkstatus_compute_consensus()
2180 is_exit, is_guard, in networkstatus_compute_consensus()
|
| /dports/security/tor/tor-0.4.6.8/src/feature/dirauth/ |
| H A D | dirvote.c | 1338 int is_exit, int is_guard, in update_total_bandwidth_weights() argument
1375 tor_assert(is_guard); in update_total_bandwidth_weights()
1392 if (is_exit && is_guard) { in update_total_bandwidth_weights()
1403 } else if (is_guard) { in update_total_bandwidth_weights()
1927 int is_guard = 0, is_exit = 0, is_bad_exit = 0; in networkstatus_compute_consensus() local
2075 is_guard = 1; in networkstatus_compute_consensus()
2114 if (is_guard && num_guardfraction_inputs > 2) { in networkstatus_compute_consensus()
2145 is_exit, is_guard, in networkstatus_compute_consensus()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
| H A D | recfun_solver.cpp | 218 if (p.is_guard()) in unit_propagate()
|
| /dports/devel/spin/Spin-version-6.5.0/Src/ |
| H A D | pangen6.c | 2069 is_guard(FSM_state *f) in is_guard() function
2087 if (is_guard(g)) in is_guard()
2139 f->from, i, isrel, blocking, haselse, is_guard(f)); in curtail()
2144 { if (!is_guard(f)) in curtail()
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | theory_recfun.cpp | 142 if (p.is_guard()) in propagate()
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/tools/src/ |
| H A D | cover.erl | 126 is_guard=false % boolean
1752 {MungedGuards, _Vars} = munge_exprs(Guards, Vars#vars{is_guard=true},[]),
2075 munge_exprs([Expr|Exprs], Vars, MungedExprs) when Vars#vars.is_guard=:=true,
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/tools/src/ |
| H A D | cover.erl | 152 is_guard=false % boolean
1768 {MungedGuards, _Vars} = munge_exprs(Guards, Vars#vars{is_guard=true},[]),
2072 munge_exprs([Expr|Exprs], Vars, MungedExprs) when Vars#vars.is_guard=:=true,
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/tools/src/ |
| H A D | cover.erl | 152 is_guard=false % boolean
1770 {MungedGuards, _Vars} = munge_exprs(Guards, Vars#vars{is_guard=true},[]),
2074 munge_exprs([Expr|Exprs], Vars, MungedExprs) when Vars#vars.is_guard=:=true,
|