reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1986 void CountRegisters(const Formula &F, size_t LUIdx);
3328 CountRegisters(LU.Formulae.back(), LUIdx); 3379 CountRegisters(F, LUIdx); 3473 CountRegisters(LU.Formulae.back(), Uses.size() - 1);