public:
/* Ordering is important here. depends() implementations only consider subsequent types in this ordering */
XBT_DECLARE_ENUM_CLASS(Type, RANDOM, ACTOR_JOIN, /* First because indep with anybody including themselves */
public:
/* Ordering is important here. depends() implementations only consider subsequent types in this ordering */
XBT_DECLARE_ENUM_CLASS(Type, RANDOM, ACTOR_JOIN, /* First because indep with anybody including themselves */