3 Commits

Author	SHA1	Message	Date
elsid	9012207e32	Make WorldModel a front-end for PtrRegistry	2023-05-31 21:44:27 +02:00
elsid	86db640c8b	Increment revision on clearing PtrRegistry ... Setting it to 0 may not lead to the change detected by clients. Potentially mRevision may already have value 0. For example on overflow.	2023-05-28 13:04:20 +02:00
elsid	ce91784085	Move Ptr registry into a separate type ... There is no dependency on the rest of the WorldModel state.	2023-05-28 13:04:17 +02:00