/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | sepa_oddcycle.c | 250 if( varsindex < nbinvars || ( varsindex >= 2*nbinvars && varsindex < 3*nbinvars ) ) in printCycle() 262 if( varsindex < nbinvars || ( varsindex >= 2*nbinvars && varsindex < 3*nbinvars ) ) in printCycle() 274 if( varsindex < nbinvars || ( varsindex >= 2*nbinvars && varsindex < 3*nbinvars ) ) in printCycle() 1108 if( x < nbinvars ) in cleanCycle() 1452 if( u < nbinvars ) in addNextLevelCliques() 2140 assert(negated < nbinvars || u < nbinvars); in createNextLevel() 2141 assert(negated >= nbinvars || u >= nbinvars); in createNextLevel() 2398 for( i = nbinvars; i < 2*nbinvars; ++i ) in separateHeur() 3132 for( i = nbinvars; i < 2*nbinvars; ++i ) in separateGLS() 3235 assert(dijkindex >= nbinvars && dijkindex < 2*nbinvars); in separateGLS() [all …]
|
H A D | cons_linking.c | 233 nbinvars = consdata->nbinvars; in consdataPrint() 485 consdata->nbinvars = nbinvars; in consdataCreateBinvars() 539 (*consdata)->nbinvars = nbinvars; in consdataCreate() 788 nbinvars = consdata->nbinvars; in processRealBoundChg() 1032 nbinvars = consdata->nbinvars; in removeFixedBinvars() 1090 nbinvars = consdata->nbinvars; in tightenedLinkvar() 1495 nbinvars = consdata->nbinvars; in checkCons() 2872 nbinvars = consdata->nbinvars; in SCIP_DECL_CONSRESPROP() 2901 nbinvars = consdata->nbinvars; in SCIP_DECL_CONSRESPROP() 3040 nbinvars = sourceconsdata->nbinvars; in SCIP_DECL_CONSCOPY() [all …]
|
H A D | heur_dins.c | 240 if( heurdata->deltalength < nbinvars ) in determineVariableFixings() 244 newsize = SCIPcalcMemGrowSize(scip, nbinvars); in determineVariableFixings() 245 assert(newsize >= nbinvars); in determineVariableFixings() 261 for( i = 0; i < nbinvars; i++ ) in determineVariableFixings() 305 for( i = nbinvars; i < nbinvars + nintvars; ++i ) in determineVariableFixings() 338 for( i = nbinvars; i < nbinvars + nintvars; ++i ) in reboundIntegerVariables() 384 int nbinvars; in addLocalBranchingConstraint() local 405 for( i = 0; i < nbinvars; i++ ) in addLocalBranchingConstraint() 866 assert(nbinvars <= nvars); in SCIP_DECL_HEUREXEC() 869 if( nbinvars == 0 && nintvars == 0 ) in SCIP_DECL_HEUREXEC() [all …]
|
H A D | heur_mpec.c | 189 assert(nbinvars > 0); in addRegularScholtes() 202 for( i = 0; i < nbinvars; ++i ) in addRegularScholtes() 241 for( i = 0; i < nbinvars; ++i ) in addRegularScholtes() 331 int nbinvars = 0; in heurExec() local 349 binvars[nbinvars++] = var; in heurExec() 353 SCIPdebugMsg(scip, "nbinvars %d\n", nbinvars); in heurExec() 354 if( nbinvars == 0 ) in heurExec() 437 for( j = 0; j < nbinvars; ++j ) in heurExec() 531 for( j = 0; j < nbinvars; ++j ) in heurExec() 569 for( j = 0; j < nbinvars; ++j ) in heurExec() [all …]
|
H A D | heur_rins.c | 132 int nbinvars; in determineFixings() local 142 SCIP_CALL( SCIPgetVarsData(scip, &vars, &nvars, &nbinvars, &nintvars, NULL, NULL) ); in determineFixings() 147 assert(fixedvarssize >= nbinvars + nintvars); in determineFixings() 150 for( i = 0; i < nbinvars + nintvars; i++ ) in determineFixings() 173 if( fixingcounter == nbinvars + nintvars ) in determineFixings() 179 fixingrate = (SCIP_Real)fixingcounter / (SCIP_Real)(MAX(nbinvars + nintvars, 1)); in determineFixings() 474 int nbinvars; in SCIP_DECL_HEUREXEC() local 533 if( nbinvars == 0 && nintvars == 0 ) in SCIP_DECL_HEUREXEC() 540 SCIP_CALL( SCIPallocBufferArray(scip, &fixedvars, nbinvars + nintvars) ); in SCIP_DECL_HEUREXEC() 541 SCIP_CALL( SCIPallocBufferArray(scip, &fixedvals, nbinvars + nintvars) ); in SCIP_DECL_HEUREXEC() [all …]
|
H A D | cons_linking.h | 82 int nbinvars, /**< number of binary starting variables */ 124 int nbinvars /**< number of binary variables */ 155 …int* nbinvars /**< pointer to store the number of returned binary vari… 178 …int* nbinvars /**< pointer to store the number of binary variables, or…
|
H A D | heur_mutation.c | 118 int nbinvars; in determineVariableFixings() local 132 *nfixedvars = (int)(minfixingrate * (nbinvars + nintvars)); in determineVariableFixings() 135 if( *nfixedvars == 0 || *nfixedvars == nbinvars + nintvars ) in determineVariableFixings() 140 assert(*nfixedvars < nbinvars + nintvars); in determineVariableFixings() 142 ndiscretevars = nbinvars + nintvars; in determineVariableFixings() 147 SCIPrandomPermuteArray(randnumgen, (void **)fixedvars, 0, nbinvars + nintvars); in determineVariableFixings() 451 int nbinvars; in SCIP_DECL_HEUREXEC() local 483 SCIP_CALL( SCIPgetVarsData(scip, NULL, NULL, &nbinvars, &nintvars, NULL, NULL) ); in SCIP_DECL_HEUREXEC() 486 if( nbinvars + nintvars == 0 ) in SCIP_DECL_HEUREXEC() 514 SCIP_CALL( SCIPallocBufferArray(scip, &fixedvars, nbinvars + nintvars) ); in SCIP_DECL_HEUREXEC() [all …]
|
H A D | heur_rootsoldiving.c | 182 int nbinvars; in SCIP_DECL_HEUREXEC() local 285 SCIP_CALL( SCIPallocBufferArray(scip, &rootsol, nbinvars + nintvars) ); in SCIP_DECL_HEUREXEC() 286 for( i = 0; i < nbinvars + nintvars; i++ ) in SCIP_DECL_HEUREXEC() 296 SCIP_CALL( SCIPallocBufferArray(scip, &softroundings, nbinvars + nintvars) ); in SCIP_DECL_HEUREXEC() 297 BMSclearMemoryArray(softroundings, nbinvars + nintvars); in SCIP_DECL_HEUREXEC() 298 SCIP_CALL( SCIPallocBufferArray(scip, &intvalrounds, nbinvars + nintvars) ); in SCIP_DECL_HEUREXEC() 299 BMSclearMemoryArray(intvalrounds, nbinvars + nintvars); in SCIP_DECL_HEUREXEC() 302 SCIP_CALL( SCIPallocBufferArray(scip, &objchgvals, nbinvars + nintvars) ); in SCIP_DECL_HEUREXEC() 369 for( i = 0; i < nbinvars + nintvars; i++ ) in SCIP_DECL_HEUREXEC() 450 for( i = 0; i < nbinvars + nintvars; ++i ) in SCIP_DECL_HEUREXEC() [all …]
|
H A D | prop_probing.c | 372 assert(nbinvars > 0); in applyProbing() 409 SCIPgetSolvingTime(scip), i+1, nbinvars, 100.0*(SCIP_Real)(i+1)/(SCIP_Real)nbinvars, in applyProbing() 459 SCIPgetSolvingTime(scip), i+1, nbinvars, 100.0*(SCIP_Real)(i+1)/(SCIP_Real)nbinvars, in applyProbing() 661 nbinvars = nnewbinvars; in applyProbing() 859 int nbinvars; in SCIP_DECL_PROPPRESOL() local 923 ++nbinvars; in SCIP_DECL_PROPPRESOL() 995 int nbinvars; in SCIP_DECL_PROPEXEC() local 1038 nbinvars = 0; in SCIP_DECL_PROPEXEC() 1055 binvars[nbinvars] = var; in SCIP_DECL_PROPEXEC() 1056 ++nbinvars; in SCIP_DECL_PROPEXEC() [all …]
|
H A D | sepa_impliedbounds.c | 412 int nbinvars; in SCIP_DECL_SEPAEXECLP() local 422 SCIP_CALL( SCIPgetVarsData(scip, &vars, &nvars, &nbinvars, NULL, NULL, NULL) ); in SCIP_DECL_SEPAEXECLP() 423 if( nbinvars == 0 ) in SCIP_DECL_SEPAEXECLP() 464 int nbinvars; in SCIP_DECL_SEPAEXECSOL() local 475 SCIP_CALL( SCIPgetVarsData(scip, &vars, &nvars, &nbinvars, NULL, NULL, NULL) ); in SCIP_DECL_SEPAEXECSOL() 476 if( nbinvars == 0 ) in SCIP_DECL_SEPAEXECSOL() 484 SCIP_CALL( SCIPallocBufferArray(scip, &fracvars, nbinvars) ); in SCIP_DECL_SEPAEXECSOL() 485 SCIP_CALL( SCIPallocBufferArray(scip, &fracvals, nbinvars) ); in SCIP_DECL_SEPAEXECSOL() 487 for( i = 0; i < nbinvars; ++i ) in SCIP_DECL_SEPAEXECSOL()
|
H A D | heur_rens.c | 150 int nbinvars; in computeFixingrate() local 168 SCIP_CALL( SCIPgetVarsData(scip, &vars, NULL, &nbinvars, &nintvars, NULL, NULL) ); in computeFixingrate() 169 assert(fixedvarssize >= nbinvars + nintvars); in computeFixingrate() 211 for( i = 0; i < nbinvars + nintvars; ++i ) in computeFixingrate() 234 if( (*nfixedvars) == nbinvars + nintvars ) in computeFixingrate() 237 *fixingrate = (*nfixedvars) / (SCIP_Real)(MAX(nbinvars + nintvars, 1)); in computeFixingrate() 258 int nbinvars; in restrictToBinaryBounds() local 272 for( i = nbinvars; i < nbinvars + nintvars; i++ ) in restrictToBinaryBounds() 632 int nbinvars; in SCIPapplyRens() local 651 nbinvars = SCIPgetNBinVars(scip); in SCIPapplyRens() [all …]
|
H A D | heur_shiftandpropagate.c | 1540 nbinvars = 0; in SCIP_DECL_HEUREXEC() 1555 ++nbinvars; in SCIP_DECL_HEUREXEC() 1642 assert(nbinvars >= 0); in SCIP_DECL_HEUREXEC() 1668 if( nbinvars > 0 ) in SCIP_DECL_HEUREXEC() 1671 … SCIPsortDownRealInt(&colnorms[nbinvars], &permutation[nbinvars], ndiscvars - nbinvars); in SCIP_DECL_HEUREXEC() 1683 if( nbinvars > 0 ) in SCIP_DECL_HEUREXEC() 1686 … SCIPsortRealInt(&colnorms[nbinvars], &permutation[nbinvars], ndiscvars - nbinvars); in SCIP_DECL_HEUREXEC() 1699 if( nbinvars > 0 ) in SCIP_DECL_HEUREXEC() 1702 … SCIPsortDownIntInt(&violatedvarrows[nbinvars], &permutation[nbinvars], ndiscvars - nbinvars); in SCIP_DECL_HEUREXEC() 1716 if( nbinvars > 0 ) in SCIP_DECL_HEUREXEC() [all …]
|
H A D | heur_twoopt.c | 744 int nbinvars; in presolveTwoOpt() local 765 if( nbinvars >= 2 ) in presolveTwoOpt() 771 heurdata->nbinvars = nbinvars; in presolveTwoOpt() 864 heurdata->nbinvars = 0; in SCIP_DECL_HEURINIT() 1338 heurdata->nbinvars = 0; in SCIP_DECL_HEUREXIT() 1358 heurdata->nbinvars = 0; in SCIP_DECL_HEUREXIT() 1390 heurdata->nbinvars = 0; in SCIP_DECL_HEURINITSOL() 1410 int nbinvars; in SCIP_DECL_HEUREXITSOL() local 1423 nbinvars = heurdata->nbinvars; in SCIP_DECL_HEUREXITSOL() 1479 int nbinvars; in SCIP_DECL_HEUREXEC() local [all …]
|
H A D | heur_locks.c | 217 int nbinvars; in SCIPapplyLockFixings() local 261 SCIP_CALL( SCIPduplicateBufferArray(scip, &sortvars, vars, nbinvars) ); in SCIPapplyLockFixings() 262 SCIP_CALL( SCIPallocBufferArray(scip, &nuplocks, nbinvars) ); in SCIPapplyLockFixings() 263 SCIP_CALL( SCIPallocBufferArray(scip, &ndownlocks, nbinvars) ); in SCIPapplyLockFixings() 276 for( v = 0; v < nbinvars; ++v ) in SCIPapplyLockFixings() 300 for( v = 0; v < nbinvars; v++ ) in SCIPapplyLockFixings() 313 if( v == nbinvars ) in SCIPapplyLockFixings() 322 for( i = v + 1; i < nbinvars; ++i ) in SCIPapplyLockFixings() 368 if( v == nbinvars ) in SCIPapplyLockFixings() 402 assert(v == nbinvars); in SCIPapplyLockFixings() [all …]
|
H A D | heur_trivialnegation.c | 76 int nbinvars; in SCIP_DECL_HEUREXEC() local 82 nbinvars = SCIPgetNBinVars(scip); in SCIP_DECL_HEUREXEC() 89 if( nbinvars < SCIPgetNVars(scip) ) in SCIP_DECL_HEUREXEC() 106 for( i = 0; i < nbinvars; i++ ) in SCIP_DECL_HEUREXEC() 119 for( i = 0; i < nbinvars; i++ ) in SCIP_DECL_HEUREXEC()
|
H A D | scip_prob.c | 794 int nbinvars; in SCIPpermuteProb() local 884 SCIPrandomPermuteArray(randnumgen, (void**)vars, nbinvars, nbinvars+nintvars); in SCIPpermuteProb() 887 for( j = nbinvars; j < nbinvars+nintvars; ++j ) in SCIPpermuteProb() 899 for( j = nbinvars+nintvars; j < nbinvars+nintvars+nimplvars; ++j ) in SCIPpermuteProb() 1879 if( nbinvars != NULL ) in SCIPgetVarsData() 1880 *nbinvars = scip->origprob->nbinvars; in SCIPgetVarsData() 1903 *nbinvars = scip->transprob->nbinvars; in SCIPgetVarsData() 2367 if( nbinvars != NULL ) in SCIPgetOrigVarsData() 2368 *nbinvars = scip->origprob->nbinvars; in SCIPgetOrigVarsData() 2634 *nbinvars = scip->origprob->nbinvars; in SCIPgetSolVarsData() [all …]
|
H A D | prob.c | 293 (*prob)->nbinvars = 0; in SCIPprobCreate() 650 int nbinvars; in SCIPprobResortVars() local 659 nbinvars = prob->nbinvars; in SCIPprobResortVars() 673 if( nbinvars > 0 ) in SCIPprobResortVars() 674 SCIPsortPtr((void**)vars, SCIPvarComp, nbinvars); in SCIPprobResortVars() 738 intstart = prob->nbinvars; in probInsertVar() 779 prob->nbinvars++; in probInsertVar() 822 intstart = prob->nbinvars; in probRemoveVar() 830 prob->nbinvars--; in probRemoveVar() 1975 for( v = prob->nbinvars + prob->nintvars + prob->nimplvars - 1; v >= prob->nbinvars; --v ) in SCIPprobGetNImplBinVars() [all …]
|
H A D | presol_boundshift.c | 120 int nbinvars; in SCIP_DECL_PRESOLEXEC() local 140 nbinvars = SCIPgetNBinVars(scip); in SCIP_DECL_PRESOLEXEC() 141 nvars = SCIPgetNVars(scip) - nbinvars; in SCIP_DECL_PRESOLEXEC() 151 SCIP_CALL( SCIPduplicateBufferArray(scip, &vars, &scipvars[nbinvars], nvars) ); in SCIP_DECL_PRESOLEXEC()
|
H A D | heur_alns.c | 1408 int nbinvars; in alnsFixMoreVariables() local 2666 int nbinvars; in DECL_VARFIXINGS() local 2714 int nbinvars; in DECL_CHANGESUBSCIP() local 2724 for( i = nbinvars; i < nbinvars + nintvars; ++i ) in DECL_CHANGESUBSCIP() 2782 int nbinvars; in fixMatchingSolutionValues() local 2825 int nbinvars; in DECL_VARFIXINGS() local 3059 int nbinvars; in DECL_VARFIXINGS() local 3138 int nbinvars; in addLocalBranchingConstraint() local 3209 int nbinvars; in DECL_CHANGESUBSCIP() local 3370 int nbinvars; in DECL_VARFIXINGS() local [all …]
|
H A D | heur_crossover.c | 369 int nbinvars; in fixVariables() local 381 SCIP_CALL( SCIPgetVarsData(scip, &vars, &nvars, &nbinvars, &nintvars, NULL, NULL) ); in fixVariables() 382 assert(fixedvarssize >= nbinvars + nintvars); in fixVariables() 387 for( i = 0; i < nbinvars + nintvars; i++ ) in fixVariables() 419 fixingrate = (SCIP_Real)(*nfixedvars) / (SCIP_Real)(MAX(nbinvars + nintvars, 1)); in fixVariables() 424 *success = (*nfixedvars) < nbinvars + nintvars && fixingrate >= heurdata->minfixingrate; in fixVariables() 915 int nbinvars; in SCIP_DECL_HEUREXEC() local 989 SCIP_CALL( SCIPgetVarsData(scip, &vars, &nvars, &nbinvars, &nintvars, NULL, NULL) ); in SCIP_DECL_HEUREXEC() 993 if( nbinvars == 0 && nintvars == 0 ) in SCIP_DECL_HEUREXEC() 998 SCIP_CALL( SCIPallocBufferArray(scip, &fixedvars, nbinvars + nintvars) ); in SCIP_DECL_HEUREXEC() [all …]
|
H A D | presol_inttobinary.c | 70 int nbinvars; in SCIP_DECL_PRESOLEXEC() local 83 nbinvars = SCIPgetNBinVars(scip); in SCIP_DECL_PRESOLEXEC() 93 SCIP_CALL( SCIPduplicateBufferArray(scip, &vars, &scipvars[nbinvars], nintvars) ); in SCIP_DECL_PRESOLEXEC()
|
H A D | heur_feaspump.c | 475 int nbinvars; in addLocalBranchingConstraint() local 488 SCIP_CALL( SCIPallocBufferArray(scip, &consvars, nbinvars) ); in addLocalBranchingConstraint() 489 SCIP_CALL( SCIPallocBufferArray(scip, &consvals, nbinvars) ); in addLocalBranchingConstraint() 497 for( i = 0; i < nbinvars; i++ ) in addLocalBranchingConstraint() 737 int nbinvars; /* number of 0-1-variables */ in SCIP_DECL_HEUREXEC() local 810 assert(0 <= nfracs && nfracs <= nbinvars + nintvars); in SCIP_DECL_HEUREXEC() 946 scalingfactor = SQRT((SCIP_Real)(nbinvars + nintvars)) / objnorm; in SCIP_DECL_HEUREXEC() 1079 for( i = nbinvars+nintvars; i < nvars; i++ ) in SCIP_DECL_HEUREXEC() 1092 for( i = 0; i < nbinvars+nintvars; i++ ) in SCIP_DECL_HEUREXEC() 1185 for( i = 0; i < nbinvars+nintvars; i++ ) in SCIP_DECL_HEUREXEC() [all …]
|
H A D | reader_smps.c | 337 int nbinvars; in SCIP_DECL_READERREAD() local 354 …SCIP_CALL( SCIPgetOrigVarsData(scip, NULL, &nvars, &nbinvars, &nintvars, &nimplintvars, &ncontvars… in SCIP_DECL_READERREAD() 357 nvars, nbinvars, nintvars, nimplintvars, ncontvars, SCIPgetNOrigConss(scip)); in SCIP_DECL_READERREAD() 383 …SCIP_CALL( SCIPgetOrigVarsData(scip, NULL, &nvars, &nbinvars, &nintvars, &nimplintvars, &ncontvars… in SCIP_DECL_READERREAD() 400 nvars, nbinvars, nintvars, nimplintvars, ncontvars, SCIPgetNOrigConss(scip)); in SCIP_DECL_READERREAD()
|
H A D | heur_simplerounding.c | 248 int nbinvars; in performRelaxSimpleRounding() local 259 SCIP_CALL( SCIPgetVarsData(scip, &vars, NULL, &nbinvars, &nintvars, &nimplvars, NULL) ); in performRelaxSimpleRounding() 260 …ndiscretevars = nbinvars + nintvars + nimplvars; /* consider binary, integral, and implicit intege… in performRelaxSimpleRounding() 267 for (v = 0; v < nbinvars + nintvars; ++v) in performRelaxSimpleRounding() 291 for( v = nbinvars + nintvars; v < ndiscretevars; ++v ) in performRelaxSimpleRounding()
|
H A D | heur_gins.c | 239 int nbinvars = SCIPgetNBinVars(scip); in checkFixingrate() local 1158 int nbinvars; in fixNonNeighborhoodVariables() local 1165 nvarstofix = heurdata->fixcontvars ? nvars : nbinvars + nintvars; in fixNonNeighborhoodVariables() 1218 int nbinvars; in determineMaxDistance() local 1223 nrelevantdistances = (heurdata->fixcontvars ? nvars : (nbinvars + nintvars)); in determineMaxDistance() 1311 int nbinvars; in selectInitialVariableDecomposition() local 1519 int nbinvars; in selectInitialVariableRandomly() local 1554 nintegralvarsleft = nbinvars + nintvars; in selectInitialVariableRandomly() 1646 ndiscvarsneighborhood, nbinvars + nintvars); in selectInitialVariableRandomly() 1709 int nbinvars; in selectNextVariable() local [all …]
|