Searched refs:nneweqvars (Results 1 – 1 of 1) sorted by relevance
6228 int nneweqvars; in tryUpgradingLogicor() local6262 nneweqvars = 0; in tryUpgradingLogicor()6281 assert(nneweqvars <= v); in tryUpgradingLogicor()6283 if( nneweqvars < v ) in tryUpgradingLogicor()6285 ++nneweqvars; in tryUpgradingLogicor()6290 neqvars = nneweqvars; in tryUpgradingLogicor()6673 int nneweqvars; in tryUpgradingSetppc() local6707 nneweqvars = 0; in tryUpgradingSetppc()6728 if( nneweqvars < v ) in tryUpgradingSetppc()6730 ++nneweqvars; in tryUpgradingSetppc()[all …]