reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1536 if (!Formulae.empty() && RigidFormula) 3341 LU.RigidFormula = true; 5131 if (LU.RigidFormula)