/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | prop_redcost.c | 393 SCIP_Real oldub; in propagateRedcostVar() local 396 oldub = SCIPvarGetUbLocal(var); in propagateRedcostVar() 398 assert(SCIPisEQ(scip, oldub, SCIPcolGetUb(col))); in propagateRedcostVar() 400 if( SCIPisFeasLT(scip, oldlb, oldub) ) in propagateRedcostVar() 416 strengthen = (newub < oldub - 0.5); in propagateRedcostVar() 450 SCIP_Real oldub; in propagateRedcostVar() local 453 oldub = SCIPvarGetUbLocal(var); in propagateRedcostVar() 455 assert(SCIPisEQ(scip, oldub, SCIPcolGetUb(col))); in propagateRedcostVar() 457 if( SCIPisFeasLT(scip, oldlb, oldub) ) in propagateRedcostVar() 463 newlb = (cutoffbound - lpobjval) / redcost + oldub; in propagateRedcostVar() [all …]
|
H A D | heur_distributiondiving.c | 698 SCIP_Real oldub; in varProcessBoundChanges() local 718 oldub = heurdata->currentubs[varindex]; in varProcessBoundChanges() 721 …assert((oldlb == SCIP_INVALID) == (oldub == SCIP_INVALID)); /*lint !e777 doesn't like comparing fl… in varProcessBoundChanges() 729 if( SCIPisFeasEQ(scip, oldlb, newlb) && SCIPisFeasEQ(scip, oldub, newub) ) in varProcessBoundChanges() 738 SCIPvarCalcDistributionParameters(scip, oldlb, oldub, vartype, &oldmean, &oldvariance); in varProcessBoundChanges() 771 if( SCIPisInfinity(scip, newub) && !SCIPisInfinity(scip, oldub) ) in varProcessBoundChanges() 773 else if( !SCIPisInfinity(scip, newub) && SCIPisInfinity(scip, oldub) ) in varProcessBoundChanges() 783 if( SCIPisInfinity(scip, newub) && !SCIPisInfinity(scip, oldub) ) in varProcessBoundChanges() 785 else if( !SCIPisInfinity(scip, newub) && SCIPisInfinity(scip, oldub) ) in varProcessBoundChanges()
|
H A D | scip_numerics.h | 623 SCIP_Real oldub /**< old upper bound */ 632 SCIP_Real oldub /**< old upper bound */ 820 #define SCIPisLbBetter(scip, newlb, oldlb, oldub) SCIPsetIsLbBetter(scip->set, newlb, oldlb, oldub) argument 821 #define SCIPisUbBetter(scip, newub, oldlb, oldub) SCIPsetIsUbBetter(scip->set, newub, oldlb, oldub) argument
|
H A D | branch_distribution.c | 912 SCIP_Real oldub; in varProcessBoundChanges() local 934 oldub = branchruledata->currentubs[varindex]; in varProcessBoundChanges() 937 assert((oldlb == SCIP_INVALID) == (oldub == SCIP_INVALID)); /*lint !e777*/ in varProcessBoundChanges() 945 if( SCIPisFeasEQ(scip, oldlb, newlb) && SCIPisFeasEQ(scip, oldub, newub) ) in varProcessBoundChanges() 954 SCIPvarCalcDistributionParameters(scip, oldlb, oldub, vartype, &oldmean, &oldvariance); in varProcessBoundChanges() 989 if( SCIPisInfinity(scip, newub) && !SCIPisInfinity(scip, oldub) ) in varProcessBoundChanges() 991 else if( !SCIPisInfinity(scip, newub) && SCIPisInfinity(scip, oldub) ) in varProcessBoundChanges() 1001 if( SCIPisInfinity(scip, newub) && !SCIPisInfinity(scip, oldub) ) in varProcessBoundChanges() 1003 else if( !SCIPisInfinity(scip, newub) && SCIPisInfinity(scip, oldub) ) in varProcessBoundChanges()
|
H A D | sepastore.c | 275 SCIP_Real oldub; in sepastoreIsBdchgApplicable() local 298 oldub = local ? SCIPvarGetUbLocal(var) : SCIPvarGetUbGlobal(var); in sepastoreIsBdchgApplicable() 314 if( SCIPsetIsFeasGT(set, newlb, oldub) || SCIPsetIsGT(set, MIN(newlb, oldub), oldlb) ) in sepastoreIsBdchgApplicable() 326 if( SCIPsetIsFeasLT(set, newub, oldlb) || SCIPsetIsLT(set, MAX(newub, oldlb), oldub) ) in sepastoreIsBdchgApplicable() 345 if( SCIPsetIsFeasLT(set, newub, oldlb) || SCIPsetIsLT(set, MAX(newub, oldlb), oldub) ) in sepastoreIsBdchgApplicable() 357 if( SCIPsetIsFeasGT(set, newlb, oldub) || SCIPsetIsGT(set, MIN(newlb, oldub), oldlb) ) in sepastoreIsBdchgApplicable()
|
H A D | set.h | 1479 SCIP_Real oldub /**< old upper bound */ 1490 SCIP_Real oldub /**< old upper bound */ 1657 #define SCIPsetIsLbBetter(set, newlb, oldlb, oldub) ( ((oldlb) < 0.0 && (newlb) >= 0.0) || EPSGT(ne… argument 1658 set->num_boundstreps * MAX(MIN((oldub) - (oldlb), REALABS(oldlb)), 1e-3)) ) 1659 …define SCIPsetIsUbBetter(set, newub, oldlb, oldub) ( ((oldub) > 0.0 && (newub) <= 0.0) || EPSLT(ne… argument 1660 set->num_boundstreps * MAX(MIN((oldub) - (oldlb), REALABS(oldub)), 1e-3)) )
|
H A D | presol_domcol.c | 1235 SCIP_Real oldub; in predBndStr() local 1239 oldub = SCIPvarGetUbGlobal(dominatingvar); in predBndStr() 1245 if( SCIPisLE(scip, lb, newub) && SCIPisLT(scip, newub, oldub) ) in predBndStr() 1248 SCIPvarGetName(dominatingvar), lb, oldub, lb, newub); in predBndStr() 1322 SCIP_Real oldub; in predBndStr() local 1326 oldub = SCIPvarGetUbGlobal(dominatedvar); in predBndStr() 1329 if( SCIPisLE(scip, lb, newub) && SCIPisLT(scip, newub, oldub) ) in predBndStr() 1332 SCIPvarGetName(dominatedvar), lb, oldub, lb, newub); in predBndStr() 1348 SCIP_Real oldub; in predBndStr() local 1352 oldub = SCIPvarGetUbGlobal(dominatedvar); in predBndStr() [all …]
|
H A D | presol_dualinfer.c | 476 SCIP_Real oldub; in combineCols() local 482 oldub = newubs[i]; in combineCols() 500 if( !SCIPisEQ(scip, oldlb, newlbs[i]) || !SCIPisEQ(scip, oldub, newubs[i]) ) in combineCols() 501 … SCIPdebugMsg(scip, "%g <= %g <= var_%d <= %g <= %g\n", oldlb, newlbs[i], i, newubs[i], oldub); in combineCols() 584 SCIP_Real oldub; in combineCols() local 593 oldub = newubs[j]; in combineCols() 619 if( !SCIPisEQ(scip, oldlb, newlbs[j]) || !SCIPisEQ(scip, oldub, newubs[j]) ) in combineCols() 649 SCIP_Real oldub; in combineCols() local 655 oldub = newubs[i]; in combineCols() 673 if( !SCIPisEQ(scip, oldlb, newlbs[i]) || !SCIPisEQ(scip, oldub, newubs[i]) ) in combineCols() [all …]
|
H A D | prop_probing.c | 1464 SCIP_Real oldub; in SCIPanalyzeDeductionsProbing() local 1471 oldub = SCIPvarGetUbLocal(var); in SCIPanalyzeDeductionsProbing() 1477 tightenub = (newub < oldub - 0.5); in SCIPanalyzeDeductionsProbing() 1482 tightenlb = SCIPisLbBetter(scip, newlb, oldlb, oldub); in SCIPanalyzeDeductionsProbing() 1483 tightenub = SCIPisUbBetter(scip, newub, oldlb, oldub); in SCIPanalyzeDeductionsProbing() 1493 SCIPvarGetName(var), oldlb, oldub, newlb, in SCIPanalyzeDeductionsProbing() 1512 SCIPvarGetName(var), oldlb, oldub, newub, in SCIPanalyzeDeductionsProbing()
|
H A D | scip_numerics.c | 1125 SCIP_Real oldub /**< old upper bound */ in SCIPisLbBetter() argument 1130 return SCIPsetIsLbBetter(scip->set, newlb, oldlb, oldub); in SCIPisLbBetter() 1140 SCIP_Real oldub /**< old upper bound */ in SCIPisUbBetter() argument 1145 return SCIPsetIsUbBetter(scip->set, newub, oldlb, oldub); in SCIPisUbBetter()
|
H A D | prop_nlobbt.c | 354 SCIP_Real oldub; in solveNlp() local 357 oldub = SCIPvarGetUbLocal(var); in solveNlp() 445 …ip, "tightened bounds of %s from [%g,%g] to [%g,%g]\n", SCIPvarGetName(var), oldlb, oldub, lb, ub); in solveNlp()
|
H A D | heur_undercover.c | 2370 SCIP_Real oldub; in performFixing() local 2392 oldub = SCIPvarGetUbLocal(var); in performFixing() 2396 if( SCIPisUbBetter(scip, val, oldlb, oldub) ) in performFixing() 2413 oldbounds[*bdlen] = oldub; in performFixing() 2432 oldub = SCIPvarGetUbLocal(var); in performFixing() 2433 val = MIN(val, oldub); in performFixing() 2441 if( SCIPisLbBetter(scip, val, oldlb, oldub) ) in performFixing() 2545 SCIP_Real oldub; in fixAndPropagate() local 2604 oldub = SCIPvarGetUbLocal(vars[idx]); in fixAndPropagate() 2605 val = MIN(val, oldub); in fixAndPropagate()
|
H A D | lp.h | 1186 SCIP_Real oldub, /**< old upper bound of variable */ 1195 SCIP_Real oldub, /**< old upper bound of variable */
|
H A D | tree.c | 1828 SCIP_Real oldub; in SCIPnodeAddBoundinfer() local 1836 oldub = SCIPvarGetUbGlobal(var); in SCIPnodeAddBoundinfer() 1841 oldub = SCIPvarGetUbLocal(var); in SCIPnodeAddBoundinfer() 1860 || (boundtype == SCIP_BOUNDTYPE_UPPER && newbound < oldub && newbound * oldub <= 0.0)); in SCIPnodeAddBoundinfer() 1885 oldub = SCIPvarGetUbGlobal(var); in SCIPnodeAddBoundinfer() 1890 oldub = SCIPvarGetUbLocal(var); in SCIPnodeAddBoundinfer() 1892 assert(SCIPsetIsLE(set, oldlb, oldub)); in SCIPnodeAddBoundinfer() 1898 assert(SCIPsetIsFeasLE(set, newbound, oldub)); in SCIPnodeAddBoundinfer() 1900 newbound = MIN(newbound, oldub); in SCIPnodeAddBoundinfer() 1916 oldbound = oldub; in SCIPnodeAddBoundinfer() [all …]
|
H A D | prop_obbt.c | 2036 SCIP_Real oldub; in applyObbt() local 2039 oldub = oldubs[bound->index]; in applyObbt() 2041 …type == SCIP_BOUNDTYPE_LOWER && SCIPisLbBetter(scip, SCIPvarGetLbLocal(bound->var), oldlb, oldub) ) in applyObbt() 2048 …type == SCIP_BOUNDTYPE_UPPER && SCIPisUbBetter(scip, SCIPvarGetUbLocal(bound->var), oldlb, oldub) ) in applyObbt() 2050 …ugMsg(scip, "tighter upper bound due to propagation: %d - %e -> %e\n", i, oldub, SCIPvarGetUbLocal… in applyObbt()
|
H A D | reopt.c | 3632 SCIP_Real oldub; in changeAncestorBranchings() local 3645 oldub = SCIPvarGetUbLocal(var); in changeAncestorBranchings() 3650 …CIP_BOUNDTYPE_LOWER && SCIPsetIsGT(set, newbound, oldlb) && SCIPsetIsFeasLE(set, newbound, oldub) ) in changeAncestorBranchings() 3657 …else if( boundtype == SCIP_BOUNDTYPE_UPPER && SCIPsetIsLT(set, newbound, oldub) && SCIPsetIsFeasGE… in changeAncestorBranchings() 3683 SCIP_Real oldub; in changeAncestorBranchings() local 3698 oldub = SCIPvarGetUbLocal(var); in changeAncestorBranchings() 3701 …CIP_BOUNDTYPE_LOWER && SCIPsetIsGT(set, newbound, oldlb) && SCIPsetIsFeasLE(set, newbound, oldub) ) in changeAncestorBranchings() 3812 SCIP_Real oldub; in addSplitcons() local 3830 oldub = SCIPvarGetUbLocal(var); in addSplitcons() 3835 assert(SCIPisLE(scip, newbound, oldub)); in addSplitcons() [all …]
|
H A D | prop_genvbounds.c | 2588 SCIP_Real oldub; in SCIP_DECL_PROPEXEC() local 2596 oldub = SCIPvarGetUbLocal(propdata->cutoffboundvar); in SCIP_DECL_PROPEXEC() 2598 if( SCIPisInfinity(scip, newub) == FALSE && SCIPisFeasLT(scip, newub, oldub) ) in SCIP_DECL_PROPEXEC() 2605 newub, oldub, infeasible, tightened); in SCIP_DECL_PROPEXEC()
|
H A D | lp.c | 10768 SCIP_Real* oldub; in lpLexDualSimplex() local 10981 newlb[cntcol] = oldub[c]; in lpLexDualSimplex() 10982 newub[cntcol] = oldub[c]; in lpLexDualSimplex() 11198 SCIPsetFreeBufferArray(set, &oldub); in lpLexDualSimplex() 13556 assert(!SCIPsetIsInfinity(set, -oldub)); in getObjvalDeltaUb() 13560 if( SCIPsetIsInfinity(set, oldub) ) in getObjvalDeltaUb() 13576 (*deltaval) = -oldub * obj; in getObjvalDeltaUb() 13581 (*deltaval) = obj * (newub - oldub); in getObjvalDeltaUb() 13693 assert(!SCIPsetIsInfinity(set, -oldub)); in lpUpdateVarProved() 13725 if( SCIPsetIsInfinity(set, oldub) ) in lpUpdateVarProved() [all …]
|
H A D | set.c | 6737 SCIP_Real oldub /**< old upper bound */ in SCIPsetIsLbBetter() argument 6741 assert(SCIPsetIsLE(set, oldlb, oldub)); in SCIPsetIsLbBetter() 6747 …return EPSGT(newlb, oldlb, set->num_boundstreps * MAX(MIN(oldub - oldlb, REALABS(oldlb)), 1e-3)); … in SCIPsetIsLbBetter() 6758 SCIP_Real oldub /**< old upper bound */ in SCIPsetIsUbBetter() argument 6762 assert(SCIPsetIsLE(set, oldlb, oldub)); in SCIPsetIsUbBetter() 6765 if( oldub > 0.0 && newub <= 0.0 ) in SCIPsetIsUbBetter() 6768 …return EPSLT(newub, oldub, set->num_boundstreps * MAX(MIN(oldub - oldlb, REALABS(oldub)), 1e-3)); … in SCIPsetIsUbBetter()
|
/dports/math/SCIP/scip-7.0.3/src/lpi/ |
H A D | lpi_spx2.cpp | 2511 SCIP_Real oldub; local 2541 oldub = spx->upperReal(col); 2634 spx->changeUpperReal(col, oldub); 2649 if( newlb <= oldub + 0.5 && up != NULL )
|
H A D | lpi_grb.c | 3287 SCIP_Real oldub; in lpiStrongbranch() local 3315 … CHECK_ZERO( lpi->messagehdlr, GRBgetdblattrelement(lpi->grbmodel, GRB_DBL_ATTR_UB, col, &oldub) ); in lpiStrongbranch() 3364 … CHECK_ZERO( lpi->messagehdlr, GRBsetdblattrelement(lpi->grbmodel, GRB_DBL_ATTR_UB, col, oldub) ); in lpiStrongbranch() 3370 assert( b == oldub ); in lpiStrongbranch() 3389 if( newlb <= oldub + 0.5 ) in lpiStrongbranch()
|
H A D | lpi_spx1.cpp | 3074 SCIP_Real oldub; local 3098 oldub = spx->upper(col); 3173 spx->changeUpper(col, oldub); 3188 if( newlb <= oldub + 0.5 && up != NULL )
|
H A D | lpi_cpx.c | 2650 SCIP_Real oldub; in lpiStrongbranchIntegral() local 2670 CHECK_ZERO( lpi->messagehdlr, CPXgetub(lpi->cpxenv, lpi->cpxlp, &oldub, col, col) ); in lpiStrongbranchIntegral() 2699 CHECK_ZERO( lpi->messagehdlr, CPXchgbds(lpi->cpxenv, lpi->cpxlp, 1, &col, &ubound, &oldub) ); in lpiStrongbranchIntegral() 2707 if( newlb <= oldub + 0.5 ) in lpiStrongbranchIntegral()
|
/dports/databases/postgresql96-server/postgresql-9.6.24/src/backend/utils/adt/ |
H A D | arrayfuncs.c | 2981 int oldub = oldlb + ARR_DIMS(array)[0] - 1; in array_set_slice() local 2983 int sliceub = Min(oldub, upperIndx[0]); in array_set_slice() 2988 itemsbefore = Min(slicelb, oldub + 1) - oldlb; in array_set_slice() 3007 itemsafter = oldub + 1 - Max(sliceub + 1, oldlb); in array_set_slice()
|
/dports/databases/postgresql96-pltcl/postgresql-9.6.24/src/backend/utils/adt/ |
H A D | arrayfuncs.c | 2981 int oldub = oldlb + ARR_DIMS(array)[0] - 1; in array_set_slice() local 2983 int sliceub = Min(oldub, upperIndx[0]); in array_set_slice() 2988 itemsbefore = Min(slicelb, oldub + 1) - oldlb; in array_set_slice() 3007 itemsafter = oldub + 1 - Max(sliceub + 1, oldlb); in array_set_slice()
|