Searched refs:getGDM (Results 1 – 3 of 3) sorted by relevance
485 ProgramState::GenericDataMap M1 = St->getGDM(); in addGDM()497 ProgramState::GenericDataMap OldM = state->getGDM(); in removeGDM()
1231 if (CurrentState->getGDM().getRoot() == in VisitNodeImpl()1232 PrevState->getGDM().getRoot()) in VisitNodeImpl()
127 GenericDataMap getGDM() const { return GDM; } in getGDM() function