Searched refs:WantsRegionChangeUpdateFunc (Results 1 – 3 of 3) sorted by relevance
447 typedef CheckerFn<bool (ProgramStateRef)> WantsRegionChangeUpdateFunc; typedef496 WantsRegionChangeUpdateFunc wantUpdateFn);606 WantsRegionChangeUpdateFunc WantUpdateFn;
326 CheckerManager::WantsRegionChangeUpdateFunc(checker, in _register()
692 WantsRegionChangeUpdateFunc wantUpdateFn) { in _registerForRegionChanges()