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();