reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
265 TailSubs.push_back(Sub); 277 return new CHRScope(TailRegInfos, TailSubs);