reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1040 virtual bool isValidState() const = 0; 1085 bool isValidState() const override { return Assumed != getWorstState(); } 1775 bool isValidState() const override { return DerefBytesState.isValidState(); }