Searched defs:gdm (Results 1 – 2 of 2) sorted by relevance
168 void setGDM(GenericDataMap gdm) { GDM = gdm; } in setGDM()
48 StoreRef st, GenericDataMap gdm) in ProgramState()