Lines Matching defs:indicateOptimisticFixpoint

709     ParentState.indicateOptimisticFixpoint();
810   /// See AbstractState::indicateOptimisticFixpoint().
811   ChangeStatus indicateOptimisticFixpoint() override {
812     BS.indicateOptimisticFixpoint();
2765         return indicateOptimisticFixpoint();
2864         indicateOptimisticFixpoint();
5561         indicateOptimisticFixpoint();
5567         indicateOptimisticFixpoint();
5595       return indicateOptimisticFixpoint();
6010           return indicateOptimisticFixpoint();
6519     indicateOptimisticFixpoint();
6555           indicateOptimisticFixpoint();
7724       indicateOptimisticFixpoint();
8820         return indicateOptimisticFixpoint();
9286       indicateOptimisticFixpoint();
9293       indicateOptimisticFixpoint();
9769       indicateOptimisticFixpoint();
9775       indicateOptimisticFixpoint();
10163       indicateOptimisticFixpoint();
10169       indicateOptimisticFixpoint();
10371       indicateOptimisticFixpoint();
10821       indicateOptimisticFixpoint();
10951     AAPotentialValues::indicateOptimisticFixpoint();
11540         indicateOptimisticFixpoint();
12000       indicateOptimisticFixpoint();
12234       indicateOptimisticFixpoint();
12588       indicateOptimisticFixpoint();