Searched refs:oldnvars (Results 1 – 6 of 6) sorted by relevance
/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | pricer.c | 392 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 D | cons_soc.c | 1571 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 D | solve.c | 1185 int oldnvars = 0; in initLP() local 1204 oldnvars = transprob->nvars; in initLP() 1241 if( root && !(*cutoff) && transprob->nvars > oldnvars ) in initLP()
|
H A D | cons_pseudoboolean.c | 4256 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 D | nlpi_filtersqp.c | 1088 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 D | lglib.c | 9190 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 …]
|