/dports/math/py-cryptominisat/cryptominisat-5.8.0/tests/ |
H A D | distill_long_with_implicit_test.cpp | 58 s->new_vars(4); in TEST_F() 68 s->new_vars(5); in TEST_F() 79 s->new_vars(5); in TEST_F() 92 s->new_vars(5); in TEST_F() 102 s->new_vars(5); in TEST_F() 114 s->new_vars(5); in TEST_F() 124 s->new_vars(5); in TEST_F() 134 s->new_vars(5); in TEST_F()
|
H A D | distiller_all_with_all_test.cpp | 57 s->new_vars(4); in TEST_F() 67 s->new_vars(5); in TEST_F() 78 s->new_vars(4); in TEST_F() 89 s->new_vars(5); in TEST_F() 100 s->new_vars(5); in TEST_F() 110 s->new_vars(5); in TEST_F() 120 s->new_vars(5); in TEST_F()
|
H A D | basic_test.cpp | 101 s.new_vars(2); in TEST() 117 s->new_vars(2); in TEST() 137 s->new_vars(2); in TEST() 165 s->new_vars(2); in TEST() 460 s.new_vars(3); in TEST() 472 s.new_vars(3); in TEST() 485 s.new_vars(3); in TEST() 510 s.new_vars(3); in TEST() 523 s.new_vars(3); in TEST() 536 s.new_vars(3); in TEST() [all …]
|
H A D | scc_test.cpp | 40 s.new_vars(2); in TEST() 55 s.new_vars(4); in TEST() 73 s.new_vars(4); in TEST() 89 s.new_vars(6); in TEST() 109 s.new_vars(2); in TEST() 125 s.new_vars(4); in TEST() 143 s.new_vars(4); in TEST() 160 s.new_vars(4); in TEST() 177 s.new_vars(4); in TEST()
|
H A D | stp_test.cpp | 34 s.new_vars(4); in add_clauses_for_simp_check() 75 s.new_vars(2); in TEST() 89 s.new_vars(2); in TEST() 103 s.new_vars(4); in TEST() 117 s.new_vars(4); in TEST()
|
H A D | dump_test.cpp | 81 s.new_vars(2); in TEST_F() 95 s.new_vars(4); in TEST_F() 110 s.new_vars(4); in TEST_F() 124 s.new_vars(4); in TEST_F() 138 s.new_vars(4); in TEST_F() 152 s.new_vars(4); in TEST_F()
|
H A D | subsume_impl_test.cpp | 56 s->new_vars(7); in TEST_F() 66 s->new_vars(7); in TEST_F() 78 s->new_vars(7); in TEST_F() 92 s->new_vars(7); in TEST_F()
|
H A D | solver_test.cpp | 53 s->new_vars(30); in TEST_F() 74 s->new_vars(30); in TEST_F() 102 s->new_vars(30); in TEST_F() 129 s->new_vars(30); in TEST_F() 167 s->new_vars(30); in TEST_F() 189 s->new_vars(30); in TEST_F() 210 s->new_vars(30); in TEST_F()
|
/dports/math/cryptominisat/cryptominisat-5.8.0/tests/ |
H A D | distill_long_with_implicit_test.cpp | 58 s->new_vars(4); in TEST_F() 68 s->new_vars(5); in TEST_F() 79 s->new_vars(5); in TEST_F() 92 s->new_vars(5); in TEST_F() 102 s->new_vars(5); in TEST_F() 114 s->new_vars(5); in TEST_F() 124 s->new_vars(5); in TEST_F() 134 s->new_vars(5); in TEST_F()
|
H A D | distiller_all_with_all_test.cpp | 57 s->new_vars(4); in TEST_F() 67 s->new_vars(5); in TEST_F() 78 s->new_vars(4); in TEST_F() 89 s->new_vars(5); in TEST_F() 100 s->new_vars(5); in TEST_F() 110 s->new_vars(5); in TEST_F() 120 s->new_vars(5); in TEST_F()
|
H A D | basic_test.cpp | 101 s.new_vars(2); in TEST() 117 s->new_vars(2); in TEST() 137 s->new_vars(2); in TEST() 165 s->new_vars(2); in TEST() 460 s.new_vars(3); in TEST() 472 s.new_vars(3); in TEST() 485 s.new_vars(3); in TEST() 510 s.new_vars(3); in TEST() 523 s.new_vars(3); in TEST() 536 s.new_vars(3); in TEST() [all …]
|
H A D | scc_test.cpp | 40 s.new_vars(2); in TEST() 55 s.new_vars(4); in TEST() 73 s.new_vars(4); in TEST() 89 s.new_vars(6); in TEST() 109 s.new_vars(2); in TEST() 125 s.new_vars(4); in TEST() 143 s.new_vars(4); in TEST() 160 s.new_vars(4); in TEST() 177 s.new_vars(4); in TEST()
|
H A D | stp_test.cpp | 34 s.new_vars(4); in add_clauses_for_simp_check() 75 s.new_vars(2); in TEST() 89 s.new_vars(2); in TEST() 103 s.new_vars(4); in TEST() 117 s.new_vars(4); in TEST()
|
H A D | dump_test.cpp | 81 s.new_vars(2); in TEST_F() 95 s.new_vars(4); in TEST_F() 110 s.new_vars(4); in TEST_F() 124 s.new_vars(4); in TEST_F() 138 s.new_vars(4); in TEST_F() 152 s.new_vars(4); in TEST_F()
|
H A D | subsume_impl_test.cpp | 56 s->new_vars(7); in TEST_F() 66 s->new_vars(7); in TEST_F() 78 s->new_vars(7); in TEST_F() 92 s->new_vars(7); in TEST_F()
|
/dports/devel/jsonnet/jsonnet-0.17.0/core/ |
H A D | static_analysis.cpp | 85 auto new_vars = vars; in static_analysis() local 93 new_vars.insert(p.id); in static_analysis() 96 auto fv = static_analysis(ast->body, in_object, new_vars); in static_analysis() 99 append(fv, static_analysis(p.expr, in_object, new_vars)); in static_analysis() 133 auto new_vars = vars; in static_analysis() local 134 append(new_vars, ast_vars); in static_analysis() 140 append(fvs, static_analysis(ast->body, in_object, new_vars)); in static_analysis() 177 auto new_vars = vars; in static_analysis() local 178 new_vars.insert(ast->id); in static_analysis() 179 append(r, static_analysis(ast->field, false, new_vars)); in static_analysis() [all …]
|
/dports/devel/py-jsonnet/jsonnet-0.17.0/core/ |
H A D | static_analysis.cpp | 85 auto new_vars = vars; in static_analysis() local 93 new_vars.insert(p.id); in static_analysis() 96 auto fv = static_analysis(ast->body, in_object, new_vars); in static_analysis() 99 append(fv, static_analysis(p.expr, in_object, new_vars)); in static_analysis() 133 auto new_vars = vars; in static_analysis() local 134 append(new_vars, ast_vars); in static_analysis() 140 append(fvs, static_analysis(ast->body, in_object, new_vars)); in static_analysis() 177 auto new_vars = vars; in static_analysis() local 178 new_vars.insert(ast->id); in static_analysis() 179 append(r, static_analysis(ast->field, false, new_vars)); in static_analysis() [all …]
|
/dports/devel/bugzilla44/bugzilla-4.4.13/Bugzilla/Install/ |
H A D | Localconfig.pm | 199 my @new_vars; 220 push(@new_vars, $name); 268 if (@new_vars) { 269 my $newstuff = join(', ', @new_vars); 272 new_vars => wrap_hard($newstuff, 70) }), 280 return { old_vars => \@old_vars, new_vars => \@new_vars };
|
/dports/devel/bugzilla50/bugzilla-5.0.4/Bugzilla/Install/ |
H A D | Localconfig.pm | 213 my @new_vars; 234 push(@new_vars, $name); 282 if (@new_vars) { 283 my $newstuff = join(', ', @new_vars); 286 new_vars => wrap_hard($newstuff, 70) }), 294 return { old_vars => \@old_vars, new_vars => \@new_vars };
|
/dports/misc/orange3/orange3-3.29.1/Orange/preprocess/ |
H A D | continuize.py | 44 new_vars = [] 60 new_vars.append(new_var) 61 return new_vars 65 new_vars = [] 68 new_vars += transform_discrete(var) 74 new_vars.append(new_var) 77 return new_vars
|
/dports/devel/py-invoke/invoke-1.6.0/invoke/ |
H A D | env.py | 60 new_vars = {} 69 merged_vars = dict(env_vars, **new_vars) 74 if key in new_vars: 78 new_vars.update(crawled) 81 new_vars[self._to_env_var(key_path)] = key_path 82 return new_vars
|
/dports/databases/arrow/apache-arrow-6.0.1/r/R/ |
H A D | dplyr-mutate.R | 79 new_vars <- names(exprs) functionVar 82 for (new_var in new_vars) { 87 new_vars <- intersect(new_vars, names(.data$selected_columns)) 91 new <- setdiff(new_vars, old_vars) 97 .data$selected_columns <- .data$selected_columns[new_vars]
|
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/lib/gitlab/ci/variables/ |
H A D | helpers.rb | 8 def merge_variables(current_vars, new_vars) argument 10 new_vars = transform_from_yaml_variables(new_vars) 13 current_vars.merge(new_vars)
|
/dports/math/symphony/SYMPHONY-releases-5.6.17/SYMPHONY/src/LP/ |
H A D | lp_varfunc.c | 39 int new_vars = new_cols->num_vars; in add_col_set() local 66 if (new_vars){ in add_col_set() 101 if (! new_vars) in add_col_set() 121 oldn = lp_data->n - new_vars; in add_col_set() 614 nfix = new_vars; in price_all_vars() 623 new_cols->lb[new_vars] = lb; in price_all_vars() 624 new_cols->ub[new_vars] = ub; in price_all_vars() 625 new_cols->matbeg[new_vars + 1] = new_cols->matbeg[new_vars]+collen; in price_all_vars() 647 new_cols->num_vars = new_vars; in price_all_vars() 655 new_vars + rel_ub + rel_lb)); in price_all_vars() [all …]
|
/dports/shells/zsh/zsh-5.8.1/Src/ |
H A D | prompt.c | 203 memset(&new_vars, 0, sizeof(new_vars)); in promptexpand() 204 new_vars.last = bv; in promptexpand() 205 bv = &new_vars; in promptexpand() 209 new_vars.fm = s; in promptexpand() 211 new_vars.bp = new_vars.bufline = new_vars.buf = zshcalloc(new_vars.bufspc); in promptexpand() 222 for (new_vars.bp = new_vars.buf; *new_vars.bp; ) { in promptexpand() 224 new_vars.bp += 2; in promptexpand() 225 else if (*new_vars.bp == Inpar || *new_vars.bp == Outpar || in promptexpand() 227 chuck(new_vars.bp); in promptexpand() 229 new_vars.bp++; in promptexpand() [all …]
|