1 /* Copyright (c) 2015-2021. The SimGrid Team.
2 * All rights reserved. */
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. */
7 #ifndef SIMGRID_MC_TRANSITION_HPP
8 #define SIMGRID_MC_TRANSITION_HPP
10 #include "simgrid/forward.h" // aid_t
16 /** An element in the recorded path
18 * At each decision point, we need to record which process transition
19 * is triggered and potentially which value is associated with this
20 * transition. The value is used to find which communication is triggered
21 * in things like waitany and for associating a given value of MC_random()
28 /* Which transition was executed for this simcall
30 * Some simcalls can lead to different transitions:
32 * * waitany/testany can trigger on different messages;
34 * * random can produce different values.
36 int times_considered_ = 0;
38 /* Textual representation of the transition, to display backtraces */
43 } // namespace simgrid