Searched refs:GDMFactory (Results 1 – 2 of 2) sorted by relevance
77 : Eng(ExprEng), EnvMgr(alloc), GDMFactory(alloc), in ProgramStateManager()399 GDMFactory.getEmptyMap()); in getInitialState()523 ProgramState::GenericDataMap M2 = GDMFactory.add(M1, Key, Data); in addGDM()535 ProgramState::GenericDataMap NewM = GDMFactory.remove(OldM, Key); in removeGDM()
514 ProgramState::GenericDataMap::Factory GDMFactory; variable