Home
last modified time | relevance | path

Searched refs:oldnvars (Results 1 – 6 of 6) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dpricer.c392 int oldnvars; in SCIPpricerRedcost() local
404 oldnvars = prob->nvars; in SCIPpricerRedcost()
417 pricer->nvarsfound += prob->nvars - oldnvars; in SCIPpricerRedcost()
430 int oldnvars; in SCIPpricerFarkas() local
443 oldnvars = prob->nvars; in SCIPpricerFarkas()
456 pricer->nvarsfound += prob->nvars - oldnvars; in SCIPpricerFarkas()
H A Dcons_soc.c1571 int oldnvars; in presolveRemoveFixedVariables() local
1576 oldnvars = consdata->nvars; in presolveRemoveFixedVariables()
1602 assert(consdata->nvars < oldnvars); in presolveRemoveFixedVariables()
1605 SCIP_CALL( SCIPreallocBlockMemoryArray(scip, &consdata->vars, oldnvars, consdata->nvars) ); in presolveRemoveFixedVariables()
1606 SCIP_CALL( SCIPreallocBlockMemoryArray(scip, &consdata->offsets, oldnvars, consdata->nvars) ); in presolveRemoveFixedVariables()
1607 SCIP_CALL( SCIPreallocBlockMemoryArray(scip, &consdata->coefs, oldnvars, consdata->nvars) ); in presolveRemoveFixedVariables()
H A Dsolve.c1185 int oldnvars = 0; in initLP() local
1204 oldnvars = transprob->nvars; in initLP()
1241 if( root && !(*cutoff) && transprob->nvars > oldnvars ) in initLP()
H A Dcons_pseudoboolean.c4256 int oldnvars; in correctLocksAndCaptures() local
4553 oldnvars = consdata->nlinvars; in correctLocksAndCaptures()
4558 if( oldnvars != consdata->nlinvars ) in correctLocksAndCaptures()
/dports/math/SCIP/scip-7.0.3/src/nlpi/
H A Dnlpi_filtersqp.c1088 int oldnvars; in SCIP_DECL_NLPIADDVARS() local
1097 oldnvars = SCIPnlpiOracleGetNVars(problem->oracle); in SCIP_DECL_NLPIADDVARS()
1163 problem->bl[oldnvars+nvars+i] = problem->bl[oldnvars+i]; in SCIP_DECL_NLPIADDVARS()
1164 problem->bu[oldnvars+nvars+i] = problem->bu[oldnvars+i]; in SCIP_DECL_NLPIADDVARS()
1170 problem->bl[oldnvars+i] = lbs[i]; in SCIP_DECL_NLPIADDVARS()
1171 problem->bu[oldnvars+i] = ubs[i]; in SCIP_DECL_NLPIADDVARS()
/dports/math/vampire/vampire-4.5.1/SAT/
H A Dlglib.c9190 for (i = 2; i < oldnvars; i++) in lglmapvars()
9197 for (i = 2; i < oldnvars; i++) in lglmapvars()
9204 for (i = 2; i < oldnvars; i++) in lglmapvars()
9211 for (i = 2; i < oldnvars; i++) in lglmapvars()
9218 for (i = 2; i < oldnvars; i++) in lglmapvars()
9231 for (i = 2; i < oldnvars; i++) in lglmapvars()
9424 oldlkhdscore -= oldnvars; in lglmaplkhdscore()
9425 DEL (oldlkhdscore, 2*oldnvars); in lglmaplkhdscore()
9565 oldnvars = lgl->nvars; in lglmap()
9566 mapsize = lglmax (oldnvars, 2); in lglmap()
[all …]