/dports/math/py-or-tools/or-tools-9.2/ortools/constraint_solver/ |
H A D | table.cc | 215 for (int var_index = 0; var_index < arity_; ++var_index) { in IsTupleSupported() local 279 for (int var_index = 0; var_index < arity_; ++var_index) { in InitialPropagate() local 290 for (int var_index = 0; var_index < arity_; ++var_index) { in InitialPropagate() local 306 for (int var_index = 0; var_index < arity_; ++var_index) { in Propagate() local 372 for (int var_index = 0; var_index < arity_; ++var_index) { in InitializeMask() local 377 for (int var_index = 0; var_index < arity_; ++var_index) { in InitializeMask() local 448 for (int var_index = 0; var_index < arity_; ++var_index) { in Propagate() local 665 for (int var_index = 0; var_index < arity_; ++var_index) { in RemoveUnsupportedValues() local 680 for (int var_index = 0; var_index < arity_; ++var_index) { in ComputeMasksBoundaries() local 708 for (int var_index = 0; var_index < arity_; ++var_index) { in BuildSupports() local [all …]
|
H A D | pack.cc | 81 void SetAssigned(int var_index) { pack_->SetAssigned(var_index); } in SetAssigned() argument 196 for (int var_index = 0; var_index < vars_.size(); ++var_index) { in InitialPropagate() local 458 while (var_index != -1 && var_index < vars_.size()) { in RemoveAllPossibleFromBin() 460 var_index = var_index == vars_.size() - 1 in RemoveAllPossibleFromBin() 468 while (var_index != -1 && var_index < vars_.size()) { in AssignAllPossibleToBin() 470 var_index = var_index == vars_.size() - 1 in AssignAllPossibleToBin() 478 if (var_index != -1 && var_index < vars_.size()) { in AssignFirstPossibleToBin() 485 while (var_index != -1 && var_index < vars_.size()) { in AssignAllRemainingItems() 487 var_index = var_index == vars_.size() - 1 in AssignAllRemainingItems() 495 while (var_index != -1 && var_index < vars_.size()) { in UnassignAllRemainingItems() [all …]
|
H A D | count_cst.cc | 388 for (int var_index = 0; var_index < var_size(); ++var_index) { in FastDistribute() local 400 for (int var_index = 0; var_index < var_size(); ++var_index) { in Post() local 425 for (int var_index = 0; var_index < var_size(); ++var_index) { in InitialPropagate() local 493 for (int var_index = 0; var_index < var_size(); ++var_index) { in CardMin() local 501 for (int var_index = 0; var_index < var_size(); ++var_index) { in CardMax() local 587 for (int var_index = 0; var_index < var_size(); ++var_index) { in BoundedDistribute() local 601 for (int var_index = 0; var_index < var_size(); ++var_index) { in Post() local 696 for (int var_index = 0; var_index < var_size(); ++var_index) { in CardMin() local 704 for (int var_index = 0; var_index < var_size(); ++var_index) { in CardMax() local 784 for (int var_index = 0; var_index < var_size(); ++var_index) { in BoundedFastDistribute() local [all …]
|
H A D | deviation.cc | 186 bool Overlap(int var_index) const { in Overlap() 188 scaled_vars_max_[var_index] > active_sum_; in Overlap() 339 for (int var_index = 0; var_index < size_; ++var_index) { in PruneVars() local 341 if (scaled_vars_max_[var_index] != scaled_vars_min_[var_index] && in PruneVars() 342 maximum_[var_index] < scaled_vars_max_[var_index]) { in PruneVars() 345 PruneBound(var_index, new_max, upper_bound); in PruneVars() 353 int64_t maximum_value = maximum_[var_index]; in ComputeNewMax() 356 if (overlaps_sup_[var_index] > 0 && in ComputeNewMax() 366 DCHECK_EQ(0, overlaps_sup_[var_index]); in ComputeNewMax() 387 vars_[var_index]->SetMax(bound); in PruneBound() [all …]
|
/dports/science/hypre/hypre-2.23.0/src/sstruct_ls/ |
H A D | maxwell_semi_interp.c | 2014 hypre_SubtractIndexes(var_index, kshift, 3, var_index); in hypre_Maxwell_PTopology() 2022 hypre_AddIndexes(var_index, jshift, 3, var_index); in hypre_Maxwell_PTopology() 2049 hypre_SubtractIndexes(var_index, kshift, 3, var_index); in hypre_Maxwell_PTopology() 2057 hypre_AddIndexes(var_index, ishift, 3, var_index); in hypre_Maxwell_PTopology() 2084 hypre_SubtractIndexes(var_index, ishift, 3, var_index); in hypre_Maxwell_PTopology() 2092 hypre_AddIndexes(var_index, jshift, 3, var_index); in hypre_Maxwell_PTopology() 3626 hypre_SubtractIndexes(var_index, jshift, 3, var_index); in hypre_Maxwell_PTopology() 3768 hypre_SubtractIndexes(var_index, kshift, 3, var_index); in hypre_Maxwell_PTopology() 3928 hypre_SubtractIndexes(var_index, ishift, 3, var_index); in hypre_Maxwell_PTopology() 4065 hypre_SubtractIndexes(var_index, kshift, 3, var_index); in hypre_Maxwell_PTopology() [all …]
|
H A D | maxwell_PNedelec.c | 1801 hypre_SubtractIndexes(var_index, jshift, 3, var_index); in hypre_Maxwell_PNedelec() 1901 hypre_SubtractIndexes(var_index, kshift, 3, var_index); in hypre_Maxwell_PNedelec() 2029 hypre_SubtractIndexes(var_index, ishift, 3, var_index); in hypre_Maxwell_PNedelec() 2127 hypre_SubtractIndexes(var_index, kshift, 3, var_index); in hypre_Maxwell_PNedelec() 2252 hypre_SubtractIndexes(var_index, jshift, 3, var_index); in hypre_Maxwell_PNedelec() 2349 hypre_SubtractIndexes(var_index, ishift, 3, var_index); in hypre_Maxwell_PNedelec() 2616 hypre_SubtractIndexes(var_index, kshift, 3, var_index); in hypre_Maxwell_PNedelec() 2626 hypre_AddIndexes(var_index, jshift, 3, var_index); in hypre_Maxwell_PNedelec() 2710 hypre_SubtractIndexes(var_index, kshift, 3, var_index); in hypre_Maxwell_PNedelec() 2720 hypre_AddIndexes(var_index, ishift, 3, var_index); in hypre_Maxwell_PNedelec() [all …]
|
/dports/math/py-or-tools/or-tools-9.2/ortools/linear_solver/ |
H A D | model_validator.cc | 91 if ((*var_mask)[var_index]) duplicate_var_index = var_index; in FindDuplicateVarIndex() 126 const int var_index = constraint.var_index(i); in FindErrorInMPConstraint() local 127 if (var_index >= num_vars_in_model || var_index < 0) { in FindErrorInMPConstraint() 178 const int var_index = indicator.var_index(); in FindErrorInMPIndicatorConstraint() local 179 if (var_index < 0 || var_index >= model.variable_size()) { in FindErrorInMPIndicatorConstraint() 209 for (const int var_index : sos.var_index()) { in FindErrorInMPSosConstraint() local 210 if (var_index < 0 || var_index >= model.variable_size()) { in FindErrorInMPSosConstraint() 295 if (abs.var_index() < 0 || abs.var_index() >= num_vars) { in FindErrorInMPAbsConstraint() 403 const int var_index = solution_hint.var_index(i); in FindErrorInSolutionHint() local 404 if (var_index >= num_vars || var_index < 0) { in FindErrorInSolutionHint() [all …]
|
H A D | model_exporter.cc | 383 const int var_index = ct_proto.var_index(i); in AppendConstraint() local 390 show_variable[var_index] = coeff != 0.0 || show_variable[var_index]; in AppendConstraint() 431 if (var_index < 0 || var_index >= proto_.variable_size()) { in WriteLpTerm() 552 for (int var_index = 0; var_index < proto_.variable_size(); ++var_index) { in ExportModelAsLpFormat() local 610 for (int var_index = 0; var_index < proto_.variable_size(); ++var_index) { in ExportModelAsLpFormat() local 638 for (int var_index = 0; var_index < proto_.variable_size(); ++var_index) { in ExportModelAsLpFormat() local 651 for (int var_index = 0; var_index < proto_.variable_size(); ++var_index) { in ExportModelAsLpFormat() local 714 for (int var_index = 0; var_index < proto_.variable_size(); ++var_index) { in AppendMpsColumns() local 790 const int var_index = ct_proto.var_index(k); in ExportModelAsMpsFormat() local 791 if (var_index < 0 || var_index >= proto_.variable_size()) { in ExportModelAsMpsFormat() [all …]
|
/dports/math/libmesh/libmesh-1.6.2/contrib/exodusii/5.22b/exodus/cbind/src/ |
H A D | ex_put_var.c | 166 ex_name_of_object(var_type), var_index,exoid); in ex_look_up_var() 220 int var_index, in ex_put_var() argument 266 status = ex_look_up_var(exoid, var_type, var_index, obj_id, in ex_put_var() 270 status = ex_look_up_var(exoid, var_type, var_index, obj_id, in ex_put_var() 274 status = ex_look_up_var(exoid, var_type, var_index, obj_id, in ex_put_var() 278 status = ex_look_up_var(exoid, var_type, var_index, obj_id, in ex_put_var() 282 status = ex_look_up_var(exoid, var_type, var_index, obj_id, in ex_put_var() 286 status = ex_look_up_var(exoid, var_type, var_index, obj_id, in ex_put_var() 290 status = ex_look_up_var(exoid, var_type, var_index, obj_id, in ex_put_var() 318 count[0] = var_index; in ex_put_var() [all …]
|
/dports/math/vtk9/VTK-9.1.0/ThirdParty/exodusII/vtkexodusII/src/ |
H A D | ex_put_partial_var.c | 12 static int ex__look_up_var(int exoid, ex_entity_type var_type, int var_index, ex_entity_id obj_id, in ex__look_up_var() argument 73 if ((status = nc_inq_varid(exoid, ex__name_var_of_object(var_type, var_index, obj_id_ndx), in ex__look_up_var() 108 if (obj_var_truth_tab[num_obj_var * (obj_id_ndx - 1) + var_index - 1] == 0L) { in ex__look_up_var() 142 ex_name_of_object(var_type), var_index, exoid); in ex__look_up_var() 184 int ex_put_partial_var(int exoid, int time_step, ex_entity_type var_type, int var_index, in ex_put_partial_var() argument 229 status = ex__look_up_var(exoid, var_type, var_index, obj_id, "", VAR_ASSEMBLY_TAB, in ex_put_partial_var() 249 status = ex__look_up_var(exoid, var_type, var_index, obj_id, VAR_NS_IDS, VAR_NSET_TAB, in ex_put_partial_var() 253 status = ex__look_up_var(exoid, var_type, var_index, obj_id, VAR_ES_IDS, VAR_ESET_TAB, in ex_put_partial_var() 257 status = ex__look_up_var(exoid, var_type, var_index, obj_id, VAR_FS_IDS, VAR_FSET_TAB, in ex_put_partial_var() 289 count[0] = var_index; in ex_put_partial_var() [all …]
|
H A D | ex_put_var.c | 12 static int ex__look_up_var(int exoid, ex_entity_type var_type, int var_index, ex_entity_id obj_id, in ex__look_up_var() argument 73 if ((status = nc_inq_varid(exoid, ex__name_var_of_object(var_type, var_index, obj_id_ndx), in ex__look_up_var() 108 if (obj_var_truth_tab[num_obj_var * (obj_id_ndx - 1) + var_index - 1] == 0L) { in ex__look_up_var() 142 ex_name_of_object(var_type), var_index, exoid); in ex__look_up_var() 234 int ex_put_var(int exoid, int time_step, ex_entity_type var_type, int var_index, in ex_put_var() argument 277 status = ex__look_up_var(exoid, var_type, var_index, obj_id, "", VAR_ASSEMBLY_TAB, in ex_put_var() 297 status = ex__look_up_var(exoid, var_type, var_index, obj_id, VAR_NS_IDS, VAR_NSET_TAB, in ex_put_var() 301 status = ex__look_up_var(exoid, var_type, var_index, obj_id, VAR_ES_IDS, VAR_ESET_TAB, in ex_put_var() 305 status = ex__look_up_var(exoid, var_type, var_index, obj_id, VAR_FS_IDS, VAR_FSET_TAB, in ex_put_var() 338 count[0] = var_index; in ex_put_var() [all …]
|
/dports/math/vtk8/VTK-8.2.0/ThirdParty/exodusII/vtkexodusII/src/ |
H A D | ex_put_var.c | 82 if ((status = nc_inq_varid(exoid, ex_name_var_of_object(var_type, var_index, obj_id_ndx), in ex_look_up_var() 117 if (obj_var_truth_tab[num_obj_var * (obj_id_ndx - 1) + var_index - 1] == 0L) { in ex_look_up_var() 151 ex_name_of_object(var_type), var_index, exoid); in ex_look_up_var() 162 ex_name_var_of_object(var_type, var_index, obj_id_ndx), exoid); in ex_look_up_var() 202 int ex_put_var(int exoid, int time_step, ex_entity_type var_type, int var_index, in ex_put_var() argument 270 status = ex_look_up_var(exoid, var_type, var_index, obj_id, VAR_NS_IDS, VAR_NSET_TAB, in ex_put_var() 274 status = ex_look_up_var(exoid, var_type, var_index, obj_id, VAR_ES_IDS, VAR_ESET_TAB, in ex_put_var() 278 status = ex_look_up_var(exoid, var_type, var_index, obj_id, VAR_FS_IDS, VAR_FSET_TAB, in ex_put_var() 282 status = ex_look_up_var(exoid, var_type, var_index, obj_id, VAR_SS_IDS, VAR_SSET_TAB, in ex_put_var() 311 count[0] = var_index; in ex_put_var() [all …]
|
/dports/chinese/bitchx/bitchx-1.2.1/source/ |
H A D | cset.c | 236 var_index = 0; in find_cset_variable() 454 for (var_index = 0; var_index < NUMBER_OF_CSETS; var_index++) in cset_variable_noargs() 469 for (var_index = 0; var_index < NUMBER_OF_CSETS; var_index++) in cset_variable_noargs() 713 var_index = 0; in find_wset_variable() 842 i = var_index; in wset_variable_case1() 865 for (cnt +=var_index; var_index < cnt; var_index++) in wset_variable_casedef() 872 i = var_index; in wset_variable_casedef() 893 int var_index = 0; in wset_variable_noargs() local 896 for (var_index = 0; var_index < NUMBER_OF_WSETS; var_index++) in wset_variable_noargs() 906 for (var_index = 0; var_index < NUMBER_OF_WSETS; var_index++) in wset_variable_noargs() [all …]
|
/dports/irc/bitchx/bitchx-1.2.1/source/ |
H A D | cset.c | 236 var_index = 0; in find_cset_variable() 454 for (var_index = 0; var_index < NUMBER_OF_CSETS; var_index++) in cset_variable_noargs() 469 for (var_index = 0; var_index < NUMBER_OF_CSETS; var_index++) in cset_variable_noargs() 713 var_index = 0; in find_wset_variable() 842 i = var_index; in wset_variable_case1() 865 for (cnt +=var_index; var_index < cnt; var_index++) in wset_variable_casedef() 872 i = var_index; in wset_variable_casedef() 893 int var_index = 0; in wset_variable_noargs() local 896 for (var_index = 0; var_index < NUMBER_OF_WSETS; var_index++) in wset_variable_noargs() 906 for (var_index = 0; var_index < NUMBER_OF_WSETS; var_index++) in wset_variable_noargs() [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
H A D | lar_solver.h | 134 var_index add_term_undecided(const vector<std::pair<mpq, var_index>> & coeffs); 283 var_index to_column(unsigned ext_j) const; 392 var_index add_term(const vector<std::pair<mpq, var_index>> & coeffs, unsigned ext_i); 395 …constraint_index add_var_bound_check_on_equal(var_index, lconstraint_kind, const mpq &, var_index&… 400 inline var_index local_to_external(var_index idx) const { in local_to_external() 406 bool var_is_registered(var_index vj) const; 511 bool has_value(var_index var, mpq& value) const; 540 std::string get_variable_name(var_index vi) const; 628 bool var_is_int(var_index v) const; 654 var_index external_to_local(unsigned j) const { in external_to_local() [all …]
|
H A D | monic.h | 24 lp::var_index m_v; 25 svector<lp::var_index> m_vs; 28 mon_eq(lp::var_index v, unsigned sz, lp::var_index const* vs): in mon_eq() 32 mon_eq(lp::var_index v, const svector<lp::var_index> &vs): in mon_eq() 40 const svector<lp::var_index>& vars() const { return m_vs; } in vars() 52 svector<lp::var_index>& vars1() { return m_vs; } in vars1()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
H A D | lar_solver.h | 132 var_index add_term_undecided(const vector<std::pair<mpq, var_index>> & coeffs); 281 var_index to_column(unsigned ext_j) const; 391 var_index add_term(const vector<std::pair<mpq, var_index>> & coeffs, unsigned ext_i); 394 …constraint_index add_var_bound_check_on_equal(var_index, lconstraint_kind, const mpq &, var_index&… 399 inline var_index local_to_external(var_index idx) const { in local_to_external() 405 bool var_is_registered(var_index vj) const; 510 bool has_value(var_index var, mpq& value) const; 534 std::string get_variable_name(var_index vi) const; 620 bool var_is_int(var_index v) const; 646 var_index external_to_local(unsigned j) const { in external_to_local() [all …]
|
/dports/science/dakota/dakota-6.13.0-release-public.src-UI/src/ |
H A D | PluginParallelDirectApplicInterface.cpp | 156 size_t var_index = directFnDVV[i] - 1; in text_book() local 157 fn_grads[0][i] = 4.*std::pow(c_vars[var_index]-POW_VAL,3); in text_book() 180 size_t var_index = directFnDVV[i] - 1; in text_book() local 236 int var_index = directFnDVV[i] - 1; // assumes no discrete vars in text_book() local 237 if (var_index == 0) in text_book() 239 else if (var_index == 1) in text_book() 262 int var_index = directFnDVV[i] - 1; // assumes no discrete vars in text_book() local 263 if (var_index == 0) in text_book() 320 if (var_index == 0) in text_book() 322 else if (var_index == 1) in text_book() [all …]
|
/dports/www/geckodriver/mozilla-central-e9783a644016aa9b317887076618425586730d73/testing/geckodriver/cargo-crates/cranelift-codegen-meta-0.44.0/src/cdsl/ |
H A D | xform.rs | 70 for &var_index in &input_vars { in new() 72 var_pool.get(var_index).is_input(), in new() 103 .filter(|&&var_index| !var_pool.get(var_index).is_temp()), in new() 105 .map(|&var_index| var_pool.get(var_index).get_typevar()) in new() 120 let var = var_pool.get_mut(var_index); in new() 137 for &var_index in def.defined_vars.iter() { in verify_legalize() 138 let defined_var = self.var_pool.get(var_index); in verify_legalize() 150 fn var_index( in var_index() function 274 let var_index = *symbol_table in rewrite_def_list() localVariable 283 var_pool.get_mut(var_index).set_def(position, def_index); in rewrite_def_list() [all …]
|
/dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/wasmtime/cranelift/codegen/meta/src/cdsl/ |
H A D | xform.rs | 74 for &var_index in &input_vars { in new() 76 var_pool.get(var_index).is_input(), in new() 107 .filter(|&&var_index| !var_pool.get(var_index).is_temp()), in new() 109 .map(|&var_index| var_pool.get(var_index).get_typevar()) in new() 124 let var = var_pool.get_mut(var_index); in new() 142 for &var_index in def.defined_vars.iter() { in verify_legalize() 143 let defined_var = self.var_pool.get(var_index); in verify_legalize() 155 fn var_index( in var_index() function 292 let var_index = *symbol_table in rewrite_def_list() localVariable 301 var_pool.get_mut(var_index).set_def(position, def_index); in rewrite_def_list() [all …]
|
/dports/www/firefox/firefox-99.0/third_party/rust/cranelift-codegen-meta/src/cdsl/ |
H A D | xform.rs | 74 for &var_index in &input_vars { in new() 76 var_pool.get(var_index).is_input(), in new() 78 var_pool.get(var_index) in new() 106 .filter(|&&var_index| !var_pool.get(var_index).is_temp()), in new() 108 .map(|&var_index| var_pool.get(var_index).get_typevar()) in new() 123 let var = var_pool.get_mut(var_index); in new() 141 for &var_index in def.defined_vars.iter() { in verify_legalize() 142 let defined_var = self.var_pool.get(var_index); in verify_legalize() 155 fn var_index( in var_index() function 293 let var_index = *symbol_table in rewrite_def_list() localVariable [all …]
|
/dports/mail/thunderbird/thunderbird-91.8.0/third_party/rust/cranelift-codegen-meta/src/cdsl/ |
H A D | xform.rs | 74 for &var_index in &input_vars { in new() 76 var_pool.get(var_index).is_input(), in new() 78 var_pool.get(var_index) in new() 106 .filter(|&&var_index| !var_pool.get(var_index).is_temp()), in new() 108 .map(|&var_index| var_pool.get(var_index).get_typevar()) in new() 123 let var = var_pool.get_mut(var_index); in new() 141 for &var_index in def.defined_vars.iter() { in verify_legalize() 142 let defined_var = self.var_pool.get(var_index); in verify_legalize() 155 fn var_index( in var_index() function 293 let var_index = *symbol_table in rewrite_def_list() localVariable [all …]
|
/dports/lang/rust/rustc-1.58.1-src/vendor/cranelift-codegen-meta/src/cdsl/ |
H A D | xform.rs | 74 for &var_index in &input_vars { in new() 76 var_pool.get(var_index).is_input(), in new() 78 var_pool.get(var_index) in new() 106 .filter(|&&var_index| !var_pool.get(var_index).is_temp()), in new() 108 .map(|&var_index| var_pool.get(var_index).get_typevar()) in new() 123 let var = var_pool.get_mut(var_index); in new() 141 for &var_index in def.defined_vars.iter() { in verify_legalize() 142 let defined_var = self.var_pool.get(var_index); in verify_legalize() 155 fn var_index( in var_index() function 293 let var_index = *symbol_table in rewrite_def_list() localVariable [all …]
|
/dports/www/firefox-esr/firefox-91.8.0/third_party/rust/cranelift-codegen-meta/src/cdsl/ |
H A D | xform.rs | 74 for &var_index in &input_vars { in new() 76 var_pool.get(var_index).is_input(), in new() 78 var_pool.get(var_index) in new() 106 .filter(|&&var_index| !var_pool.get(var_index).is_temp()), in new() 108 .map(|&var_index| var_pool.get(var_index).get_typevar()) in new() 123 let var = var_pool.get_mut(var_index); in new() 141 for &var_index in def.defined_vars.iter() { in verify_legalize() 142 let defined_var = self.var_pool.get(var_index); in verify_legalize() 155 fn var_index( in var_index() function 293 let var_index = *symbol_table in rewrite_def_list() localVariable [all …]
|
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/rust/cranelift-codegen-meta/src/cdsl/ |
H A D | xform.rs | 74 for &var_index in &input_vars { in new() 76 var_pool.get(var_index).is_input(), in new() 107 .filter(|&&var_index| !var_pool.get(var_index).is_temp()), in new() 109 .map(|&var_index| var_pool.get(var_index).get_typevar()) in new() 124 let var = var_pool.get_mut(var_index); in new() 142 for &var_index in def.defined_vars.iter() { in verify_legalize() 143 let defined_var = self.var_pool.get(var_index); in verify_legalize() 155 fn var_index( in var_index() function 292 let var_index = *symbol_table in rewrite_def_list() localVariable 301 var_pool.get_mut(var_index).set_def(position, def_index); in rewrite_def_list() [all …]
|