-/* Copyright (c) 2015-2018. The SimGrid Team.
+/* Copyright (c) 2015-2020. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
*/
class Transition {
public:
- int pid = 0;
+ int pid_ = 0;
/* Which transition was executed for this simcall
*
*
* * random can produce different values.
*/
- int argument = 0;
+ int argument_ = 0;
};
-}
-}
+} // namespace mc
+} // namespace simgrid
#endif