Searched refs:PredicateToUsers (Results 1 – 1 of 1) sorted by relevance
592 PredicateToUsers; member in __anonb3555ec80211::NewGVN2112 PredicateToUsers[PBranch->Condition].insert(User); in addAdditionalUsers()2114 PredicateToUsers[PAssume->Condition].insert(User); in addAdditionalUsers()2147 touchAndErase(PredicateToUsers, I); in markPredicateUsersTouched()3023 PredicateToUsers.clear(); in cleanupTables()