| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | ast_counter.cpp | 92 unsigned var_counter::get_max_var(bool& has_var) { in get_max_var() argument
93 has_var = false; in get_max_var()
110 has_var = true; in get_max_var()
138 has_var = has_var || has_var1; in get_max_var()
147 bool has_var = false; in get_max_var() local
149 return get_max_var(has_var); in get_max_var()
153 bool has_var = false; in get_next_var() local
155 unsigned mv = get_max_var(has_var); in get_next_var()
156 if (has_var) mv++; in get_next_var()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | ast_counter.cpp | 92 unsigned var_counter::get_max_var(bool& has_var) { in get_max_var() argument
93 has_var = false; in get_max_var()
110 has_var = true; in get_max_var()
138 has_var = has_var || has_var1; in get_max_var()
147 bool has_var = false; in get_max_var() local
149 return get_max_var(has_var); in get_max_var()
153 bool has_var = false; in get_next_var() local
155 unsigned mv = get_max_var(has_var); in get_next_var()
156 if (has_var) mv++; in get_next_var()
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/mbp/ |
| H A D | mbp_datatypes.cpp | 197 expr_mark has_var; in lift_foreign() local
203 has_var.mark(v); in lift_foreign()
209 if (m.is_eq(e, l, r) && reduce_eq(visited, has_var, l, r, lits)) { in lift_foreign()
219 … bool reduce_eq(expr_mark& has_var, expr_mark& visited, expr* l, expr* r, expr_ref_vector& lits) { in reduce_eq()
224 if (dt.is_constructor(to_app(r)) && contains_foreign(has_var, visited, r)) { in reduce_eq()
228 reduce |= dt.is_constructor(to_app(l)) && contains_foreign(has_var, visited, l); in reduce_eq()
246 bool contains_foreign(expr_mark& has_var, expr_mark& visited, expr* e) { in contains_foreign()
267 has_v |= has_var.is_marked(arg); in contains_foreign()
275 has_var.mark(f); in contains_foreign()
280 … TRACE("qe", tout << "contains: " << mk_pp(e, m) << " " << has_var.is_marked(e) << "\n";); in contains_foreign()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/mbp/ |
| H A D | mbp_datatypes.cpp | 197 expr_mark has_var; in lift_foreign() local
203 has_var.mark(v); in lift_foreign()
209 if (m.is_eq(e, l, r) && reduce_eq(visited, has_var, l, r, lits)) { in lift_foreign()
219 … bool reduce_eq(expr_mark& has_var, expr_mark& visited, expr* l, expr* r, expr_ref_vector& lits) { in reduce_eq()
224 if (dt.is_constructor(to_app(r)) && contains_foreign(has_var, visited, r)) { in reduce_eq()
228 reduce |= dt.is_constructor(to_app(l)) && contains_foreign(has_var, visited, l); in reduce_eq()
246 bool contains_foreign(expr_mark& has_var, expr_mark& visited, expr* e) { in contains_foreign()
267 has_v |= has_var.is_marked(arg); in contains_foreign()
275 has_var.mark(f); in contains_foreign()
280 … TRACE("qe", tout << "contains: " << mk_pp(e, m) << " " << has_var.is_marked(e) << "\n";); in contains_foreign()
[all …]
|
| /dports/math/py-pystan/pystan-2.19.0.0/pystan/stan/src/stan/lang/generator/ |
| H A D | generate_real_var_type.hpp | 20 bool has_var, in generate_real_var_type() argument
22 if (var_scope.fun() || has_var) in generate_real_var_type()
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/r9c_SUITE_data/src/mnesia/ |
| H A D | mnesia_frag_hash.erl | 105 case has_var(KeyPat) of
117 has_var(Pat) -> function
118 mnesia:has_var(Pat).
|
| H A D | mnesia_frag_old_hash.erl | 116 case has_var(KeyPat) of
126 has_var(Pat) -> function
127 mnesia:has_var(Pat).
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/test/r9c_SUITE_data/src/mnesia/ |
| H A D | mnesia_frag_hash.erl | 105 case has_var(KeyPat) of
117 has_var(Pat) -> function
118 mnesia:has_var(Pat).
|
| H A D | mnesia_frag_old_hash.erl | 116 case has_var(KeyPat) of
126 has_var(Pat) -> function
127 mnesia:has_var(Pat).
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/r9c_SUITE_data/src/mnesia/ |
| H A D | mnesia_frag_hash.erl | 105 case has_var(KeyPat) of
117 has_var(Pat) -> function
118 mnesia:has_var(Pat).
|
| H A D | mnesia_frag_old_hash.erl | 116 case has_var(KeyPat) of
126 has_var(Pat) -> function
127 mnesia:has_var(Pat).
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/r9c_SUITE_data/src/mnesia/ |
| H A D | mnesia_frag_hash.erl | 105 case has_var(KeyPat) of
117 has_var(Pat) -> function
118 mnesia:has_var(Pat).
|
| H A D | mnesia_frag_old_hash.erl | 116 case has_var(KeyPat) of
126 has_var(Pat) -> function
127 mnesia:has_var(Pat).
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/test/r9c_SUITE_data/src/mnesia/ |
| H A D | mnesia_frag_hash.erl | 105 case has_var(KeyPat) of
117 has_var(Pat) -> function
118 mnesia:has_var(Pat).
|
| H A D | mnesia_frag_old_hash.erl | 116 case has_var(KeyPat) of
126 has_var(Pat) -> function
127 mnesia:has_var(Pat).
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/r9c_SUITE_data/src/mnesia/ |
| H A D | mnesia_frag_hash.erl | 105 case has_var(KeyPat) of
117 has_var(Pat) -> function
118 mnesia:has_var(Pat).
|
| H A D | mnesia_frag_old_hash.erl | 116 case has_var(KeyPat) of
126 has_var(Pat) -> function
127 mnesia:has_var(Pat).
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/test/r9c_SUITE_data/src/mnesia/ |
| H A D | mnesia_frag_hash.erl | 105 case has_var(KeyPat) of
117 has_var(Pat) -> function
118 mnesia:has_var(Pat).
|
| H A D | mnesia_frag_old_hash.erl | 116 case has_var(KeyPat) of
126 has_var(Pat) -> function
127 mnesia:has_var(Pat).
|
| /dports/devel/p5-Regexp-Grammars/Regexp-Grammars-1.057/t/ |
| H A D | pseudovars.t | 10 sub has_var {
21 ok( has_var($varname), "Has $varname" );
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/mnesia/src/ |
| H A D | mnesia_frag_hash.erl | 131 case has_var(KeyPat) of
149 has_var(Pat) -> function
150 mnesia:has_var(Pat).
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/mnesia/src/ |
| H A D | mnesia_frag_hash.erl | 131 case has_var(KeyPat) of
149 has_var(Pat) -> function
150 mnesia:has_var(Pat).
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/mnesia/src/ |
| H A D | mnesia_frag_hash.erl | 132 case has_var(KeyPat) of
150 has_var(Pat) -> function
151 mnesia:has_var(Pat).
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/mnesia/src/ |
| H A D | mnesia_frag_hash.erl | 132 case has_var(KeyPat) of
150 has_var(Pat) -> function
151 mnesia:has_var(Pat).
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/mnesia/src/ |
| H A D | mnesia_frag_hash.erl | 132 case has_var(KeyPat) of
150 has_var(Pat) -> function
151 mnesia:has_var(Pat).
|