reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
200 (Tag ? Tag : Location.getTag())); 213 return addTransition(State, (Tag ? Tag : Location.getTag())); 344 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); 344 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);