Searched refs:nonFixedVars (Results 1 – 1 of 1) sorted by relevance
1443 int nonFixedVars = 0; in decrement_non_fixed_vars() local1446 nonFixedVars += static_cast<int>(al->size()); in decrement_non_fixed_vars()1449 nonFixedVars--; in decrement_non_fixed_vars()1453 nonFixedLiteralCount.insert(std::make_pair(c, nonFixedVars)); in decrement_non_fixed_vars()1454 return nonFixedVars; in decrement_non_fixed_vars()