Lines Matching defs:isAtFixpoint

606         if (S.isAtFixpoint())
660   if (S.isAtFixpoint())
807   /// See AbstractState::isAtFixpoint().
808   bool isAtFixpoint() const override { return BS.isAtFixpoint(); }
6123     return isValidState() ? (isAtFixpoint() ? "simplified" : "maybe-simple")
8087         return !isAtFixpoint();
8096     return !isAtFixpoint();
8168     return !isAtFixpoint();
9227     if (isAtFixpoint())
9710     if (isAtFixpoint())
10104     if (isAtFixpoint())
10227     if (!getState().isAtFixpoint() && getAnchorScope() &&
12198       UsedAssumedInformation = !GIAA->isAtFixpoint();