Home
last modified time | relevance | path

Searched refs:new_vars (Results 1 – 25 of 419) sorted by relevance

12345678910>>...17

/dports/math/py-cryptominisat/cryptominisat-5.8.0/tests/
H A Ddistill_long_with_implicit_test.cpp58 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 Ddistiller_all_with_all_test.cpp57 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 Dbasic_test.cpp101 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 Dscc_test.cpp40 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 Dstp_test.cpp34 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 Ddump_test.cpp81 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 Dsubsume_impl_test.cpp56 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 Dsolver_test.cpp53 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 Ddistill_long_with_implicit_test.cpp58 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 Ddistiller_all_with_all_test.cpp57 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 Dbasic_test.cpp101 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 Dscc_test.cpp40 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 Dstp_test.cpp34 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 Ddump_test.cpp81 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 Dsubsume_impl_test.cpp56 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 Dstatic_analysis.cpp85 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 Dstatic_analysis.cpp85 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 DLocalconfig.pm199 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 DLocalconfig.pm213 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 Dcontinuize.py44 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 Denv.py60 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 Ddplyr-mutate.R79 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 Dhelpers.rb8 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 Dlp_varfunc.c39 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 Dprompt.c203 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 …]

12345678910>>...17