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()
|