Searched refs:WantsRegionChangeUpdateFunc (Results 1 – 3 of 3) sorted by relevance
455 typedef CheckerFn<bool (ProgramStateRef)> WantsRegionChangeUpdateFunc; typedef505 WantsRegionChangeUpdateFunc wantUpdateFn);616 WantsRegionChangeUpdateFunc WantUpdateFn;
340 CheckerManager::WantsRegionChangeUpdateFunc(checker, in _register()
730 WantsRegionChangeUpdateFunc wantUpdateFn) { in _registerForRegionChanges()