Searched refs:targetdomreds (Results 1 – 1 of 1) sorted by relevance
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | branch_lookahead.c | 2225 assert(targetdomreds != NULL); in applySingleDeeperDomainReductions()
2237 if( targetdomreds->nviolatedvars >= maxstoredomreds ) in applySingleDeeperDomainReductions()
2248 if( targetdomreds->nviolatedvars >= maxstoredomreds ) in applySingleDeeperDomainReductions()
2280 assert(targetdomreds != NULL); in applyDeeperDomainReductions()
2293 targetdomreds->nchangedvars); in applyDeeperDomainReductions()
2307 if( targetdomreds->nviolatedvars >= maxstoredomreds ) in applyDeeperDomainReductions()
2315 addLowerBound(scip, vars[i], newlowerbound, baselpsol, FALSE, targetdomreds, in applyDeeperDomainReductions()
2318 addLowerBound(scip, vars[i], newlowerbound, baselpsol, FALSE, targetdomreds); in applyDeeperDomainReductions()
2321 if( targetdomreds->nviolatedvars >= maxstoredomreds ) in applyDeeperDomainReductions()
2329 addUpperBound(scip, vars[i], newupperbound, baselpsol, FALSE, targetdomreds, in applyDeeperDomainReductions()
[all …]
|