reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
547 if (Ctx.contains(D)) { 549 Context NewCtx = ContextFactory.remove(Ctx, D); 551 VarDefinitions.push_back(VarDefinition(D, Exp, Ctx)); 554 return Ctx;