- Timestamp:
- Apr 18, 2015, 1:07:08 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
code/branches/core7/src/libraries/core/class/IdentifierManager.h
r10370 r10372 38 38 39 39 #include <map> 40 #include < set>40 #include <list> 41 41 #include <string> 42 42 … … 111 111 /// Used while creating the object hierarchy to keep track of the identifiers of a newly created object (and all other objects that get created as 112 112 /// a consequence of this, e.g. nested member objects). 113 std::map<Identifiable*, std:: set<const Identifier*> > identifierTraceOfNewObject_;113 std::map<Identifiable*, std::list<const Identifier*> > identifierTraceOfNewObject_; 114 114 Identifier* recordTraceForIdentifier_; //!< The identifier for which we want to record the trace of identifiers during object creation. If null, no trace is recorded. 115 115 };
Note: See TracChangeset
for help on using the changeset viewer.