#ifndef SIMGRID_MC_TRANSITION_HPP
#define SIMGRID_MC_TRANSITION_HPP
+#include "simgrid/forward.h" // aid_t
#include <string>
namespace simgrid {
*/
class Transition {
public:
- long aid_ = 0;
+ aid_t aid_ = 0;
/* Which transition was executed for this simcall
*