Searched defs:isAtFixpoint (Results 1 – 2 of 2) sorted by relevance
739 bool isAtFixpoint() const override { return IsAtFixpoint; } in isAtFixpoint() function [all...]
807 /// See AbstractState::isAtFixpoint(). in isAtFixpoint() function [all...]