reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4562 if (!State.isAtFixpoint()) 4563 State.indicateOptimisticFixpoint(); 4566 if (!State.isValidState())