Searched refs:removeGDM (Results 1 – 2 of 2) sorted by relevance
524 ProgramStateRef removeGDM(ProgramStateRef state, void *Key);598 return removeGDM(st, ProgramStateTrait<T>::GDMIndex()); in remove()
497 ProgramStateRef ProgramStateManager::removeGDM(ProgramStateRef state, void *Key) { in removeGDM() function in ProgramStateManager