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()
1182 if (CurrentState->getGDM().getRoot() == in VisitNodeImpl()1183 PrevState->getGDM().getRoot()) in VisitNodeImpl()
125 GenericDataMap getGDM() const { return GDM; } in getGDM() function