Searched refs:firstnlinvars (Results 1 – 1 of 1) sorted by relevance
5775 int firstnlinvars; in tryUpgradingXor() local5850 firstnlinvars = nlinvars; in tryUpgradingXor()5978 …L( checkSolution(scip, linvars, nlinvars, values, activelinvars, lincoefs, firstnlinvars, constant, in tryUpgradingXor()