/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | prob.c | 785 assert(prob->nvars == prob->nbinvars + prob->nintvars + prob->nimplvars + prob->ncontvars); in probInsertVar() 798 assert(0 <= prob->ncolvars && prob->ncolvars <= prob->nvars); in probInsertVar() 876 prob->vars[freepos] = prob->vars[prob->nvars-1]; in probRemoveVar() 883 assert(prob->nvars == prob->nbinvars + prob->nintvars + prob->nimplvars + prob->ncontvars); in probRemoveVar() 888 assert(0 <= prob->ncolvars && prob->ncolvars <= prob->nvars); in probRemoveVar() 978 …SCIPvarGetName(var), prob->nvars, prob->nbinvars, prob->nintvars, prob->nimplvars, prob->ncontvars… in SCIPprobAddVar() 1035 …SCIPvarGetName(var), prob->nvars, prob->nbinvars, prob->nintvars, prob->nimplvars, prob->ncontvars… in SCIPprobDelVar() 1308 prob->maxnconss = MAX(prob->maxnconss, prob->nconss); in SCIPprobAddCons() 1386 prob->conss[arraypos] = prob->conss[prob->nconss-1]; in SCIPprobDelCons() 1975 for( v = prob->nbinvars + prob->nintvars + prob->nimplvars - 1; v >= prob->nbinvars; --v ) in SCIPprobGetNImplBinVars() [all …]
|
H A D | prob.h | 624 #define SCIPprobIsPermuted(prob) ((prob)->permuted) argument 631 #define SCIPprobGetData(prob) ((prob)->probdata) argument 632 #define SCIPprobGetName(prob) ((prob)->name) argument 633 #define SCIPprobGetName(prob) ((prob)->name) argument 634 #define SCIPprobGetNVars(prob) ((prob)->nvars) argument 635 #define SCIPprobGetNBinVars(prob) ((prob)->nbinvars) argument 636 #define SCIPprobGetNIntVars(prob) ((prob)->nintvars) argument 637 #define SCIPprobGetNImplVars(prob) ((prob)->nimplvars) argument 639 #define SCIPprobGetVars(prob) ((prob)->vars) argument 640 #define SCIPprobGetNConss(prob) ((prob)->nconss) argument [all …]
|
/dports/math/ecos/ecos-2.0.8/ecos_bb/ |
H A D | ecos_bb.c | 41 …TTEXT("%u \t%.2f \t\t%.2f \t\t%.2f\n", (int)prob->iter, prob->global_L, prob->global_U, prob->glob… in print_progress() 132 prob->nodes[prob->iter].L = prob->nodes[curr_node_idx].L; in branch() 133 prob->nodes[prob->iter].U = prob->nodes[curr_node_idx].U; in branch() 177 print_node(prob, prob->iter); in branch() 863 prob->kap = prob->ecos_prob->kap; in store_solution() 864 prob->tau = prob->ecos_prob->tau; in store_solution() 882 prob->ecos_prob->kap = prob->kap; in load_solution() 883 prob->ecos_prob->tau = prob->tau; in load_solution() 911 prob->nodes[node_idx].L = eddot(prob->ecos_prob->n, prob->ecos_prob->x, prob->ecos_prob->c); in get_bounds() 1026 … prob->nodes[node_idx].U = eddot(prob->ecos_prob->n, prob->ecos_prob->x, prob->ecos_prob->c); in get_bounds() [all …]
|
H A D | ecos_bb_preproc.c | 241 prob->Gpr_new, prob->Gjc_new, prob->Gir_new, in ECOS_BB_setup() 247 prob->nodes = (node *)CALLOC(prob->stgs->maxit, sizeof(node)); in ECOS_BB_setup() 281 prob->Gpr_new, prob->Gjc_new, prob->Gir_new, in ECOS_BB_setup() 295 prob->A = prob->ecos_prob->A; in ECOS_BB_setup() 296 prob->G = prob->ecos_prob->G; in ECOS_BB_setup() 297 prob->c = prob->ecos_prob->c; in ECOS_BB_setup() 298 prob->b = prob->ecos_prob->b; in ECOS_BB_setup() 304 prob->ecos_stgs = prob->ecos_prob->stgs; in ECOS_BB_setup() 323 return prob; in ECOS_BB_setup() 342 FREE(prob->x); in ECOS_BB_cleanup() [all …]
|
/dports/math/py-ecos/ecos-python-2.0.8/ecos/ecos_bb/ |
H A D | ecos_bb.c | 41 …TTEXT("%u \t%.2f \t\t%.2f \t\t%.2f\n", (int)prob->iter, prob->global_L, prob->global_U, prob->glob… in print_progress() 132 prob->nodes[prob->iter].L = prob->nodes[curr_node_idx].L; in branch() 133 prob->nodes[prob->iter].U = prob->nodes[curr_node_idx].U; in branch() 177 print_node(prob, prob->iter); in branch() 863 prob->kap = prob->ecos_prob->kap; in store_solution() 864 prob->tau = prob->ecos_prob->tau; in store_solution() 882 prob->ecos_prob->kap = prob->kap; in load_solution() 883 prob->ecos_prob->tau = prob->tau; in load_solution() 911 prob->nodes[node_idx].L = eddot(prob->ecos_prob->n, prob->ecos_prob->x, prob->ecos_prob->c); in get_bounds() 1026 … prob->nodes[node_idx].U = eddot(prob->ecos_prob->n, prob->ecos_prob->x, prob->ecos_prob->c); in get_bounds() [all …]
|
H A D | ecos_bb_preproc.c | 241 prob->Gpr_new, prob->Gjc_new, prob->Gir_new, in ECOS_BB_setup() 247 prob->nodes = (node *)CALLOC(prob->stgs->maxit, sizeof(node)); in ECOS_BB_setup() 281 prob->Gpr_new, prob->Gjc_new, prob->Gir_new, in ECOS_BB_setup() 295 prob->A = prob->ecos_prob->A; in ECOS_BB_setup() 296 prob->G = prob->ecos_prob->G; in ECOS_BB_setup() 297 prob->c = prob->ecos_prob->c; in ECOS_BB_setup() 298 prob->b = prob->ecos_prob->b; in ECOS_BB_setup() 304 prob->ecos_stgs = prob->ecos_prob->stgs; in ECOS_BB_setup() 323 return prob; in ECOS_BB_setup() 342 FREE(prob->x); in ECOS_BB_cleanup() [all …]
|
/dports/math/py-PuLP/PuLP-2.6.0/pulp/tests/ |
H A D | test_pulp.py | 13 def dumpTestProblem(prob): argument 59 prob += ( 358 prob, 522 prob += a 523 prob += b 524 prob += c 544 prob += a 545 prob += b 546 prob += c 1144 self.assertRaises(TypeError, add_const, prob=prob) [all …]
|
/dports/math/yices/yices-2.6.2/src/exists_forall/ |
H A D | ef_problem.c | 34 prob->manager = mngr; in init_ef_prob() 38 prob->num_cnstr = 0; in init_ef_prob() 39 prob->cnstr_size = 0; in init_ef_prob() 40 prob->cnstr = NULL; in init_ef_prob() 51 prob->num_cnstr = 0; in reset_ef_prob() 65 n = prob->num_cnstr; in delete_ef_prob() 71 prob->cnstr = NULL; in delete_ef_prob() 79 return iv_is_empty(prob->all_evars) && iv_is_empty(prob->all_uvars) in ef_prob_is_empty() 80 && iv_is_empty(prob->conditions) && prob->num_cnstr == 0; in ef_prob_is_empty() 90 n = prob->cnstr_size; in extend_ef_prob() [all …]
|
/dports/science/PETSc/petsc-3.14.1/src/dm/dt/interface/ |
H A D | dtds.c | 273 if (prob->ops->view) {ierr = (*prob->ops->view)(prob, v);CHKERRQ(ierr);} in PetscDSView() 378 prob->totDim = prob->totComp = 0; in PetscDSSetUp() 392 prob->T[f] = prob->Tf[f] = NULL; in PetscDSSetUp() 428 …ierr = PetscMalloc3(NsMax*prob->totComp,&prob->u,NsMax*prob->totComp,&prob->u_t,NsMax*prob->totCom… in PetscDSSetUp() 446 ierr = PetscFree3(prob->u,prob->u_t,prob->u_x);CHKERRQ(ierr); in PetscDSDestroyStructs_Static() 447 …ierr = PetscFree5(prob->x,prob->basisReal, prob->basisDerReal,prob->testReal,prob->testDerReal);CH… in PetscDSDestroyStructs_Static() 448 ierr = PetscFree6(prob->f0,prob->f1,prob->g0,prob->g1,prob->g2,prob->g3);CHKERRQ(ierr); in PetscDSDestroyStructs_Static() 495 …ierr = PetscFree7(prob->obj, prob->f, prob->g, prob->gp, prob->gt, prob->r, prob->ctx);CHKERRQ(ier… in PetscDSEnlarge_Static() 520 …ierr = PetscFree7(prob->fBd, prob->gBd, prob->gpBd, prob->exactSol, prob->exactCtx, prob->exactSol… in PetscDSEnlarge_Static() 567 …ierr = PetscFree7((*prob)->obj,(*prob)->f,(*prob)->g,(*prob)->gp,(*prob)->gt,(*prob)->r,(*prob)->c… in PetscDSDestroy() [all …]
|
/dports/math/ogdf/OGDF/src/coin/CoinUtils/ |
H A D | CoinPresolveFixed.cpp | 59 int *hrow = prob->hrow_; in presolve() 64 int *hcol = prob->hcol_; in presolve() 68 double *clo = prob->clo_; in presolve() 69 double *rlo = prob->rlo_; in presolve() 70 double *rup = prob->rup_; in presolve() 71 double *sol = prob->sol_; in presolve() 81 presolve_check_sol(prob) ; in presolve() 157 prob->addRow(row); in presolve() 162 prob->addCol(jcol); in presolve() 234 prob->addRow(iRow); in presolve() [all …]
|
H A D | CoinPresolveSingleton.cpp | 38 if (prob->tuning_) { in presolve() 44 int *hrow = prob->hrow_; in presolve() 49 double *clo = prob->clo_; in presolve() 50 double *cup = prob->cup_; in presolve() 58 double *rlo = prob->rlo_; in presolve() 111 prob->addCol(jcol); in presolve() 126 if (prob->tuning_) { in presolve() 211 prob->status_ |= 1; in presolve() 299 if (prob->tuning_) { in presolve() 472 if (prob->tuning_) { in presolve() [all …]
|
/dports/math/osi/Osi-0.108.6/CoinUtils/src/ |
H A D | CoinPresolveSingleton.cpp | 58 presolve_links_ok(prob); in presolve() 59 presolve_check_sol(prob); in presolve() 69 if (prob->tuning_) { in presolve() 81 int *hrow = prob->hrow_; in presolve() 85 double *clo = prob->clo_; in presolve() 86 double *cup = prob->cup_; in presolve() 93 double *rlo = prob->rlo_; in presolve() 280 prob->addCol(j); in presolve() 353 if (prob->tuning_) in presolve() 522 if (prob->tuning_) { in presolve() [all …]
|
H A D | CoinPresolveEmpty.cpp | 45 presolve_links_ok(prob); in presolve() 46 presolve_consistent(prob); in presolve() 55 double *clo = prob->clo_; in presolve() 56 double *cup = prob->cup_; in presolve() 66 double *sol = prob->sol_; in presolve() 96 prob->status_ |= 1; in presolve() 98 prob->messages()) in presolve() 403 << prob->nrows_ << "x" << prob->ncols_ << "." << std::endl; in postsolve() 523 prob->nrows_ = nrows2; in presolve() 648 assert(prob->nrows_ == prob->nrows0_); in postsolve() [all …]
|
H A D | CoinPresolveFixed.cpp | 58 int *hrow = prob->hrow_; in presolve() 63 int *hcol = prob->hcol_; in presolve() 67 double *clo = prob->clo_; in presolve() 68 double *rlo = prob->rlo_; in presolve() 69 double *rup = prob->rup_; in presolve() 70 double *sol = prob->sol_; in presolve() 84 presolve_check_sol(prob); in presolve() 107 int nrows = prob->nrows_; in presolve() 166 prob->addRow(row); in presolve() 243 prob->addRow(iRow); in presolve() [all …]
|
/dports/math/coinutils/CoinUtils-2.11.4/CoinUtils/src/ |
H A D | CoinPresolveSingleton.cpp | 58 presolve_links_ok(prob); in presolve() 59 presolve_check_sol(prob); in presolve() 69 if (prob->tuning_) { in presolve() 81 int *hrow = prob->hrow_; in presolve() 85 double *clo = prob->clo_; in presolve() 86 double *cup = prob->cup_; in presolve() 93 double *rlo = prob->rlo_; in presolve() 280 prob->addCol(j); in presolve() 353 if (prob->tuning_) in presolve() 522 if (prob->tuning_) { in presolve() [all …]
|
H A D | CoinPresolveEmpty.cpp | 45 presolve_links_ok(prob); in presolve() 46 presolve_consistent(prob); in presolve() 55 double *clo = prob->clo_; in presolve() 56 double *cup = prob->cup_; in presolve() 66 double *sol = prob->sol_; in presolve() 96 prob->status_ |= 1; in presolve() 98 prob->messages()) in presolve() 403 << prob->nrows_ << "x" << prob->ncols_ << "." << std::endl; in postsolve() 523 prob->nrows_ = nrows2; in presolve() 648 assert(prob->nrows_ == prob->nrows0_); in postsolve() [all …]
|
H A D | CoinPresolveFixed.cpp | 58 int *hrow = prob->hrow_; in presolve() 63 int *hcol = prob->hcol_; in presolve() 67 double *clo = prob->clo_; in presolve() 68 double *rlo = prob->rlo_; in presolve() 69 double *rup = prob->rup_; in presolve() 70 double *sol = prob->sol_; in presolve() 84 presolve_check_sol(prob); in presolve() 107 int nrows = prob->nrows_; in presolve() 166 prob->addRow(row); in presolve() 243 prob->addRow(iRow); in presolve() [all …]
|
/dports/math/clp/Clp-1.17.3/CoinUtils/src/ |
H A D | CoinPresolveSingleton.cpp | 58 presolve_links_ok(prob); in presolve() 59 presolve_check_sol(prob); in presolve() 69 if (prob->tuning_) { in presolve() 81 int *hrow = prob->hrow_; in presolve() 85 double *clo = prob->clo_; in presolve() 86 double *cup = prob->cup_; in presolve() 93 double *rlo = prob->rlo_; in presolve() 280 prob->addCol(j); in presolve() 353 if (prob->tuning_) in presolve() 522 if (prob->tuning_) { in presolve() [all …]
|
H A D | CoinPresolveEmpty.cpp | 45 presolve_links_ok(prob); in presolve() 46 presolve_consistent(prob); in presolve() 55 double *clo = prob->clo_; in presolve() 56 double *cup = prob->cup_; in presolve() 66 double *sol = prob->sol_; in presolve() 96 prob->status_ |= 1; in presolve() 98 prob->messages()) in presolve() 403 << prob->nrows_ << "x" << prob->ncols_ << "." << std::endl; in postsolve() 523 prob->nrows_ = nrows2; in presolve() 648 assert(prob->nrows_ == prob->nrows0_); in postsolve() [all …]
|
H A D | CoinPresolveFixed.cpp | 58 int *hrow = prob->hrow_; in presolve() 63 int *hcol = prob->hcol_; in presolve() 67 double *clo = prob->clo_; in presolve() 68 double *rlo = prob->rlo_; in presolve() 69 double *rup = prob->rup_; in presolve() 70 double *sol = prob->sol_; in presolve() 84 presolve_check_sol(prob); in presolve() 107 int nrows = prob->nrows_; in presolve() 166 prob->addRow(row); in presolve() 243 prob->addRow(iRow); in presolve() [all …]
|
/dports/lang/newlisp/newlisp-10.7.5/qa-specific-tests/ |
H A D | qa-statdist | 3 (define (test-prob-t) 5 (< (abs (sub (prob-t 1.886 2) 0.1)) 0.001) 6 (< (abs (sub (prob-t 1.303 40) 0.1)) 0.001) 7 (< (abs (sub (prob-t 6.965 2) 0.01)) 0.0001) 8 (< (abs (sub (prob-t 2.423 40) 0.01)) 0.0001) 19 (define (test-prob-f) 21 (< (abs (sub (prob-f 6.59 3 4) 0.05)) 0.001) 22 (< (abs (sub (prob-f 2.79 12 11) 0.05)) 0.001) 23 (< (abs (sub (prob-f 16.69 3 4) 0.01)) 0.0001) 37 (define (test-prob-chi2) [all …]
|
/dports/math/ogdf/OGDF/src/coin/Osi/ |
H A D | OsiPresolve.cpp | 291 basis->resize(prob.nrows_,prob.ncols_); in presolvedModel() 672 presolve_links_ok(prob->rlink_, prob->mrstrt_, prob->hinrow_, prob->nrows_); in presolve() 764 prob->rowsToDo_[prob->numberRowsToDo_++]=i; in presolve() 768 prob->colsToDo_[prob->numberColsToDo_++]=i; in presolve() 901 presolve_links_ok(prob->rlink_,prob->mrstrt_, in presolve() 902 prob->hinrow_,prob->nrows_) ; in presolve() 914 presolve_no_zeros(prob->mcstrt_, prob->colels_, prob->hincol_, in presolve() 924 prob->numberRowsToDo_ = prob->numberNextRowsToDo_; in presolve() 939 prob->rowsToDo_[prob->numberRowsToDo_++]=kcheck; in presolve() 975 prob->rowsToDo_[prob->numberRowsToDo_++]=i; in presolve() [all …]
|
/dports/math/ecos/ecos-2.0.8/test/ |
H A D | bb_test.c | 43 pass &= float_eqls(x[i], prob->x[i], prob->stgs->integer_tol ); in test_basic() 83 pass &= float_eqls(x[i], prob->x[i], prob->stgs->integer_tol ); in test_1a_bool() 122 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_1a_int() 161 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_1b() 198 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_2() 236 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_3() 274 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_4() 313 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_5() 364 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_6() 408 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_7() [all …]
|
/dports/math/py-ecos/ecos-python-2.0.8/ecos/test/ |
H A D | bb_test.c | 43 pass &= float_eqls(x[i], prob->x[i], prob->stgs->integer_tol ); in test_basic() 83 pass &= float_eqls(x[i], prob->x[i], prob->stgs->integer_tol ); in test_1a_bool() 122 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_1a_int() 161 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_1b() 198 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_2() 236 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_3() 274 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_4() 313 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_5() 364 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_6() 408 pass &= float_eqls(x[i] ,prob->x[i], prob->stgs->integer_tol ); in test_7() [all …]
|
/dports/graphics/dataplot/dataplot-2c1b27601a3b7523449de612613eadeead9a8f70/lib/frmenus/prob/ |
H A D | psha2ppf.top | 8 Beta <xemf: ~prob\pbetppf.men> 9 Beta Normal <xemf: ~prob\pbnoppf.men> 10 Burr Type 3 <xemf: ~prob\pbu3ppf.men> 11 Burr Type 4 <xemf: ~prob\pbu4ppf.men> 12 Burr Type 5 <xemf: ~prob\pbu5ppf.men> 13 Burr Type 6 <xemf: ~prob\pbu6ppf.men> 14 Burr Type 9 <xemf: ~prob\pbu9ppf.men> 15 Burr Type 12 <xemf: ~prob\pb12ppf.men> 16 Doubly Pareto Uniform <xemf: ~prob\pdpuppf.men> 18 F <xemf: ~prob\pfppf.men> [all …]
|