+class SimixProcessInformation {
+public:
+ /** MCed address of the process */
+ void* address = nullptr;
+ union {
+ /** (Flat) Copy of the process data structure */
+ struct s_smx_process copy;
+ };
+ /** Hostname (owned by `mc_modelchecker->hostnames`) */
+ const char* hostname = nullptr;
+ std::string name;
+
+ void clear()
+ {
+ name.clear();
+ address = nullptr;
+ hostname = nullptr;
+ }
+};
+