/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | scip_var.h | 1987 SCIP_RETCODE SCIPinferVarLbCons(
|
H A D | cons_varbound.c | 1142 SCIP_CALL( SCIPinferVarLbCons(scip, var, newlb, cons, (int)PROPRULE_1, TRUE, in separateCons() 1499 …SCIP_CALL( SCIPinferVarLbCons(scip, consdata->var, newlb, cons, (int)PROPRULE_1, yub < ylb + 0.5, … in propagateCons() 1540 …SCIP_CALL( SCIPinferVarLbCons(scip, consdata->vbdvar, newlb, cons, (int)PROPRULE_2, FALSE, cutoff,… in propagateCons() 1717 …SCIP_CALL( SCIPinferVarLbCons(scip, consdata->vbdvar, newlb, cons, (int)PROPRULE_4, FALSE, cutoff,… in propagateCons()
|
H A D | cons_linking.c | 719 SCIP_CALL( SCIPinferVarLbCons(scip, linkvar, coef, cons, pos, TRUE, &infeasible, &tightened) ); in consFixLinkvar() 1110 SCIP_CALL( SCIPinferVarLbCons(scip, linkvar, vals[b], cons, -4, TRUE, &infeasible, &tightened) ); in tightenedLinkvar()
|
H A D | cons_xor.c | 3098 …SCIP_CALL( SCIPinferVarLbCons(scip, consdata->intvar, (SCIP_Real) fixval, cons, (int)PROPRULE_0, F… in propagateCons() 3178 …SCIP_CALL( SCIPinferVarLbCons(scip, consdata->intvar, (SCIP_Real) fixval, cons, (int)PROPRULE_1, T… in propagateCons() 3253 …SCIP_CALL( SCIPinferVarLbCons(scip, consdata->intvar, newlb, cons, (int)PROPRULE_INTUB, TRUE, &inf… in propagateCons()
|
H A D | cons_symresack.c | 903 …SCIP_CALL( SCIPinferVarLbCons(scip, var, 1.0, cons, i + nvars, FALSE, infeasible, &tightened) ); /… in propVariables()
|
H A D | cons_sos2.c | 221 SCIP_CALL( SCIPinferVarLbCons(scip, var, 0.0, cons, inferinfo, FALSE, infeasible, &tighten) ); in inferVariableZero()
|
H A D | cons_abspower.c | 2690 …SCIP_CALL( SCIPinferVarLbCons(scip, consdata->x, newlb, cons, (int)PROPRULE_1, FALSE, cutoff, &tig… in propagateCons() 2775 …SCIP_CALL( SCIPinferVarLbCons(scip, consdata->z, newlb, cons, (int)PROPRULE_2, FALSE, cutoff, &tig… in propagateCons() 3051 …SCIP_CALL( SCIPinferVarLbCons(scip, consdata->z, newlb, cons, (int)PROPRULE_4, FALSE, cutoff, &tig… in propagateCons()
|
H A D | cons_linear.c | 5438 …SCIP_CALL( SCIPinferVarLbCons(scip, var, newlb, cons, getInferInt(proprule, pos), force, &infeasib… in tightenVarLb() 6440 SCIP_CALL( SCIPinferVarLbCons(scip, infcheckvars[0], newlb, cons, in rangedRowPropagation() 6533 SCIP_CALL( SCIPinferVarLbCons(scip, consdata->vars[v], newlb, cons, in rangedRowPropagation() 6602 SCIP_CALL( SCIPinferVarLbCons(scip, consdata->vars[v], newlb, cons, in rangedRowPropagation() 6927 … SCIP_CALL( SCIPinferVarLbCons(scip, var, newlb, cons, getInferInt(PROPRULE_1_LHS, pos), force, in tightenVarBounds() 6980 … SCIP_CALL( SCIPinferVarLbCons(scip, var, newlb, cons, getInferInt(PROPRULE_1_RHS, pos), force, in tightenVarBounds()
|
H A D | cons_bounddisjunction.c | 1498 …SCIP_CALL( SCIPinferVarLbCons(scip, vars[watchedvar1], bounds[watchedvar1], cons, watchedvar1, TRU… in processWatchedVars()
|
H A D | cons_cumulative.c | 4121 …SCIP_CALL( SCIPinferVarLbCons(scip, var, (SCIP_Real)newlb, cons, inferInfoToInt(inferinfo), TRUE, … in coretimesUpdateLb() 5457 SCIP_CALL( SCIPinferVarLbCons(scip, vars[v], (SCIP_Real)newlbs[v], cons, lbinferinfos[v], in propagateTTEF() 6712 SCIP_CALL( SCIPinferVarLbCons(scip, leafdata->var, (SCIP_Real)(newest + shift), in inferboundsEdgeFinding()
|
H A D | scip_var.c | 5443 …SCIP_CALL( SCIPinferVarLbCons(scip, var, fixedval, infercons, inferinfo, force, infeasible, &lbtig… in SCIPinferVarFixCons() 5475 SCIP_RETCODE SCIPinferVarLbCons( in SCIPinferVarLbCons() function
|
H A D | cons_sos1.c | 724 SCIP_CALL( SCIPinferVarLbCons(scip, var, 0.0, cons, inferinfo, FALSE, infeasible, &tighten) ); in inferVariableZero() 3730 …SCIP_CALL( SCIPinferVarLbCons(scip, var, succdata->lbimpl, cons, inferinfo, FALSE, &infeasible, &t… in propVariableNonzero()
|
H A D | cons_indicator.c | 3897 … SCIP_CALL( SCIPinferVarLbCons(scip, binvar, 1.0, cons, 2, FALSE, &infeasible, &tightened) ); in propIndicator()
|
/dports/math/SCIP/scip-7.0.3/ |
H A D | CHANGELOG | 5027 …- following methods SCIPinferVarUbProp(), SCIPinferVarLbProp(), SCIPinferVarLbCons(), SCIPinferVar… 7630 - removed bugs with calling SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPinferVarLbCons(), SCIPinfer…
|