namespace s4u {
class Activity;
+
class Actor;
-using ActorPtr = boost::intrusive_ptr<Actor>;
+/** Smart pointer to a simgrid::s4u::Actor */
+typedef boost::intrusive_ptr<Actor> ActorPtr;
XBT_PUBLIC void intrusive_ptr_release(Actor* actor);
XBT_PUBLIC void intrusive_ptr_add_ref(Actor* actor);
+
class Barrier;
+
class Comm;
-using CommPtr = boost::intrusive_ptr<Comm>;
+/** Smart pointer to a simgrid::s4u::Comm */
+typedef boost::intrusive_ptr<Comm> CommPtr;
XBT_PUBLIC void intrusive_ptr_release(Comm* c);
XBT_PUBLIC void intrusive_ptr_add_ref(Comm* c);
+
+class ConditionVariable;
+/** Smart pointer to a simgrid::s4u::ConditionVariable */
+typedef boost::intrusive_ptr<ConditionVariable> ConditionVariablePtr;
+XBT_PUBLIC void intrusive_ptr_release(ConditionVariable* c);
+XBT_PUBLIC void intrusive_ptr_add_ref(ConditionVariable* c);
+
class Engine;
+
class Exec;
-using ExecPtr = boost::intrusive_ptr<Exec>;
+/** Smart pointer to a simgrid::s4u::Exec */
+typedef boost::intrusive_ptr<Exec> ExecPtr;
XBT_PUBLIC void intrusive_ptr_release(Exec* e);
XBT_PUBLIC void intrusive_ptr_add_ref(Exec* e);
+
class Host;
+
+class Io;
+/** Smart pointer to a simgrid::s4u::Io */
+typedef boost::intrusive_ptr<Io> IoPtr;
+XBT_PUBLIC void intrusive_ptr_release(Io* i);
+XBT_PUBLIC void intrusive_ptr_add_ref(Io* i);
+
class Link;
+
class Mailbox;
-using MailboxPtr = boost::intrusive_ptr<Mailbox>;
+/** Smart pointer to a simgrid::s4u::Mailbox */
+typedef boost::intrusive_ptr<Mailbox> MailboxPtr;
XBT_PUBLIC void intrusive_ptr_release(Mailbox* m);
XBT_PUBLIC void intrusive_ptr_add_ref(Mailbox* m);
+
class Mutex;
XBT_PUBLIC void intrusive_ptr_release(Mutex* m);
XBT_PUBLIC void intrusive_ptr_add_ref(Mutex* m);
+/** Smart pointer to a simgrid::s4u::Mutex */
+typedef boost::intrusive_ptr<Mutex> MutexPtr;
+
class NetZone;
class VirtualMachine;
class File;
class EngineImpl;
namespace actor {
class ActorImpl;
-using ActorImplPtr = boost::intrusive_ptr<ActorImpl>;
+typedef boost::intrusive_ptr<ActorImpl> ActorImplPtr;
} // namespace actor
namespace activity {
class ActivityImpl;
- using ActivityImplPtr = boost::intrusive_ptr<ActivityImpl>;
+ typedef boost::intrusive_ptr<ActivityImpl> ActivityImplPtr;
XBT_PUBLIC void intrusive_ptr_add_ref(ActivityImpl* activity);
XBT_PUBLIC void intrusive_ptr_release(ActivityImpl* activity);
class ConditionVariableImpl;
class CommImpl;
- using CommImplPtr = boost::intrusive_ptr<CommImpl>;
+ typedef boost::intrusive_ptr<CommImpl> CommImplPtr;
class ExecImpl;
- using ExecImplPtr = boost::intrusive_ptr<ExecImpl>;
+ typedef boost::intrusive_ptr<ExecImpl> ExecImplPtr;
class IoImpl;
- using IoImplPtr = boost::intrusive_ptr<IoImpl>;
+ typedef boost::intrusive_ptr<IoImpl> IoImplPtr;
class MutexImpl;
- using MutexImplPtr = boost::intrusive_ptr<MutexImpl>;
+ typedef boost::intrusive_ptr<MutexImpl> MutexImplPtr;
class RawImpl;
- using RawImplPtr = boost::intrusive_ptr<RawImpl>;
+ typedef boost::intrusive_ptr<RawImpl> RawImplPtr;
class SleepImpl;
- using SleepImplPtr = boost::intrusive_ptr<SleepImpl>;
+ typedef boost::intrusive_ptr<SleepImpl> SleepImplPtr;
class MailboxImpl;
}
class StorageType;
class StorageModel;
}
+namespace mc {
+class CommunicationDeterminismChecker;
+}
namespace trace_mgr {
class trace;
class future_evt_set;