Lines Matching defs:indicateOptimisticFixpoint

709     ParentState.indicateOptimisticFixpoint();
810   /// See AbstractState::indicateOptimisticFixpoint().
811   ChangeStatus indicateOptimisticFixpoint() override {
812     BS.indicateOptimisticFixpoint();
2723         return indicateOptimisticFixpoint();
2822         indicateOptimisticFixpoint();
5519         indicateOptimisticFixpoint();
5525         indicateOptimisticFixpoint();
5553       return indicateOptimisticFixpoint();
5958           return indicateOptimisticFixpoint();
6467     indicateOptimisticFixpoint();
6503           indicateOptimisticFixpoint();
7672       indicateOptimisticFixpoint();
8768         return indicateOptimisticFixpoint();
9234       indicateOptimisticFixpoint();
9241       indicateOptimisticFixpoint();
9717       indicateOptimisticFixpoint();
9723       indicateOptimisticFixpoint();
10111       indicateOptimisticFixpoint();
10117       indicateOptimisticFixpoint();
10319       indicateOptimisticFixpoint();
10769       indicateOptimisticFixpoint();
10899     AAPotentialValues::indicateOptimisticFixpoint();
11488         indicateOptimisticFixpoint();
12181       indicateOptimisticFixpoint();