Searched refs:activelinvars (Results 1 – 2 of 2) sorted by relevance
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | reader_opb.c | 3123 SCIP_VAR** activelinvars; in printPseudobooleanCons() local
3148 SCIP_CALL( SCIPduplicateBufferArray(scip, &activelinvars, linvars, nactivelinvars ) ); in printPseudobooleanCons()
3152 …SCIP_CALL( getActiveVariables(scip, activelinvars, activelinvals, &nactivelinvars, &activelinconst… in printPseudobooleanCons()
3156 activelinvars = NULL; in printPseudobooleanCons()
3204 …retcode = printPBRow(scip, file, "=", activelinvars, activelinvals, nactivelinvars, activetermvars, in printPseudobooleanCons()
3212 …retcode = printPBRow(scip, file, ">=", activelinvars, activelinvals, nactivelinvars, activetermvar… in printPseudobooleanCons()
3222 …retcode = printPBRow(scip, file, ">=", activelinvars, activelinvals, nactivelinvars, activetermvar… in printPseudobooleanCons()
3247 SCIPfreeBufferArray(scip, &activelinvars); in printPseudobooleanCons()
|
| H A D | cons_pseudoboolean.c | 5768 SCIP_VAR** activelinvars; in tryUpgradingXor() local
5845 SCIP_CALL( SCIPduplicateBufferArray(scip, &activelinvars, linvars, nlinvars) ); in tryUpgradingXor()
5978 …SCIP_CALL( checkSolution(scip, linvars, nlinvars, values, activelinvars, lincoefs, firstnlinvars, … in tryUpgradingXor()
6017 SCIPfreeBufferArray(scip, &activelinvars); in tryUpgradingXor()
|