reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
9588 const bool ProvingStrictComparison = (Pred != NonStrictPredicate); 9594 isKnownViaNonRecursiveReasoning(NonStrictPredicate, LHS, RHS); 9608 isImpliedViaGuard(Block, NonStrictPredicate, LHS, RHS); 9625 isImpliedCond(NonStrictPredicate, LHS, RHS, Condition, Inverse);