Searched refs:oldnlinvars (Results 1 – 1 of 1) sorted by relevance
5776 int oldnlinvars; in tryUpgradingXor() local5883 oldnlinvars = nlinvars; in tryUpgradingXor()5952 if( nlinvars > oldnlinvars ) in tryUpgradingXor()