| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | stat.c | 421 else if( SCIPsetIsGE(set, lowerbound, upperbound) || SCIPsetIsEQ(set, primalbound, dualbound) ) in getGap()
505 …assert(currentgap == 0.0 || currentgap == 100.0 || SCIPsetIsGE(set, primalbound * dualbound, 0.0)); in SCIPstatUpdatePrimalDualIntegrals()
516 …assert(currentdualrefgap == 0.0 || currentdualrefgap == 100.0 || SCIPsetIsGE(set, set->misc_refere… in SCIPstatUpdatePrimalDualIntegrals()
519 …assert(currentprimalrefgap == 0.0 || currentprimalrefgap == 100.0 || SCIPsetIsGE(set, primalbound … in SCIPstatUpdatePrimalDualIntegrals()
|
| H A D | branch.c | 299 … assert(SCIPsetIsGE(set, frac, -SCIPsetFeastol(set)) || (primsol > 1e14 * SCIPsetFeastol(set))); in branchcandCalcLPCands()
1166 || SCIPsetIsGE(set, SCIPvarGetLbLocal(var), SCIPvarGetUbLocal(var))); in SCIPbranchcandUpdateVar()
1565 …runbranchrule = SCIPsetIsInfinity(set, -loclowerbound) || SCIPsetIsGE(set, branchrule->maxbounddis… in SCIPbranchruleExecLPSol()
1673 …runbranchrule = SCIPsetIsInfinity(set, -loclowerbound) || SCIPsetIsGE(set, branchrule->maxbounddis… in SCIPbranchruleExecExternSol()
1777 …runbranchrule = SCIPsetIsInfinity(set, -loclowerbound) || SCIPsetIsGE(set, branchrule->maxbounddis… in SCIPbranchruleExecPseudoSol()
2404 assert(SCIPsetIsInfinity(set, -lb) || SCIPsetIsGE(set, branchpoint, lb)); in SCIPbranchGetBranchingPoint()
2470 assert(SCIPsetIsGE(set, SCIPsetRound(set, branchpoint), lb + 1.0)); in SCIPbranchGetBranchingPoint()
2496 assert(SCIPsetIsGE(set, SCIPsetRound(set, branchpoint), lb + 1.0)); in SCIPbranchGetBranchingPoint()
|
| H A D | conflictstore.c | 644 assert(SCIPsetIsGE(set, SCIPconsGetAge(conflictstore->conflicts[0]), in conflictstoreCleanUpStorage()
1001 assert(SCIPsetIsGE(set, SCIPconsGetAge(conflictstore->dualrayconfs[0]), in SCIPconflictstoreAddDualraycons()
1094 assert(SCIPsetIsGE(set, SCIPconsGetAge(conflictstore->dualsolconfs[0]), in SCIPconflictstoreAddDualsolcons()
1264 …if( conflictstore->lastcutoffbound != SCIP_INVALID && SCIPsetIsGE(set, cutoffbound, conflictstore-… in SCIPconflictstoreCleanNewIncumbent()
|
| H A D | concsolver.c | 456 assert(SCIPsetIsGE(set, progress, 0.0)); in SCIPconcsolverSync()
|
| H A D | conflict.c | 2212 …assert(SCIPbdchginfoGetBoundtype(bdchginfos[v]) == SCIP_BOUNDTYPE_LOWER || SCIPsetIsGE(set, relaxe… in checkRedundancy()
2561 … || (boundtype == SCIP_BOUNDTYPE_UPPER && SCIPsetIsGE(set, newbound, SCIPvarGetUbGlobal(var)))) ) in tightenSingleVar()
2937 if( SCIPsetIsGE(set, newub, ub) ) in propagateLongProof()
4199 …assert(SCIPbdchginfoGetBoundtype(bdchginfo) == SCIP_BOUNDTYPE_LOWER || SCIPsetIsGE(set, relaxedbd,… in conflictAddConflictBound()
4263 …assert(SCIPbdchginfoGetBoundtype(bdchginfo) == SCIP_BOUNDTYPE_LOWER || SCIPsetIsGE(set, relaxedbd,… in conflictQueueBound()
4572 if( SCIPsetIsGE(set, relaxedbd, SCIPvarGetUbGlobal(var)) ) in SCIPconflictAddRelaxedBound()
4577 assert(SCIPsetIsGE(set, relaxedbd, SCIPbdchginfoGetNewbound(bdchginfo))); in SCIPconflictAddRelaxedBound()
9013 assert((col->sbdownvalid && SCIPsetIsGE(set, col->sbdown, lp->cutoffbound) in SCIPconflictAnalyzeStrongbranch()
9015 || (col->sbupvalid && SCIPsetIsGE(set, col->sbup, lp->cutoffbound) in SCIPconflictAnalyzeStrongbranch()
9052 if( col->sbdownvalid && SCIPsetIsGE(set, col->sbdown, lp->cutoffbound) ) in SCIPconflictAnalyzeStrongbranch()
[all …]
|
| H A D | set.h | 1137 SCIP_Bool SCIPsetIsGE(
1599 #define SCIPsetIsGE(set, val1, val2) ( EPSGE(val1, val2, (set)->num_epsilon) ) macro
|
| H A D | debug.c | 557 …|| (SCIPgetObjsense(scip) == SCIP_OBJSENSE_MAXIMIZE && SCIPsetIsGE(set, solvalue, debugsoldata->de… in debugSolIsAchieved()
1566 assert(SCIPsetIsGE(set, newbound, SCIPbdchginfoGetNewbound(bdchginfo))); in debugCheckBdchginfos()
1570 if( SCIPsetIsGE(set, solval, newbound) ) in debugCheckBdchginfos()
|
| H A D | scip_numerics.h | 769 #define SCIPisGE(scip, val1, val2) SCIPsetIsGE((scip)->set, val1, val2)
|
| H A D | scip_var.c | 2854 downcutoff = col->sbdownvalid && SCIPsetIsGE(scip->set, col->sbdown, scip->lp->cutoffbound); in analyzeStrongbranch()
2855 upcutoff = col->sbupvalid && SCIPsetIsGE(scip->set, col->sbup, scip->lp->cutoffbound); in analyzeStrongbranch()
3003 *downinf = localdownvalid && SCIPsetIsGE(scip->set, localdown, scip->lp->cutoffbound); in SCIPgetVarStrongbranchFrac()
3005 *upinf = localupvalid && SCIPsetIsGE(scip->set, localup, scip->lp->cutoffbound); in SCIPgetVarStrongbranchFrac()
3743 *downinf = localdownvalid && SCIPsetIsGE(scip->set, localdown, scip->lp->cutoffbound); in SCIPgetVarStrongbranchInt()
3745 *upinf = localupvalid && SCIPsetIsGE(scip->set, localup, scip->lp->cutoffbound); in SCIPgetVarStrongbranchInt()
5340 …if( (force && SCIPsetIsGE(scip->set, newbound, ub)) || (!force && !SCIPsetIsUbBetter(scip->set, ne… in SCIPtightenVarUb()
5635 …if( (force && SCIPsetIsGE(scip->set, newbound, ub)) || (!force && !SCIPsetIsUbBetter(scip->set, ne… in SCIPinferVarUbCons()
6031 || SCIPsetIsGE(scip->set, newbound, ub) ) in SCIPinferVarUbProp()
|
| H A D | primal.c | 1055 …assert( SCIPsetIsGE(set, solobj, obj) || (REALABS(obj) > 1e+13 * SCIPsetEpsilon(set) && SCIPsetIsF… in primalExistsSol()
1114 assert( SCIPsetIsGE(set, solobj, obj) ); in primalExistsOrigSol()
|
| H A D | scip_numerics.c | 499 return SCIPsetIsGE(scip->set, val1, val2); in SCIPisGE()
|
| H A D | var.c | 244 if( SCIPsetIsGE(set, (*holelistptr)->hole.left, dom->ub) ) in domMerge()
660 if( SCIPsetIsGE(set, boundchg->newbound, var->locdom.lb) ) in SCIPboundchgApply()
8532 assert(SCIPsetIsGE(set, left, SCIPvarGetLbOriginal(var))); in SCIPvarAddHoleOriginal()
8581 assert(SCIPsetIsGE(set, left, SCIPvarGetLbGlobal(var))); in varProcessAddHoleGlobal()
8711 assert(SCIPsetIsGE(set, left, SCIPvarGetLbGlobal(var))); in SCIPvarAddHoleGlobal()
8829 assert(SCIPsetIsGE(set, left, SCIPvarGetLbLocal(var))); in varProcessAddHoleLocal()
8962 assert(SCIPsetIsGE(set, left, SCIPvarGetLbLocal(var))); in SCIPvarAddHoleLocal()
9132 assert(SCIPsetIsGE(set, lb, lb * vbcoef + vbconstant) ); in varAddVbound()
9133 assert(SCIPsetIsGE(set, ub, ub * vbcoef + vbconstant) ); in varAddVbound()
9137 assert(SCIPsetIsGE(set, lb, ub * vbcoef + vbconstant) ); in varAddVbound()
[all …]
|
| H A D | nodesel.c | 657 if( SCIPsetIsGE(set, SCIPnodeGetLowerbound(node), cutoffbound) ) in SCIPnodepqBound()
|
| H A D | set.c | 5703 #undef SCIPsetIsGE
6004 SCIP_Bool SCIPsetIsGE( in SCIPsetIsGE() function
6090 assert(SCIPsetIsGE(set, val, -set->num_epsilon)); in SCIPsetIsFracIntegral()
6468 assert(SCIPsetIsGE(set, val, -2*set->num_feastol)); in SCIPsetIsFeasFracIntegral()
6679 assert(SCIPsetIsGE(set, val, -set->num_dualfeastol)); in SCIPsetIsDualfeasFracIntegral()
|
| H A D | tree.c | 2163 assert(SCIPsetIsGE(set, left, SCIPvarGetLbLocal(var))); in SCIPnodeAddHoleinfer()
3673 …assert(lpstatefork == NULL || lpstatefork->active || SCIPsetIsGE(set, (*node)->lowerbound, cutoffb… in nodeToLeaf()
4479 if( SCIPsetIsGE(set, tree->focusnode->lowerbound, primal->cutoffbound) ) in SCIPnodeFocus()
5169 if( SCIPsetIsGE(set, node->lowerbound, cutoffbound) ) in SCIPtreeCutoff()
5192 if( SCIPsetIsGE(set, node->lowerbound, cutoffbound) ) in SCIPtreeCutoff()
5784 assert(SCIPsetIsGE(set, left, SCIPvarGetLbLocal(var))); in SCIPtreeBranchVarHole()
5823 assert(SCIPsetIsGE(set, left, SCIPvarGetLbLocal(var))); in SCIPtreeBranchVarHole()
|
| H A D | lp.c | 1938 else if( SCIPsetIsGE(set, absval, row->maxval) ) in rowAddNorms()
2016 if( SCIPsetIsGE(set, absval, row->maxval) ) in rowDelNorms()
3672 assert(SCIPsetIsGE(set, lp->objsqrnorm, 0.0)); in lpUpdateObjNorms()
4863 else if( SCIPsetIsGE(set, absval, row->maxval) ) in rowCalcIdxsAndVals()
7985 …if( SCIPsetIsInfinity(set, col->ub) || (SCIPsetIsGE(set, col->ub, col->lazyub) && !SCIPlpDiving(lp… in computeLPBounds()
12074 if( !SCIPsetIsInfinity(set, lp->lpiobjlim) && SCIPsetIsGE(set, lp->lpobjval, lp->lpiobjlim) ) in lpSolve()
12821 … && SCIPsetIsGE(set, objval, lp->cutoffbound - getFiniteLooseObjval(lp, set, prob)) ) ) in SCIPlpSolveAndEval()
12861 … if( SCIPsetIsGE(set, objval, lp->cutoffbound - getFiniteLooseObjval(lp, set, prob)) ) in SCIPlpSolveAndEval()
12990 … assert(SCIPsetIsGE(set, objval, lp->cutoffbound - getFiniteLooseObjval(lp, set, prob)) in SCIPlpSolveAndEval()
17532 assert(SCIPsetIsGE(set, lp->objsqrnorm, 0.0)); in SCIPlpRecalculateObjSqrNorm()
[all …]
|
| H A D | solve.c | 2522 || SCIPsetIsGE(set, SCIPnodeGetLowerbound(focusnode), primal->cutoffbound) in priceAndCutLoop()
2874 …|| (!set->misc_exactsolve && SCIPsetIsGE(set, SCIPnodeGetLowerbound(focusnode), primal->cutoffboun… in applyBounding()
4974 if( SCIPsetIsGE(set, SCIPnodeGetLowerbound(focusnode), stat->referencebound) ) in SCIPsolveCIP()
5274 && SCIPsetIsGE(set, tree->focusnode->lowerbound, primal->cutoffbound) ) in SCIPsolveCIP()
|
| H A D | reopt.c | 3975 assert(SCIPsetIsGE(set, consvals[v], SCIPvarGetLbGlobal(consvars[v]))); in addSplitcons()
7937 if( SCIPsetIsGE(set, set->reopt_objsimrootlp, 1.0) ) in SCIPreoptGetSolveLP()
7946 if( SCIPsetIsGE(set, reopt->simtolastobj, set->reopt_objsimrootlp) ) in SCIPreoptGetSolveLP()
8111 assert(SCIPsetIsGE(set, newbound, SCIPvarGetLbLocal(vars[0]))); in SCIPreoptnodeAddCons()
|
| H A D | sol.c | 1717 …*feasible = *feasible && (!SCIPsetIsInfinity(set, -solval) || SCIPsetIsGE(set, SCIPvarGetUnchanged… in SCIPsolCheck()
|
| H A D | nlp.c | 4931 … assert(SCIPsetIsGE(set, frac, -SCIPsetFeastol(set)) || (primsol > 1e14 * SCIPsetFeastol(set))); in nlpCalcFracVars()
|