Lines Matching refs:AbstractState
754 class AAReturnedValuesImpl : public AAReturnedValues, public AbstractState {
817 AbstractState &getState() override { return *this; }
820 const AbstractState &getState() const override { return *this; }
847 /// See AbstractState::checkForAllReturnedValues(...).
855 /// See AbstractState::isAtFixpoint().
858 /// See AbstractState::isValidState().
861 /// See AbstractState::indicateOptimisticFixpoint(...).
3967 /// See AbstractState::getAsStr().
4414 /// See AbstractState::indicatePessimisticFixpoint(...).
5611 /// See AbstractState::getAsStr().