Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: move some files related to ELF, DWARF or unwind reading into their own directory
[simgrid.git] / src / mc / Transition.hpp
1 /* Copyright (c) 2015-2019. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #ifndef SIMGRID_MC_TRANSITION_HPP
8 #define SIMGRID_MC_TRANSITION_HPP
9
10 namespace simgrid {
11 namespace mc {
12
13 /** An element in the recorded path
14  *
15  *  At each decision point, we need to record which process transition
16  *  is triggered and potentially which value is associated with this
17  *  transition. The value is used to find which communication is triggered
18  *  in things like waitany and for associating a given value of MC_random()
19  *  calls.
20  */
21 class Transition {
22 public:
23   int pid = 0;
24
25   /* Which transition was executed for this simcall
26    *
27    * Some simcalls can lead to different transitions:
28    *
29    * * waitany/testany can trigger on different messages;
30    *
31    * * random can produce different values.
32    */
33   int argument = 0;
34 };
35
36 }
37 }
38
39 #endif