Home
last modified time | relevance | path

Searched refs:SCIPinferVarLbCons (Results 1 – 14 of 14) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dscip_var.h1987 SCIP_RETCODE SCIPinferVarLbCons(
H A Dcons_varbound.c1142 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 Dcons_linking.c719 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 Dcons_xor.c3098 …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 Dcons_symresack.c903 …SCIP_CALL( SCIPinferVarLbCons(scip, var, 1.0, cons, i + nvars, FALSE, infeasible, &tightened) ); /… in propVariables()
H A Dcons_sos2.c221 SCIP_CALL( SCIPinferVarLbCons(scip, var, 0.0, cons, inferinfo, FALSE, infeasible, &tighten) ); in inferVariableZero()
H A Dcons_abspower.c2690 …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 Dcons_linear.c5438 …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 Dcons_bounddisjunction.c1498 …SCIP_CALL( SCIPinferVarLbCons(scip, vars[watchedvar1], bounds[watchedvar1], cons, watchedvar1, TRU… in processWatchedVars()
H A Dcons_cumulative.c4121 …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 Dscip_var.c5443 …SCIP_CALL( SCIPinferVarLbCons(scip, var, fixedval, infercons, inferinfo, force, infeasible, &lbtig… in SCIPinferVarFixCons()
5475 SCIP_RETCODE SCIPinferVarLbCons( in SCIPinferVarLbCons() function
H A Dcons_sos1.c724 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 Dcons_indicator.c3897 … SCIP_CALL( SCIPinferVarLbCons(scip, binvar, 1.0, cons, 2, FALSE, &infeasible, &tightened) ); in propIndicator()
/dports/math/SCIP/scip-7.0.3/
H A DCHANGELOG5027 …- following methods SCIPinferVarUbProp(), SCIPinferVarLbProp(), SCIPinferVarLbCons(), SCIPinferVar…
7630 - removed bugs with calling SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPinferVarLbCons(), SCIPinfer…