reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1197 bool HasFormulaWithSameRegs(const Formula &F) const;
2626 LU.HasFormulaWithSameRegs(OrigF)) { 4454 if (LU.HasFormulaWithSameRegs(NewF)) { 4470 if (LU.HasFormulaWithSameRegs(NewF)) {