| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | presol_implics.c | 111 SCIP_Real* implbounds[2]; in SCIP_DECL_PRESOLEXEC() local
126 implbounds[varfixing] = SCIPvarGetImplBounds(vars[v], (SCIP_Bool)varfixing); in SCIP_DECL_PRESOLEXEC()
181 bdchgvals[nbdchgs] = MIN(implbounds[0][i0], implbounds[1][i1]); in SCIP_DECL_PRESOLEXEC()
183 bdchgvals[nbdchgs] = MAX(implbounds[0][i0], implbounds[1][i1]); in SCIP_DECL_PRESOLEXEC()
187 impltypes[0][i0] == SCIP_BOUNDTYPE_LOWER ? ">=" : "<=", implbounds[0][i0], in SCIP_DECL_PRESOLEXEC()
189 impltypes[1][i1] == SCIP_BOUNDTYPE_LOWER ? ">=" : "<=", implbounds[1][i1], in SCIP_DECL_PRESOLEXEC()
204 && SCIPisEQ(scip, implbounds[0][i0], implvarlb) in SCIP_DECL_PRESOLEXEC()
205 && SCIPisEQ(scip, implbounds[1][i1], implvarub) ) in SCIP_DECL_PRESOLEXEC()
218 SCIPvarGetName(vars[v]), SCIPvarGetName(implvars[0][i0]), implbounds[0][i0], in SCIP_DECL_PRESOLEXEC()
226 && SCIPisEQ(scip, implbounds[0][i0], implvarub) in SCIP_DECL_PRESOLEXEC()
[all …]
|
| H A D | sepa_impliedbounds.c | 163 SCIP_Real* implbounds; in separateCuts() local
179 implbounds = SCIPvarGetImplBounds(fracvars[i], TRUE); in separateCuts()
194 assert(implbounds != NULL); in separateCuts()
209 …if( SCIPisLE(scip, implbounds[j], ub) && (ub - implbounds[j]) * SCIPfeastol(scip) <= RELCUTCOEFMAX… in separateCuts()
212 …SCIP_CALL( addCut(scip, sepa, 1.0, implvars[j], solval, (ub - implbounds[j]), fracvars[i], fracval… in separateCuts()
227 …if( SCIPisGE(scip, implbounds[j], lb) && (implbounds[j] - lb) * SCIPfeastol(scip) <= RELCUTCOEFMAX… in separateCuts()
242 implbounds = SCIPvarGetImplBounds(fracvars[i], FALSE); in separateCuts()
268 …if( SCIPisLE(scip, implbounds[j], ub) && (ub - implbounds[j]) * SCIPfeastol(scip) < RELCUTCOEFMAXR… in separateCuts()
272 implbounds[j], cutoff, ncuts) ); in separateCuts()
286 …if( SCIPisGE(scip, implbounds[j], lb) && (implbounds[j] - lb) * SCIPfeastol(scip) < RELCUTCOEFMAXR… in separateCuts()
[all …]
|
| H A D | presolve.c | 651 SCIP_Real* implbounds; in collectNonBinaryImplicationData() local
659 implbounds = SCIPvarGetImplBounds(var, value); in collectNonBinaryImplicationData()
691 "<=", implbounds[w], bounds[issetvar[idx] - 1]); in collectNonBinaryImplicationData()
713 assert(SCIPisFeasLE(scip, implbounds[w], 0.0)); in collectNonBinaryImplicationData()
732 newbounds[idx] = implbounds[w]; in collectNonBinaryImplicationData()
735 else if( newbounds[idx] < implbounds[w] ) in collectNonBinaryImplicationData()
738 newbounds[idx] = implbounds[w]; in collectNonBinaryImplicationData()
783 assert(SCIPisFeasGE(scip, implbounds[w], 1.0)); in collectNonBinaryImplicationData()
802 newbounds[idx] = implbounds[w]; in collectNonBinaryImplicationData()
805 else if( newbounds[idx] > implbounds[w] ) in collectNonBinaryImplicationData()
[all …]
|
| H A D | prop_vbounds.c | 665 SCIP_Real* implbounds = SCIPvarGetImplBounds(currvar, currlower); in extractCycle() local
677 newcoef = implbounds[k] - SCIPvarGetLbLocal(nextvar); in extractCycle()
685 newconstant = implbounds[k]; in extractCycle()
693 newcoef = SCIPvarGetUbLocal(nextvar) - implbounds[k]; in extractCycle()
702 newconstant = implbounds[k]; in extractCycle()
1941 SCIP_Real* implbounds; in propagateVbounds() local
1946 implbounds = SCIPvarGetImplBounds(startvar, lower); in propagateVbounds()
1965 … SCIP_CALL( tightenVarLb(scip, prop, propdata, implvars[n], implbounds[n], global, startvar, in propagateVbounds()
1970 … SCIP_CALL( tightenVarUb(scip, prop, propdata, implvars[n], implbounds[n], global, startvar, in propagateVbounds()
|
| H A D | scip_copy.c | 2438 SCIP_Real* implbounds; in SCIPcopyImplicationsCliques() local
2448 implbounds = SCIPvarGetImplBounds(sourcevar, d); in SCIPcopyImplicationsCliques()
2463 …SCIPaddVarImplication(targetscip, targetvar, d, implvar, impltypes[l], implbounds[l], infeasible, … in SCIPcopyImplicationsCliques()
|
| H A D | tree.c | 2519 SCIP_Real* implbounds; in SCIPnodePropagateImplics() local
2528 implbounds = SCIPvarGetImplBounds(var, varfixing); in SCIPnodePropagateImplics()
2548 if( SCIPsetIsFeasGT(set, implbounds[j], ub) ) in SCIPnodePropagateImplics()
2553 if( SCIPsetIsFeasLE(set, implbounds[j], lb) ) in SCIPnodePropagateImplics()
2558 if( SCIPsetIsFeasLT(set, implbounds[j], lb) ) in SCIPnodePropagateImplics()
2563 if( SCIPsetIsFeasGE(set, implbounds[j], ub) ) in SCIPnodePropagateImplics()
2577 … eventqueue, cliquetable, implvars[j], implbounds[j], impltypes[j], NULL, NULL, 0, FALSE) ); in SCIPnodePropagateImplics()
|
| H A D | var.c | 4831 SCIP_Real* implbounds; in SCIPvarAggregate() local
4837 implbounds = SCIPimplicsGetBounds(var->implics, (SCIP_Bool)i); in SCIPvarAggregate()
4845 … branchcand, eventqueue, (SCIP_Bool)i, implvars[j], impltypes[j], implbounds[j], FALSE, infeasible, in SCIPvarAggregate()
9550 SCIP_Real* implbounds; in varAddTransitiveBinaryClosureImplic() local
9560 implbounds = SCIPimplicsGetBounds(implvar->implics, implvarfixing); in varAddTransitiveBinaryClosureImplic()
9583 …eventqueue, varfixing, implvars[i], impltypes[i], implbounds[i], TRUE, infeasible, nbdchgs, &added… in varAddTransitiveBinaryClosureImplic()
|
| H A D | cons_quadratic.c | 3683 SCIP_Real* implbounds; in getImpliedBounds() local
3722 implbounds = SCIPvarGetImplBounds(x, xval); in getImpliedBounds()
3726 assert(implbounds != NULL); in getImpliedBounds()
3742 resultant->inf = MAX(resultant->inf, MIN(resultant->sup, implbounds[pos])); in getImpliedBounds()
3744 resultant->sup = MIN(resultant->sup, MAX(resultant->inf, implbounds[pos])); in getImpliedBounds()
|
| H A D | cons_knapsack.c | 12741 SCIP_Real* implbounds; in SCIP_DECL_CONSPRESOL() local
12761 implbounds = SCIPvarGetImplBounds(var, FALSE); in SCIP_DECL_CONSPRESOL()
12771 if ( ! SCIPisZero(scip, implbounds[j]) ) in SCIP_DECL_CONSPRESOL()
|