reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1052 virtual ChangeStatus indicateOptimisticFixpoint() = 0;
1349 this->getState().indicateOptimisticFixpoint();