Searched refs:WantsRegionChangeUpdateFunc (Results 1 – 3 of 3) sorted by relevance
440 typedef CheckerFn<bool (ProgramStateRef)> WantsRegionChangeUpdateFunc; typedef486 WantsRegionChangeUpdateFunc wantUpdateFn);611 WantsRegionChangeUpdateFunc WantUpdateFn;
315 CheckerManager::WantsRegionChangeUpdateFunc(checker, in _register()
660 WantsRegionChangeUpdateFunc wantUpdateFn) { in _registerForRegionChanges()